[FOM] Unsoundness?/Random Sentences

Timothy Y. Chow tchow at alum.mit.edu
Wed May 27 18:51:08 EDT 2009

Previous message: [FOM] Infinitesimal Calculus
Next message: [FOM] The Reasoner 3(6) now available
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Harvey Friedman wrote:
>There is now a manuscript of Angus MacIntyre sketching a  
>proof of FLT in PA.

Is this manuscript publicly available?

Tim

Previous message: [FOM] Infinitesimal Calculus
Next message: [FOM] The Reasoner 3(6) now available
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the FOM mailing list