Namespaces
Variants
Actions

Hilbert program

From Encyclopedia of Mathematics
Revision as of 17:02, 25 July 2015 by Boris Tsirelson (talk | contribs) (typo)
Jump to: navigation, search

a history of Hilbert’s program for the foundations of mathematics, initiated by his statement of the 2nd problem in his Problems Address, Paris, 1900 -- see Hilbert problems

In his 1990 lecture to the International Congress of Mathematicians in Paris, David Hilbert presented a list of open problems in mathematics. He expressed the 2nd of these problems, known variously as the compatibility of the arithmetical axioms and the consistency of arithmetic, as follows:[1]

When we are engaged in investigating the foundations of a science, we must set up a system of axioms which contains an exact and complete description of the relations subsisting between the elementary ideas of that science. The axioms so set up are at the same time the definitions of those elementary ideas; and no statement within the realm of the science whose foundation we are testing is held to be correct unless it can be derived from those axioms by means of a finite number of logical steps. Upon closer consideration the question arises: Whether, in any way, certain statements of single axioms depend upon one another, and whether the axioms may not therefore contain certain parts in common, which must be isolated if one wishes to arrive at a system of axioms that shall be altogether independent of one another.
But above all I wish to designate the following as the most important among the numerous questions which can be asked with regard to the axioms: To prove that they are not contradictory, that is, that a definite number of logical steps based upon them can never lead to contradictory results.

Hilbert’s 2nd problem arose from a principle that had only recently emerged in his thought, namely, that “mathematical existence is nothing other than consistency.”[2]

In the decades that followed his lecture, Hilbert made this 2nd problem more explicit by developing “a formal system of explicit assumptions” (see Axiom and Axiomatic method) upon which he intended to base the methods of mathematical reasoning. He then stipulated that any such system must be shown to have these characteristics:[3][4]

  1. the assumptions should be "independent" of one another (see Independence)
  2. the assumptions should be “consistent” (free of contradictions) (see Consistency)
  3. the assumptions should be “complete” (represents all the truths of mathematics) (see Completeness)
  4. there should be a procedure for deciding whether any statement expressed using the system is true or not (see Decision problem and Undecidability)

Hilbert's 2nd problem is said by some to have been solved, albeit in a negative sense, by K. Gödel (see Hilbert problems and Gödel incompleteness theorem).

And yet, in his 2000 Distinguished Lecture to the Carnegie Mellon University School of Computer Science, Gregory Chaitin began his remarks as follows:[5]

I’d like to make the outrageous claim, that has a little bit of truth, that actually all of this that’s happening now with the computer taking over the world, the digitalization of our society, of information in human society, you could say in a way is the result of a philosophical question that was raised by David Hilbert at the beginning of the century.

The philosophical question to which Chaitin was referring is the surmise at the heart of Hilbert’s 2nd problem. The title Chaitin gave to his lecture was “A Century of Controversy Over the Foundations of Mathematics.”

The question for us today is this:

How are we to view this century-old-and-more controversy?

“There can be no other way,” we are told, “than from our own position of understanding and sophistication…. [W]e have to try to appreciate the difference between our viewpoint and that of mathematicians centuries ago.”[6] This article attempts to assist our appreciation of that difference.

For a history of the mathematics preceding and relevant to Hilbert’s statement of the 2nd problem, which initiated his program, see the article Hilbert 2nd problem.

Hilbert’s program

Hilbert’s early attempt at the axiomatization of analysis

Early criticisms of Hilbert’s ideas

The influence of ‘’Principia Mathematica’’

Hilbert’s vision for the axiomatization of mathematics (1920)

Incompleteness: Godel, Turing, & Chaitin

Variants and reinterpretations of Hilbert’s program

Notes

  1. Hilbert (1902)
  2. Ferreirós (1996) p. 2 Ferreirós notes: “the first published formulation of the idea that mathematical existence can be derived from consistency” appeared in Hilbert’s 1900 paper “Über den Zahlbegriff.” This paper appeared immediately prior to the published version of his Problems Address.
  3. Calude and Chaitin
  4. Pon
  5. Chaitin (2000), p. 12.
  6. O’Connor and Robertson (1997)

Primary sources

  • Hilbert, D. (1902). "Mathematical problems," Bull. Amer. Math. Soc. , 8 pp. 437–479, MR1557926 Zbl 33.0976.07, (Reprint: ‘’Mathematical Developments Arising from Hilbert Problems’’, edited by Felix Brouder, American Mathematical Society, 1976), URL: http://aleph0.clarku.edu/~djoyce/hilbert/problems.html, Accessed: 2015/06/03.

References

  • Chaitin, G. (2000). “A Century of Controversy Over the Foundations of Mathematics,“ Journal Complexity -- Special Issue: Limits in mathematics and physics, Vol. 5, No. 5, May-June 2000, pp. 12-21, (Originally published in Finite Versus Infinite: Contributions to an Eternal Dilemma, Calude, C. S.; Paun, G. (eds.); Springer-Verlag, London, 2000, pp. 75–100), URL: http://www-personal.umich.edu/~twod/sof/assignments/chaitin.pdf Accessed 2015/05/30.
How to Cite This Entry:
Hilbert program. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Hilbert_program&oldid=36582