[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [ProgSoc] CSS and Divs



Hi John,

To be brief, what the Church-Turing thesis is all about is that Church's
calculus and Turing's machine are essentially two equivalent views of
computation. It is arbitrary for you to choose Turing as the fundamental
one.

Your view can be flipped to say that everything is grounded in the
Lambda calculus, and then question all imperative languages as to
whether they are really imperative since they can be used to implement
the Lambda calculus.

The mistake is in viewing the Lambda calculus to be stronger or weaker
than a Turing machine, when they are in fact equivalent.

-- 
Ryan Heise
http://www.ryanheise.com/

-
You are subscribed to the progsoc mailing list. To unsubscribe, send a
message containing "unsubscribe" to progsoc-request@xxxxxxxxxxxxxxxxxxx
If you are having trouble, ask owner-progsoc@xxxxxxxxxxxxxxxxxx for help.