Statement of Hilbert's Program
The main goal of Hilbert's program was to provide secure foundations for all mathematics. In particular this should include:
- A formalization of all mathematics; in other words all mathematical statements should be written in a precise formal language, and manipulated according to well defined rules.
- Completeness: a proof that all true mathematical statements can be proved in the formalism.
- Consistency: a proof that no contradiction can be obtained in the formalism of mathematics. This consistency proof should preferably use only "finitistic" reasoning about finite mathematical objects.
- Conservation: a proof that any result about "real objects" obtained using reasoning about "ideal objects" (such as uncountable sets) can be proved without using ideal objects.
- Decidability: there should be an algorithm for deciding the truth or falsity of any mathematical statement.
Read more about this topic: Hilbert's Program
Famous quotes containing the words statement of, statement and/or program:
“The most distinct and beautiful statement of any truth must take at last the mathematical form.”
—Henry David Thoreau (1817–1862)
“Truth is that concordance of an abstract statement with the ideal limit towards which endless investigation would tend to bring scientific belief, which concordance the abstract statement may possess by virtue of the confession of its inaccuracy and one-sidedness, and this confession is an essential ingredient of truth.”
—Charles Sanders Peirce (1839–1914)
“Worn down by the hoofs of millions of half-wild Texas cattle driven along it to the railheads in Kansas, the trail was a bare, brown, dusty strip hundreds of miles long, lined with the bleaching bones of longhorns and cow ponies. Here and there a broken-down chuck wagon or a small mound marking the grave of some cowhand buried by his partners “on the lone prairie” gave evidence to the hardships of the journey.”
—For the State of Kansas, U.S. public relief program (1935-1943)