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 early arrive at the great discovery that there is one mind common to all individual men: that what is individual is less than what is universal ... that error, vice and disease have their seat in the superficial or individual nature.
    Ralph Waldo Emerson (1803–1882)

    In all systems of theology the devil figures as a male person.... Yes, it is women who keep the church going.
    Don Marquis (1878–1937)