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