"The whole of the developments and operations of analysis are now capable of being executed by machinery. […] As soon as an Analytical Engine exists, it will necessarily guide the future course of science.” (Charles Babbage, “Passages from the Life of a Philosopher”, 1864)
"The most striking characteristic of the written language of algebra and of the higher forms of the calculus is the sharpness of definition, by which we are enabled to reason upon the symbols by the mere laws of verbal logic, discharging our minds entirely of the meaning of the symbols, until we have reached a stage of the process where we desire to interpret our results. The ability to attend to the symbols, and to perform the verbal, visible changes in the position of them permitted by the logical rules of the science, without allowing the mind to be perplexed with the meaning of the symbols until the result is reached which you wish to interpret, is a fundamental part of what is called analytical power. Many students find themselves perplexed by a perpetual attempt to interpret not only the result, but each step of the process. They thus lose much of the benefit of the labor-saving machinery of the calculus and are, indeed, frequently incapacitated for using it." (Thomas Hill, "Uses of Mathesis", Bibliotheca Sacra Vol. 32 (127), 1875)
"Mathematics is an instrument of thought. It is a sort of machine by which the crude and imperfect results of thought are taken and disentangled, and arranged in such a way that the thought can act upon them most readily." (Charles C Everett, "The Science of Thought" II, 1890)
"For, in mathematics or symbolic logic, reason can crank out the answer from the symboled equations -even a calculating machine can often do so - but it cannot alone set up the equations. Imagination resides in the words which define and connect the symbols - subtract them from the most aridly rigorous mathematical treatise and all meaning vanishes." (Ralph W Gerard, "The Biological Basis of Imagination", American Thought, 1947)
"A modern mathematical proof is not very different from a modern machine, or a modern test setup: the simple fundamental principles are hidden and almost invisible under a mass of technical details." (Hermann Weyl, "Unterrichtsblätter für Mathematik und Naturwissenschaften", 1932)
"On the basis of what has been proved so far, it remains possible that there may exist (and even be empirically discoverable) a theorem-proving machine which in fact is equivalent to mathematical intuition, but cannot be proved to be so, nor even be proved to yield only correct theorems of finitary number theory." (Kurt Gödel, 1951)
"Mathematics is not, then, merely a bunch of calculations that could be done much faster and better by an electronic machine; nor is it a science developed in ancient times, with nothing added to it since then except a bit of polish here and there." (C Stanley Ogilvy, "Excursions in Mathematics", 1956)
"The structures with which mathematics deals are more like lace, the leaves of trees, and the play of light and shadow on a human face, than they are like buildings and machines, the least of their representatives. The best proofs in mathematics are short and crisp like epigrams, and the longest have swings and rhythms that are like music. The structures of mathematics and the propositions about them are ways for the imagination to travel and the wings, or legs, or vehicles to take you where you want to go." (Scott Buchanan, "Poetry and Mathematics", 1975)
"In the initial stages of research, mathematicians do not seem to function like theorem-proving machines. Instead, they use some sort of mathematical intuition to ‘see’ the universe of mathematics and determine by a sort of empirical process what is true. This alone is not enough, of course. Once one has discovered a mathematical truth, one tries to find a proof for it." (Rudy Rucker, "Infinity and the Mind: The science and philosophy of the infinite", 1982)
"Algebra is the offer made by the devil to the mathematician. The devil says: I will give you this powerful machine, it will answer any question you like. All you need to do is give me your soul: give up geometry and you will have this marvelous machine." (Michael F Atiyah, 2004)
No comments:
Post a Comment