Hacker News new | ask | show | jobs
by ProfHewitt 1937 days ago
Unfortunately, the author Timm Lampert did not quote the most

powerful Wittgenstein proof that existence of I'mUnprovable

means that mathematical foundations are inconsistent.

Wittgenstein's more powerful version is much more

devastating.

As mentioned previously in this discussion, the following

article explains why I'mUnprovable must not and does not

exist in foundations:

"Recrafting Foundations of Mathematics"

https://papers.ssrn.com/abstract=3603021