Namespaces
Variants
Actions

Hilbert program

From Encyclopedia of Mathematics
Revision as of 16:44, 26 February 2016 by Whayes43 (talk | contribs)
Jump to: navigation, search

"a history of Hilbert’s program for the foundations of mathematics, initiated by his Problems Address given in Paris, 1900" -- see Hilbert problems

In his 1900 lecture to the International Congress of Mathematicians in Paris, Hilbert proposed that an axiomatic treatment of any field of mathematics required the demonstration of the independence, the completeness, and the consistency of its axioms. More specifically with respect to geometry, he noted that the consistency (as he put it, the “compatibility”) of the axioms of geometry could be proved by providing an interpretation of the system in the real plane. In some sense, then, the consistency of geometry could be “reduced to” (proved indirectly as a result of proving directly) the consistency of analysis:[1]

In geometry, the proof of the compatibility of the axioms can be effected by constructing a suitable field of numbers, such that analogous relations between the numbers of this field correspond to the geometrical axioms. Any contradiction in the deductions from the geometrical axioms must thereupon be recognizable in the arithmetic of this field of numbers. In this way the desired proof for the compatibility of the geometrical axioms is made to depend upon the theorem of the compatibility of the arithmetical axioms.

What was needed, in other words, was “a direct consistency proof of analysis, i.e., one not based on reduction to another theory.”[2] This was the challenge of Hilbert’s 2nd problem and the hope of Hilbert’s program that proceeded from it.

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.”[3]

Hilbert’s address was preceded by and founded on 30 years of efforts to construct rigourously the whole of mathematics, which involved the development of the following -- see Hilbert 2nd problem:

  • the algebra of logic -- Boole/De Morgan/Peirce
  • naive set theory -- Cantor
  • the predicate calculus -- Peirce/Frege
  • the axioms of arithmetic -- Frege/Dedekind/Peano
  • transfinite arithmetic -- Cantor
  • the axioms of geometry -- Pasch/Hilbert

Going forward from his 1900 Problems Address, Hilbert’s program sought to “pull together into a unified whole” these developments, together with abstract axiomatics and mathematical physics. His views in this regard, “exerted an enormous influence on the mathematics of the twentieth century.”[4]

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 this:

“A Century of Controversy Over the Foundations of Mathematics.”

The question for us today is this: How are we to view this century-and-more-old 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.

Two caveats about Hilbert’s 2nd problem

The history of Hilbert’s program that follows will benefit from a brief preliminary mention of two reservations:

  1. Intuition in mathematics
  2. Hilbert’s 2nd problem vs. Hilbert’s program

Intuition in mathematics

The vision of a mathematics free of intuition was at the core of the 19th century program known as the Arithmetization of analysis.

Hilbert, too, envisioned a mathematics developed on a foundation “independently of any need for intuition.” His vision was rooted in his 1890s work developing an axiomatic theory of geometry. In Hilbert’s view, the theory of any area of mathematics, if developed rigourously, would be as follows:[7]

  • it would be developed independently of any need for intuition
  • it would clarify logical relationships between basic concepts and axioms.

There was a deep irony, ably expressed as follows, in this vision of an intuition-free mathematics,:[8]

At the time of Hilbert’s Problems Address, there was no mathematical formalization of Algorithm (or indeed of computational device, computational procedure, or computable function.) There was only an intuitive notion, spoken of as follows:
  • a specified discrete process that follows a finite and fixed set of rules
  • it (deterministicly) follows the same steps with the same input
  • . . . a “mechanical procedure” (Hilbert’s own statement)
Hilbert himself did succeed in stating the crucially important Decision Problem precisely, but not until the late 1920s.
Precise notions of computation (and indirectly of algorithm) and the enabling concept of the Turing Machine needed to await the mid-1930s work of Turing and Post.

In other words, at the time of Hilbert's address, the notion of a rigorously developed mathematics utterly free of intuition was itself a thoroughly intuitive notion, not perhaps of the mathematical, but rather of the meta-mathematical sort – a distinction that, at the time, had also not yet been developed.

