[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  
>verifier.
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