Gödel's incompleteness theorem

Author

Christopher Mullins, Eastern Washington University

Date of Award

2013

Rights

Access is available to all users

Document Type

Thesis

Degree Name

Master of Science (MS) in Mathematics

Department

Mathematics

Abstract

"This thesis gives a rigorous development of sentential logic and first-order logic as mathematical models of humanity's deductive thought processes. Important properties of each of these models are stated and proved including Compactness results (the ability to prove a statement from a finite set of assumptions), Soundness results (a proof given a set of assumptions will always be true given that set of assumptions), and Completeness results (a statement that is true given a set of assumptions must have a proof from that set of assumptions). Mathematical theories and axiomatizations or theories are discussed in a first- order logical setting. The ultimate aim of the thesis is to state and prove Gödel's Incompleteness Theorem for number theory"--Document.

Comments

Typescript. Vita.

Creative Commons License

This work is licensed under a Creative Commons Attribution-NonCommercial-No Derivative Works 4.0 International License.

Recommended Citation

Mullins, Christopher, "Gödel's incompleteness theorem" (2013). EWU Masters Thesis Collection. 172.
https://dc.ewu.edu/theses/172