[FOM] Unsoundness?/Random Sentences

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


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

Is this manuscript publicly available?

Tim


More information about the FOM mailing list