- Jeremy Avigad “Gödel and the metamathematical tradition”, a lecture delivered at the ASL 2006 spring meeting in Montreal
The metamathematical tradition that developed out of Hilbert's program is based on syntactic characterizations of mathematics and the use of explicit, finitary methods in the metatheory. Although Godel's work in logic fits squarely in that tradition, one often finds him curiously at odds with the associated methodological orientation. In this lecture, I will describe this tension and try to explain what lies behind it.
- Nicolas Rescher “The Berlin School of Logical Empiricism and its Legacy,” in: Erkenntnis, vol. 64, no. 3, 2006