• Login
    View Item 
    •   Carroll Scholars Home
    • Philosophy
    • Philosophy Undergraduate Theses
    • View Item
    •   Carroll Scholars Home
    • Philosophy
    • Philosophy Undergraduate Theses
    • View Item
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Godel’s Proof and Its Philosophical Ramifications

    Thumbnail
    View/Open
    2005_SchirmerT_THS_000762.pdf (4.333Mb)
    Author
    Schirmer, Trent
    Date of Issue
    2005-04-01
    Metadata
    Show full item record
    URI
    https://scholars.carroll.edu/handle/20.500.12647/3618
    Title
    Godel’s Proof and Its Philosophical Ramifications
    Type
    thesis
    Abstract
    The 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.
    Degree Awarded
    Bachelor's
    Semester
    Spring
    Department
    Philosophy
    Collections
    • Philosophy Undergraduate Theses

    Browse

    All of Carroll ScholarsCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

    My Account

    LoginRegister

    DSpace software copyright © 2002-2023  DuraSpace
    DSpace Express is a service operated by 
    Atmire NV