Discovery Systems
- Automated Mathematician
- Eurisko
Read more about this topic: List Of Mathematical Logic Topics
Famous quotes containing the words discovery and/or systems:
“The virtues of society are vices of the saint. The terror of reform is the discovery that we must cast away our virtues, or what we have always esteemed such, into the same pit that has consumed our grosser vices.”
—Ralph Waldo Emerson (1803–1882)
“Before anything else, we need a new age of Enlightenment. Our present political systems must relinquish their claims on truth, justice and freedom and have to replace them with the search for truth, justice, freedom and reason.”
—Friedrich Dürrenmatt (1921–1990)