• Gödel’s Proof - Semantics of First Order Theory and Hilbert’s Program

    • Fulltext


        Click here to view fulltext PDF

      Permanent link:

    • Keywords


      Structure or interpretation of a language; model; truth; tautology; Hilbert’s program; logical axioms; proof; rules of inference; completeness; consistency; undecidable; conservative extension; interpretation.

    • Author Affiliations


      S M Srivastava1

      1. Stat-Math Unit, Indian Statistical Institute, 203, BT Road Kolkata 700 108, India.
    • Dates


© 2021-2022 Indian Academy of Sciences, Bengaluru.