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

    • Fulltext

       

        Click here to view fulltext PDF


      Permanent link:
      https://www.ias.ac.in/article/fulltext/reso/012/03/0035-0046

    • 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

       
  • Resonance – Journal of Science Education | News

© 2021-2022 Indian Academy of Sciences, Bengaluru.