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:

    We are all humiliated by the sudden discovery of a fact which has existed very comfortably and perhaps been staring at us in private while we have been making up our world entirely without it.
    George Eliot [Mary Ann (or Marian)

    The geometry of landscape and situation seems to create its own systems of time, the sense of a dynamic element which is cinematising the events of the canvas, translating a posture or ceremony into dynamic terms. The greatest movie of the 20th century is the Mona Lisa, just as the greatest novel is Gray’s Anatomy.
    —J.G. (James Graham)