Kurt Gödel, philosopher. mathematician, logician and famous paranoid at Princeton.
Chat with our AI personalities
He found the incompleteness theorem
No, not at all. The Incompleteness Theorem is more like, that there will always be things that can't be proven. Further, it is impossible to find a complete and consistent set of axioms, meaning you can find an incomplete set of axioms, or an inconsistent set of axioms, but not both a complete and consistent set.
the person who came up with that is pythagoris, and it is called the pythagrian theorem.
Gödel's incompleteness theorem was a theorem that Kurt Gödel proved about Principia Mathematica, a system for expressing and proving statements of number theory with formal logic. Gödel proved that Principia Mathematica, and any other possible system of that kind, must be either incomplete or inconsistent: that is, either there exist true statements of number theory that cannot be proved using the system, or it is possible to prove contradictory statements in the system.
the Pythagorean Theorem got its name from the man Pythagoras who came up with the theory.