Editing David Hilbert (section)

====Program====
{{Main|Hilbert's program}}
In 1920, Hilbert proposed a research project in [[metamathematics]] that became known as Hilbert's program. He wanted mathematics to be formulated on a solid and complete logical foundation. He believed that in principle this could be done by showing that:

# all of mathematics follows from a correctly chosen finite system of [[axiom]]s; and
# that some such axiom system is provably consistent through some means such as the [[epsilon calculus]].

He seems to have had both technical and philosophical reasons for formulating this proposal. It affirmed his dislike of what had become known as the [[ignorabimus]], still an active issue in his time in German thought, and traced back in that formulation to [[Emil du Bois-Reymond]].<ref>{{Cite book |last=Finkelstein |first=Gabriel |title=Emil du Bois-Reymond: Neuroscience, Self, and Society in Nineteenth-Century Germany |date=2013 |publisher=The MIT Press |isbn=978-0262019507 |location=Cambridge; London |pages=265–289 |language=English}}</ref>

This program is still recognizable in the most popular [[philosophy of mathematics]], where it is usually called ''formalism''. For example, the [[Bourbaki group]] adopted a watered-down and selective version of it as adequate to the requirements of their twin projects of (a) writing encyclopedic foundational works, and (b) supporting the [[axiomatic method]] as a research tool. This approach has been successful and influential in relation with Hilbert's work in algebra and functional analysis, but has failed to engage in the same way with his interests in physics and logic.

Hilbert wrote in 1919:

{{blockquote|We are not speaking here of arbitrariness in any sense. Mathematics is not like a game whose tasks are determined by arbitrarily stipulated rules.  Rather, it is a conceptual system possessing internal necessity that can only be so and by no means otherwise.<ref>Hilbert, D. (1919–20), Natur und Mathematisches Erkennen: Vorlesungen, gehalten 1919–1920 in G\"ottingen. Nach der Ausarbeitung von Paul Bernays (Edited and with an English introduction by David E. Rowe), Basel, Birkh\"auser (1992).</ref>}}

Hilbert published his views on the foundations of mathematics in the 2-volume work, [[Grundlagen der Mathematik]].