Gödel's incompleteness theorem

<p>"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.</p>

Name thesis:degree_name

Master of Science (MS) in Mathematics

Level thesis:degree_level

Thesis

Discipline thesis:degree_discipline

Mathematics

Year

2013

Author dc:creator

• Mullins, Christopher

• Gödel's theorem
• Incompleteness theorems
• Proof theory
• Physical Sciences and Mathematics

Statement dc:rights

• Access is available to all users

Repository record dc:identifier

https://dc.ewu.edu/theses/172

OAI identifier oai:identifier

oai:dc.ewu.edu:theses-1171