On 4/23/2017 5:18 AM, Bruno Marchal wrote:
Telmo was a bit short. The full proof relies on the fact that the computations are realized in arithmetic,
That's not a fact. It's Platonist metaphysics.
and that a universal machine cannot use primary matter in a magical (non Turing emulable, and non FPI-recoverable) to select computations.
The universal machine is an abstract hypothetical. It is rather hypocritical to say primary matter is invoking magic while you are hypothesizing infinite machines. What does it mean "to select computations".
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.
