Re: Jech's proof of Gödel's second incompleteness theorem

[adriano paolo shaul gershom palma]

Dear dr Pratt, precisely

I have it and read it (nice work imh)


















*wehrlos aber nicht ehrlos*


Otto Wels
1933.3.23


On Mon, Sep 12, 2022 at 11:55 AM Vaughan Pratt <pratt at cs.stanford.edu>
wrote:

>
> In response to Adriano Palma's request, Thomas Jech submitted his proof of
> Gödel's second incompleteness theorem to arXiv on April 15, 1992.  It can
> be downloaded from https://arxiv.org/abs/math/9204207 .  Hopefully that's
> what Adriano wanted.
>
> Vaughan Pratt
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20220912/ad5b59a5/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: jech secon godel incompleteness.pdf
Type: application/pdf
Size: 52976 bytes
Desc: not available
URL: </pipermail/fom/attachments/20220912/ad5b59a5/attachment-0001.pdf>