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:
“In most modern instances, interpretation amounts to the philistine refusal to leave the work of art alone. Real art has the capacity to make us nervous. By reducing the work of art to its content and then interpreting that, one tames the work of art. Interpretation makes art manageable, conformable.”
—Susan Sontag (b. 1933)
“Knowing how beleaguered working mothers truly are—knowing because I am one of them—I am still amazed at how one need only say “I work” to be forgiven all expectation, to be assigned almost a handicapped status that no decent human being would burden further with demands. “I work” has become the universally accepted excuse, invoked as an all-purpose explanation for bowing out, not participating, letting others down, or otherwise behaving inexcusably.”
—Melinda M. Marshall (20th century)
“Like the effects of industrial pollution ... the AIDS crisis is evidence of a world in which nothing important is regional, local, limited; in which everything that can circulate does, and every problem is, or is destined to become, worldwide.”
—Susan Sontag (b. 1933)