### Topic Page: Hilbert, David, 1862-1943

**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.)

**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

### Images

### Video

### Related Credo Articles

##### Full text Article axiom

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

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)

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