Was Gödel's second incompleteness theorem really von Neumann's? Part II

Gödel never produced a proof but told von Neumann he had one to prevent the Hungarian from publishing his

Happy Pi Day! Thank you for subscribing to Confections & Reputations. If you are enjoying this newsletter, please consider upgrading your subscription.

This is the concluding part of a two-part post examining recent historical evidence on the discovery of the second incompleteness theorem. The first part of this story can be found here. A summary of the…