Files

Download

Download Full Text (391 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

Comments

Presented at the Fall 2017 Undergraduate Showcase Grand Forks, ND, December 7, 2017.

Gödel’s Incompleteness Theorem

Included in

Mathematics Commons

Share

COinS