John,
On 12 Sep 2009, at 17:01, John Mikes wrote:
> Bruno,
> the more I read here on the "Church thesis" the less I know about it.
> Is there a short description in 'non-technical' words about the
> 'essence' you hold instrumental in the applications you apply?
I will explain in detail Church thesis after the explanation of Cantor
and Kleene's results. If there are still problems, please ask at that
moment. Just now would be slightly premature and confusing I think.
In a nutshell, Church thesis is the statement that "lambda calculus",
or any of the many provably equivalent formal systems, provides a
correct and complete description of the notion of computability.
A provably weaker statement of Church thesis is the affirmation of the
(mathematical) existence of universal machine. The mathematical
existence of the UD is a direct consequence of CT.
Best,
Bruno
http://iridia.ulb.ac.be/~marchal/
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups "Everything List" group.
To post to this group, send email to everything-list.domain.name.hidden
To unsubscribe from this group, send email to everything-list+unsubscribe.domain.name.hidden
For more options, visit this group at
http://groups.google.com/group/everything-list?hl=en
-~----------~----~----~----~------~----~------~--~---
Received on Sun Sep 13 2009 - 10:10:16 PDT