[Date Prev][Date Next][Thread Prev][Thread Next]
[Date Index]
[Thread Index]
[Author Index]
Re: Some thoughts on formalization
- From: Tim Gwinn <***>
- Date: Sun, 28 Aug 2005 07:27:43 -0400
This link to an article, "Three Crises in Mathematics" by Ernst Snapper,
from Mathematics Magazine 1979 52:207-216, provides a very readable overview
of Hilbert's program (as well as logicism and intuitionism), clarifies the
distinction between axiomatization and formalization, and also points out
the obvious inability of PA and ZFC to be formalizations in Hilbert's sense.
http://math.ku.dk/~forst/pom/snapper.pdf
Regards,
Tim