[FOM] inconsistency of P

Edward Nelson nelson at math.Princeton.EDU
Sun Oct 2 20:34:51 EDT 2011

Harvey, The proof checker has been used only in the portion of the work in progress that
has been completed.
>Ed - you indicated earlier that the "proof" was checked in a proof  
The outline was only a plan for future work, and Tao and Tausk pointed out an
error in that plan. Cheers, Ed

More information about the FOM mailing list