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:
“Truth is used to vitalize a statement rather than devitalize it. Truth implies more than a simple statement of fact. “I don’t have any whisky,” may be a fact but it is not a truth.”
—William Burroughs (b. 1914)
“Children should know there are limits to family finances or they will confuse “we can’t afford that” with “they don’t want me to have it.” The first statement is a realistic and objective assessment of a situation, while the other carries an emotional message.”
—Jean Ross Peterson (20th century)
“Mead had studied for the ministry, but had lost his faith and took great delight in blasphemy. Capt. Charles H. Frady, pioneer missionary, held a meeting here and brought Mead back into the fold. He then became so devout that, one Sunday, when he happened upon a swimming party, he shot at the people in the river, and threatened to kill anyone he again caught desecrating the Sabbath.”
—For the State of Nebraska, U.S. public relief program (1935-1943)