[FOM] inconsistency of P

[Shane Steinert-Threlkeld]

I haven't worked through the details of this proposed proof, but Terry Tao
claims to have found an issue with it:

http://golem.ph.utexas.edu/category/2011/09/the_inconsistency_of_arithmeti.html#c039531

----------
Shane Steinert-Threlkeld
Ph.D. Student, Department of Philosophy
Stanford University
http://www.shane.st



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)
> inconsistency?
>
> 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?
>
> Respectfully
> Mike B.
> On Sep 26, 2011 2:11 PM, "Edward Nelson" <nelson at math.princeton.edu>
> wrote:
>
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20110927/a422cb9b/attachment.html>