Gödel and the Metamathematical Tradition

The metamathematical tradition that developed from 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. This essay explores that tension and what lies behind it.