[FOM] inconsistency of P
shanest at stanford.edu
Tue Sep 27 17:35:35 EDT 2011
I haven't worked through the details of this proposed proof, but Terry Tao
claims to have found an issue with it:
Ph.D. Student, Department of Philosophy
On Mon, Sep 26, 2011 at 12:12 PM, Michael Blackmon <
differentiablef at gmail.com> wrote:
> I have a couple of questions:
> 1. Given that you are using an unknown theorem prover, would you make it,
> and the proof of correctness available for review?
> 2. Is qea used in the derivation of the alleged (no offense intended)
> 3. The content of the partially complete book is available, however the
> "25Mb" of data mentioned in the outline, which was produced by qea seems to
> be absent, will this data also be made available?
> 4. Why only an outline?
> Mike B.
> On Sep 26, 2011 2:11 PM, "Edward Nelson" <nelson at math.princeton.edu>
> FOM mailing list
> FOM at cs.nyu.edu
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the FOM