On 2/18/2016 1:36 AM, Bruno Marchal wrote:
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 definitions and existence follow from many axioms. We don't suppose
dragons exist just because we can define them.
But to use some primary matter to avoid logical consequence of a
theory is like to invent ether to refute special relativity.
To say that matter exists (whether primary or not) is simple
empiricism. It doesn't beg any question.
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.
