Download Full Text (391 KB)
In 1931 Gödel released his Incompleteness Theorem. His theorem was the opposite of what other mathematicians at the time wanted, but it was very influential to realize there is no perfectly complete formal systems. The incompleteness theorem is based of the idea that in a consistent system there are pieces that can not be proved or disproved, causing for incompleteness. The second part of that idea is that such a system can not prove that itself is consistent, which also makes it incomplete. I will verify theses proofs using a series of logic problems that show how a system is incomplete.
Grand Forks, ND
Mathematics, Logic, Gödel, Incompleteness Theorem
Buntrock, Emma, "Gödel’s Incompleteness Theorem" (2017). Essential Studies UNDergraduate Showcase. 1.