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

[hendrik@topoi.pooq.com]

On Sat, Oct 07, 2006 at 04:12:27PM -0700, John McCarthy wrote:
> "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.

Maybe not a split on Pytharoras's theorem, but a split between the 
measurability of real functions vs the axiom of choice is certainly 
conceivable.

-- hendrik