On 02 Aug 2016, at 22:39, Brent Meeker wrote:
On 8/2/2016 11:05 AM, Bruno Marchal wrote:
Not at all. The existence of the computations is an elementary
metatheorem about Robinson Arithmetic, and already a theorem of
Peano Arithmetic (still less that what is needed to enunciate
Church Thesis).
I don't think you can get existence from axioms. Otherwise I could
take "unicorns exist" as an axiom and they would.
You can, and if you derive the physical laws from the existence of
unicorn, then it might be an interesting theory. But more people
believe that 2+2 = 4, than in the existence of unicorn, and no
interesting results have ever been obtained from the existence of
unicorn.
Bruno
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 https://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
http://iridia.ulb.ac.be/~marchal/
--
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 https://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
