[FOM] inconsistency of P

[Michael Blackmon]

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:
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20110926/12702abd/attachment.html>