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:
“Perhaps a modern society can remain stable only by eliminating adolescence, by giving its young, from the age of ten, the skills, responsibilities, and rewards of grownups, and opportunities for action in all spheres of life. Adolescence should be a time of useful action, while book learning and scholarship should be a preoccupation of adults.”
—Eric Hoffer (1902–1983)
“A genuine Left doesn’t consider anyone’s suffering irrelevant or titillating; nor does it function as a microcosm of capitalist economy, with men competing for power and status at the top, and women doing all the work at the bottom.... Goodbye to all that.”
—Robin Morgan (b. 1941)
“It is part of the educator’s responsibility to see equally to two things: First, that the problem grows out of the conditions of the experience being had in the present, and that it is within the range of the capacity of students; and, secondly, that it is such that it arouses in the learner an active quest for information and for production of new ideas. The new facts and new ideas thus obtained become the ground for further experiences in which new problems are presented.”
—John Dewey (1859–1952)