[FOM] inconsistency of P
differentiablef at gmail.com
Mon Sep 26 15:12:59 EDT 2011
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?
On Sep 26, 2011 2:11 PM, "Edward Nelson" <nelson at math.princeton.edu> wrote:
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the FOM