Hi Bruno,

Could you eleborate a bit about how "Computability is the only notion immune to Cantor's diagonalization"?



On 12/1/2011 4:21 AM, Bruno Marchal wrote:
I have an original thesis on that. Not only Babbage discovered the universal machine, but he discovered the equivalent of Church thesis, which is the key notion to understand that the universal machine is truly universal. Universality = universality with respect to computing, or any digital processes. Computing does not need to be restricted on numbers, but it happens that the natural numbers together with addition and multiplication is Turing universal, so that the numbers' restriction is an apparent restriction. Computability is the only notion immune to Cantor's diagonalization, and that gives a conceptual very deep argument for Church thesis.

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@googlegroups.com.
To unsubscribe from this group, send email to 
For more options, visit this group at 

Reply via email to