Gödel's Dialectica Interpretation and Its Two-Way Stretch

  title={G{\"o}del's Dialectica Interpretation and Its Two-Way Stretch},
  author={S. Feferman},
  booktitle={Kurt G{\"o}del Colloquium},
  • S. Feferman
  • Published in Kurt Gödel Colloquium 1993
  • Philosophy, Computer Science
  • In 1958, Godel published in the journal Dialectica an interpretation of intuitionistic number theory in a quantifier-free theory of functionals of finite type; this subsequently came to be known as Godel’s functional or Dialectica interpretation. The article itself was written in German for an issue of that journal in honor of Paul Bernays’ 70 birthday. In 1965, Bernays told Godel of a plan to publish an English translation by Leo F. Boron of his 1958 paper, again in Dialectica. However, Godel… CONTINUE READING

    Topics from this paper.

    Gödel and Intuitionism
    • 4
    An Analysis of Gödel's dialectica Interpretation via Linear Logic
    • 15
    • PDF
    Human Rationality Challenges Universal Logic
    • 18
    • PDF
    Kreisel’s “unwinding” program
    • 24
    • PDF
    Logical problems of functional interpretations
    • 7
    A computational interpretation of open induction
    • 43
    • PDF
    Unificação das interpretações funcionais: via lógica linear intuicionista


    Publications referenced by this paper.
    Hilbert's Program Relativized: Proof-Theoretical and Foundational Reductions
    • 112
    A Theory of Constructions Equivalent to Arithmetic
    • 34
    Foundations of Intuitionistic Logic
    • 84
    Functional interpretations of feasibly constructive arithmetic
    • 125
    • Highly Influential
    • PDF
    On the Interpretation of Non-Finitist Proofs - Part I
    • 235
    Functional interpretation of bar induction by bar recursion
    • 73
    • PDF
    Handbook of mathematical logic
    • 825
    Fragments of arithmetic
    • W. Sieg
    • Mathematics, Computer Science
    • 1985
    • 104