On 17 Feb 2016, at 21:50, Brent Meeker wrote:
On 2/17/2016 12:37 AM, Bruno Marchal wrote:
What would be the property of the generic that is not Turing
emulable. Existence? That would beg the question
How would that be begging the question and more than asserting that
RA exists?
RA's existence is a theorem of elementary arithmetic, which you need
to define what is a computation.
But to use some primary matter to avoid logical consequence of a
theory is like to invent ether to refute special relativity.
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.
