On 10/15/2015 12:11 AM, Bruno Marchal wrote:
If arithmetic is false, Church-Turing thesis makes no more sense.
?? It will make sense as an axiom in a certain branch of mathematics.
Then it is no more the classical Church's thesis. It will be something
like intuitionist Church's thesis. That would again be just a change
of subject. It is like saying that 1 cloud + 1 cloud = 1 cloud can
refute 1+1=2. That is not good logic.
But it's a good example of the limitations of axiomatic inferences.
BRent
--
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
