History
The Entscheidungsproblem, German for "Decision-problem", is attributed to David Hilbert: "At 1928 conference Hilbert made his questions quite precise. First, was mathematics complete... Second, was mathematics consistent... And thirdly, was mathematics decidable? By this he meant, did there exist a definite method which could, in principle be applied to any assertion, and which was guaranteed to produce a correct decision on whether that assertion was true" (Hodges, p. 91). Hilbert believed that "in mathematics there is no ignorabimus' (Hodges, p. 91ff) meaning 'there is no limit to what can be known'. See David Hilbert and Halting Problem for more.
Read more about this topic: Decision Problem
Famous quotes containing the word history:
“The history of mankind interests us only as it exhibits a steady gain of truth and right, in the incessant conflict which it records between the material and the moral nature.”
—Ralph Waldo Emerson (1803–1882)
“History is not what you thought. It is what you can remember. All other history defeats itself.
In Beverly Hills ... they don’t throw their garbage away. They make it into television shows.
Idealism is the despot of thought, just as politics is the despot of will.”
—Mikhail Bakunin (1814–1876)
“When the history of guilt is written, parents who refuse their children money will be right up there in the Top Ten.”
—Erma Brombeck (20th century)