On 02 Nov 2015, at 02:12, John Clark wrote:
On Sun, Nov 1, 2015 at 12:36 PM, Bruno Marchal <[email protected]>
wrote:
> The computations are emulated in virtue of the truth of
number relationship,
2+2=5 is a numerical relationship as is 2+2=4, the only way to
segregate the numerical relationships that express a truth from
the many that don't is to make a calculation, and the only way
anybody has ever made a calculation in the entire history of
the world is by using matter that obeys the laws of physics.
Then you reject the excluded middle principle. With A representing an
arbitrary arithmetical sentence, you stop believing that (A or ~A) is
true independently of our means to prove A or to prove ~A. You abandon
arithmetical realism (and thus Church thesis, and computationalisme)
which gives the reductio ad absurdum conclusion.
Bruno
John K Clark
--
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.
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 http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
