Decision Problem - History

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:

    Spain is an overflow of sombreness ... a strong and threatening tide of history meets you at the frontier.
    Wyndham Lewis (1882–1957)

    History has neither the venerableness of antiquity, nor the freshness of the modern. It does as if it would go to the beginning of things, which natural history might with reason assume to do; but consider the Universal History, and then tell us,—when did burdock and plantain sprout first?
    Henry David Thoreau (1817–1862)

    The myth of independence from the mother is abandoned in mid- life as women learn new routes around the mother—both the mother without and the mother within. A mid-life daughter may reengage with a mother or put new controls on care and set limits to love. But whatever she does, her child’s history is never finished.
    Terri Apter (20th century)