Date of Original Version

7-25-2007

Type

Book Chapter

Rights Management

All Rights Reserved

Abstract or Description

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.

Included in

Philosophy Commons

Share

COinS