Abstract

In the course of ten short sections, we comment on Gödel’s seminal “Dialectica ” paper of fifty years ago and its aftermath. We start by suggesting that Gödel’s use of functionals of finite type is yet another instance of the realistic attitude of Gödel towards mathematics and in tune with his defense of the postulation of ever increasing higher types in foundational studies. We also make some observations concerning Gödel’s recasting of intuitionistic arithmetic via the “Dialectica ” interpretation, discuss the extra principles that the interpretation validates, and comment on extensionality and higher order equality. The latter sections focus on the role of majorizability considerations within the “Dialectica ” and related interpretations for extracting computational information from ordinary proofs in mathematics. I Kurt Gödel’s realism, a stance “against the current ” of his time, is now wellknown

Citations