List of Mathematical Logic Topics - Discovery Systems

Discovery Systems

  • Automated Mathematician
  • Eurisko

Read more about this topic:  List Of Mathematical Logic Topics

Famous quotes containing the words discovery and/or systems:

    “However backwards the world has been in former ages in the discovery of such points as GOD never meant us to know,—we have been more successful in our own days:Mthousands can trace out now the impressions of this divine intercourse in themselves, from the first moment they received it, and with such distinct intelligence of its progress and workings, as to require no evidence of its truth.”
    —Laurence Sterne (1713–1768)

    “I am beginning to suspect all elaborate and special systems of education. They seem to me to be built up on the supposition that every child is a kind of idiot who must be taught to think.”
    —Anne Sullivan (1866–1936)