On 10/18/2015 1:53 AM, Bruno Marchal wrote:
On 15 Oct 2015, at 19:57, Brent Meeker wrote:
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.
Why?
Cloud are not the intended notion when we talk about natural numbers.
Exactly. Axiomatic inference only works to the degree you can be sure
the axioms apply.
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 [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
