Modern Viewpoints On The Status of The Problem
While the theorems of Gödel and Gentzen are now well understood by the mathematical logic community, no consensus has formed on whether (or in what way) these theorems answer Hilbert's second problem. Simpson (1988:sec. 3) argues that Gödel's incompleteness theorem shows that it is not possible to produce finitistic consistency proofs of strong theories. Kreisel (1976) states that although Gödel's results imply that no finitistic syntactic consistency proof can be obtained, semantic (in particular, second-order) arguments can be used to give convincing consistency proofs. Detlefsen (1990:p. 65) argues that Gödel's theorem does not prevent a consistency proof because its hypotheses might not apply to all the systems in which a consistency proof could be carried out. Dawson (2006:sec. 2) calls the belief that Gödel's theorem eliminates the possibility of a persuasive consistency proof "erroneous", citing the consistency proof given by Gentzen and a later one given by Gödel in 1958.
Read more about this topic: Hilbert's Second Problem
Famous quotes containing the words modern, status and/or problem:
“So gladly, from the songs of modern speech
Men turn, and see the stars, and feel the free
Shrill wind beyond the close of heavy flowers,
And through the music of the languid hours,
They hear like ocean on a western beach
The surge and thunder of the Odyssey.”
—Andrew Lang (1844–1912)
“At all events, as she, Ulster, cannot have the status quo, nothing remains for her but complete union or the most extreme form of Home Rule; that is, separation from both England and Ireland.”
—George Bernard Shaw (1856–1950)
“To make a good salad is to be a brilliant diplomatist—the problem is entirely the same in both cases. To know exactly how much oil one must put with one’s vinegar.”
—Oscar Wilde (1854–1900)