Date of Award

2013

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

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

Share

COinS