Hacker News new | ask | show | jobs
by ProfHewitt 1857 days ago
Ziroshima:

Your intuition is correct in that Gödel's proposition

I'mUnprovable does indeed lead to an inconsistency in foundations.

However, there are foundational theories that can be proved

to be free of contradiction. For example, see the following:

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