Hilbert’s 2nd problem vs. Hilbert’s program

From time to time, questions are raised about the connection between Hilbert’s 2nd problem and his program for the foundations of mathematics. Here, for example, are excerpts from a recent (2011) question:[9]

Is Hilbert's second problem about the real numbers or the natural numbers?
In his famous "23 problems" speech, Hilbert gave his second problem as follows:[10]
The axioms of arithmetic are essentially nothing else than the known rules of calculation, with the addition of the axiom of continuity. I recently collected them and in so doing replaced the axiom of continuity by two simpler axioms, namely, the well-known axiom of Archimedes, and a new axiom essentially as follows: that numbers form a system of things which is capable of no further extension, as long as all the other axioms hold (axiom of completeness). I am convinced that it must be possible to find a direct proof for the compatibility of the arithmetical axioms, by means of a careful study and suitable modification of the known methods of reasoning in the theory of irrational numbers.
Now, I'm not sure what he's referring to in the "recently" but it might be his paper "On the concept of number" published also at 1900. In this paper Hilbert gives an axiomatic system for the real numbers (with order). . . .[11]
So, what was Hilbert's 2nd problem about? Is it correct to interpret it as a question about Peano arithmetic? Is it correct to claim that Gödel's theorem had a major impact on the question? Or is it a confusion between Hilbert's program and the 2nd question?
asked -- Gadi A Oct 25 '11 at 11:16

Here are excerpts from the answer to the question provided on the site:

The universal understanding is that a positive solution to Hilbert's second problem requires a convincing proof of the consistency of some adequate set of axioms for the natural numbers. The history of [Hilbert’s 2nd] problem is [... as follows]:[12]
Hilbert provided such an axiomatization in, but it became clear very quickly that the consistency of analysis faced significant difficulties, .... Hilbert thus realized that a direct consistency proof of analysis, i.e., one not based on reduction to another theory, was needed. He proposed the problem of finding such a proof as the second of his 23 mathematical problems in his address to the International Congress of Mathematicians in 1900 and presented a sketch of such a proof in his Heidelberg talk (1905).
Note that the term "analysis" in that article is the traditional term for the theory of natural numbers and sets of natural numbers, which is now called second-order arithmetic. In the first decades of the 20th century, the study of formal logic and model theory was still in its infancy, and many basic facts which we now take for granted were not known to researchers in that era. In particular, Hilbert would have had no reason to expect that the theory of the real numbers as a field would behave differently from the theory of second order arithmetic.
answered -- Carl Mummert Oct 25 '11 at 12:46

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: Gödel, Turing, & Chaitin

Variants and reinterpretations of Hilbert’s program

Notes

  1. Hilbert (1902) §2
  2. Zach (2015) ”Hilbert’s Program” §1.1 emphasis added
  3. 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.
  4. Ewald (2002) p. 127
  5. Chaitin (2000), p. 12.
  6. O’Connor and Robertson (1997)
  7. Zach (2015) §1.1
  8. Bertossi Slides 14-16
  9. Math Stack Exch.”Is Hilbert’s 2nd problem…”
  10. Hilbert (1902) §2
  11. Hilbert (1900)
  12. Zach (2015) §1.1

Primary sources

  • Hilbert, D. (1900). “Über den Zahlbegriff,” Jahresbericht der Deutschen, Mathematiker-Vereinigung 8, 180–184. (English translation in Ewald, W. (1996). “On the concept of number,” From Kant to Hilbert: A source book in the foundations of mathematics, vol. 2, Oxford University Press.
  • 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.
  • Ewald, W B. (2002) Review of Grattan-Guinness, I. (2000) The Search for Mathematical Roots, 1870-1940, Princeton University Press. Bull. (New Series) Amer. Math. Soc., Vol. 40, No. 1, pp. 125–129.
How to Cite This Entry:
Hilbert program. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Hilbert_program&oldid=37697