Albert Einstein (1879-1955) Nobel prize laureate, 1921.
He discusses the conditions of existence for which we are not adjusted in Über den Frieden, Weltordnung und Weltuntergang (O. Norden and H. Norden, Editors.), Bern. 1975, p. 494.
In a letter to Jacques Hadamard (1945), Einstein explained: "The words of the language, as they are written or spoken, do not seem to play any role in my mechanisms of thought. The physical entities which seem to serve as elements in thought are certain signs and more or less clear images which can be 'voluntarily' reproduced or combined" cf. A Testimonial from Professor Einstein, in The Psychology of Invention in the Mathematical Field, edited by J. Hadamard, Princeton: Princeton University Press, 1945, p. 142.
Raymond Kurzweil, The Age of Intelligent Machines, Cambridge: MIT
Press, 1990.
"Rather than defining intelligence in terms of its constituent processes, we might define it in terms of its goal: the ability to use symbolic reasoning in the pursuit of a goal" (p. 17).
Alan Bundy, The Computer Modelling of Mathematical Reasoning. New
York: Academic Press, 1983.
Allan Ramsey. Formal Methods in Artificial Intelligence.
Cambridge/New York: Cambridge University Press, 1991.
M. Reinfrank, Editor. Non-Monotonic Reasoning: Second
International Workshop. Berlin/New York: Springer Verlag, 1989.
Titus Lucretius Carus. De rerum natura (edited with translation
and commentary by John Godwin). Warminster, Wiltshire, England:
Aris & Phillips,1986.
-. The Nature of Things. Trans. Frank O. Copley. 1st ed. New
York: Norton., 1977.
Epicurus, called by Timon "the last of the natural philosophers," was translated by Lucretius into Latin. His Letter to Herodotus and Master Sayings (Kyriai doxai) were integrated in De rerum natura (On Nature). A good reference book is Clay Diskin's Lucretius and Epicurus, Ithaca: Cornell University Press, 1983.