Hilbert's Program Then and Now

Details Hilbert's Program Then and Now Hilbert's Program Then and Now

2005-08-29

arxiv.org/abs/math/0508572v1

Mathematics

Logic

43 pages

Scientific paper

Hilbert's program was an ambitious and wide-ranging project in the philosophy and foundations of mathematics. In order to "dispose of the foundational questions in mathematics once and for all, "Hilbert proposed a two-pronged approach in 1921: first, classical mathematics should be formalized in axiomatic systems; second, using only restricted, "finitary" means, one should give proofs of the consistency of these axiomatic systems. Although Godel's incompleteness theorems show that the program as originally conceived cannot be carried out, it had many partial successes, and generated important advances in logical theory and meta-theory, both at the time and since. The article discusses the historical background and development of Hilbert's program, its philosophical underpinnings and consequences, and its subsequent development and influences since the 1930s.

Affiliated with

Also associated with

No associations

Rating

Hilbert's Program Then and Now does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Hilbert's Program Then and Now, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Hilbert's Program Then and Now will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-405254