Skip to main content Skip to Search Box

Definition: HILBERT, David, 1862-1943 from A Biographical Dictionary of People in Engineering: From Earliest Records to 2000

German mathematician; one of greatest mathematicians, Hilbert’s basis theorem (1888), theory of invariants, theory of number fields, foundation of geometry, Hilbert’s program (1920), FRS (1928), faculty at Univ. of Göttingen (1895-1930), fNAS (1907) (BEST CBDOS DOT HOFL RSObit WWWIS: see References.)


Summary Article: Hilbert, David from Philosophy of Science A-Z

German mathematician, one of the most famous mathematicians of all time. In Foundations of Geometry (1899), he showed that Euclid’s five axioms were far from sufficient for the development of Euclidean geometry. Hilbert showed how Euclidean geometry could be cast in the form of a purely formal logical–mathematical axiomatic system, based on a new enlarged set of axioms. Hilbert’s breakthrough, however, consists in his point that the deductive power of an axiomatic system is independent of the meaning of its terms and predicates and dependent only on their logical relationships. Hence, when it comes to what can be deduced from the axioms, the intuitive meanings of terms such as ‘point’, ‘line’, ‘plane’ etc. play no role at all. A Hilbert-style introduction of a set of terms by means of axioms is called implicit definition. Hilbert’s approach to arithmetic has been characterised as formalism. Hilbert disagreed with Frege that mathematics is reducible to logic and agreed with Kant that mathematics has a specific subject matter. However, he took this subject matter to be not the form of intuition but rather a set of concrete extralogical objects, namely, symbols – numerals in the case of arithmetic. Hilbert thought that total infinities were illusions. But in order to accommodate the role that infinity plays in mathematics, he introduced ideal elements, along the lines of the ideal points at infinity in geometry. Given his thought that proving the consistency of a formal system is all that is required for using it, Hilbert took it that the search for truth should give its place to the search for consistency.

See Definition, implicit; Syntactic view of theories

Further reading
  • Hilbert, David (1899), The Foundations of Geometry, trans. Leo Unger, Chicago: Open Court Publishing Company, 1971.
  • Shapiro, Stuart (1997), Philosophy of Mathematics: Structure and Ontology, Oxford: Oxford University Press.
  • © Stathis Psillos, 2007

    Related Credo Articles

    Full text Article axiom
    The Hutchinson Unabridged Encyclopedia with Atlas and Weather Guide

    In mathematics, a statement that is assumed to be true and upon which theorems are proved by using logical deduction; for example, two straight line

    Full text Article Hilbert, David
    The Hutchinson Unabridged Encyclopedia with Atlas and Weather Guide

    German mathematician, philosopher, and physicist whose work was fundamental to 20th-century mathematics. He founded the formalist school with Grundl

    Full text Article Hilbert, David (1862 - 1943)
    The Macmillan Encyclopedia

    In a book entitled Foundations of Geometry (1899), he defined such concepts as the point, the line, and the parallel...

    See more from Credo