Godel’s Proof and Its Philosophical Ramifications

carrollscholars.legacy.contextkey11526626
carrollscholars.legacy.itemurlhttps://scholars.carroll.edu/philosophy_theses/13
carrollscholars.object.degreeBachelor's
carrollscholars.object.departmentPhilosophy
carrollscholars.object.disciplinesLogic and Foundations; Logic and Foundations of Mathematics; Mathematics; Philosophy
carrollscholars.object.seasonSpring
dc.contributor.authorSchirmer, Trent
dc.date.accessioned2020-04-30T10:10:39Z
dc.date.available2020-04-30T10:10:39Z
dc.date.embargo12/31/1899 0:00
dc.date.issued2005-04-01
dc.description.abstractThe most significant theorem of 20th century logic was Godel’s incompleteness theorem. In the thesis Godel’s theorem, both how it works and what it means philosophically, is given a penetrating analysis. I explain both the mathematics of Godel’s proof, as it is presented in his paper On Formally Undecidable Propositions of Principia Mathematica and Related Systems, and the presentation only assumes a basic knowledge of symbolic logic and the patience to follow mathematical arguments on the part of the reader. Preceding the exposition of Godel’s proof is a philosophical discussion of logic, and at the end of the exposition I discuss the proof’s philosophical ramifications.
dc.identifier.urihttps://scholars.carroll.edu/handle/20.500.12647/3618
dc.titleGodel’s Proof and Its Philosophical Ramifications
dc.typethesis
Files
Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
2005_SchirmerT_THS_000762.pdf
Size:
4.33 MB
Format:
Adobe Portable Document Format