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)

    The skylines lit up at dead of night, the air- conditioning systems cooling empty hotels in the desert and artificial light in the middle of the day all have something both demented and admirable about them. The mindless luxury of a rich civilization, and yet of a civilization perhaps as scared to see the lights go out as was the hunter in his primitive night.
    Jean Baudrillard (b. 1929)