Files
Download Full Text (381 KB)
Description
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.
Publication Date
12-7-2017
Document Type
Poster
City
Grand Forks, ND
Keywords
Mathematics, Logic, Gödel, Incompleteness Theorem
Disciplines
Mathematics
Recommended Citation
Buntrock, Emma, "Gödel’s Incompleteness Theorem" (2017). Essential Studies UNDergraduate Showcase. 1.
https://commons.und.edu/es-showcase/1
Comments
Presented at the Fall 2017 Undergraduate Showcase Grand Forks, ND, December 7, 2017.