[FOM] The Lucas-Penrose Thesis vs The Turing Thesis

John McCarthy jmc at steam.Stanford.EDU
Sat Oct 7 19:12:27 EDT 2006

"A.P. Hazen" <a.hazen at philosophy.unimelb.edu.au> includes

       Might not human mathematicians come to accept different
     sets of set-theoretic sentences in the histories arising out
     of the two sides of a split?

Many worlds is not so exotic that a split might include
Pythagoras's theorem one way and its negation the other.

More information about the FOM mailing list