On 8/2/2016 9:55 AM, Bruno Marchal wrote:
(2) The Church-Turing thesis; and
(3) Arithmetical realism;
(3) is redundant. There is no (2) without (3).
?? Why not? 2+2=4 only expresses a true relation of concepts. It no
more entails the reality of 2 and 4 than "Watson was Sherlock Holmes
friend." entails the existent of Sherlock Holmes.
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.
