"Mathematicians do not know what they are talking about because pure mathematics is not concerned with physical meaning. Mathematicians never know whether what they are saying is true because, as pure mathematicians, they make no effort to ascertain whether their theorems are true assertions about the physical world." (Morris Kline, “Mathematics in Western Culture”, 1953)
"The construction of hypotheses is a creative act of inspiration, intuition, invention; its essence is the vision of something new in familiar material. The process must be discussed in psychological, not logical, categories; studied in autobiographies and biographies, not treatises on scientific method; and promoted by maxim and example, not syllogism or theorem." (Milton Friedman, "Essays in Positive Economics", 1953)
“You have to guess the mathematical theorem before you prove it: you have to guess the idea of the proof before you carry through the details. You have to combine observations and follow analogies: you have to try and try again. The result of the mathematician’s creative work is demonstrative reasoning, a proof; but the proof is discovered by plausible reasoning, by guessing” (George Polya, “Mathematics and plausible reasoning” Vol. 1, 1954)
“Mathematics, springing from the soil of basic human experience with numbers and data and space and motion, builds up a far-flung architectural structure composed of theorems which reveal insights into the reasons behind appearances and of concepts which relate totally disparate concrete ideas.” (Saunders MacLane, “Of Course and Courses”, The American Mathematical Monthly, Vol. 61, No. 3, March, 1954)
”Mathematics is a creation of the mind. To begin with, there is a collection of things, which exist only in the mind, assumed to be distinguishable from one another; and there is a collection of statements about these things, which are taken for granted. Starting with the assumed statements concerning these invented or imagined things, the mathematician discovers other statements, called theorems, and proves them as necessary consequences. This, in brief, is the pattern of mathematics. The mathematician is an artist whose medium is the mind and whose creations are ideas.” (Hubert Stanley Wall, “Creative Mathematics”, 1963)
“So the first thing we have to accept is that even in mathematics you can start in different places. If all these various theorems are interconnected by reasoning there is no real way to say ‘These are the most fundamental axioms’, because if you were told something different instead you could also run the reasoning the other way. It is like a bridge with lots of members, and it is over-connected; if pieces have dropped out you can reconnect it another way.” (Richard Feynman, “The Character of Physical Law”, 1965)
“You have to guess the mathematical theorem before you prove it: you have to guess the idea of the proof before you carry through the details. You have to combine observations and follow analogies: you have to try and try again. The result of the mathematician’s creative work is demonstrative reasoning, a proof; but the proof is discovered by plausible reasoning, by guessing” (George Polya, “Mathematics and plausible reasoning” Vol. 1, 1954)
“Mathematics, springing from the soil of basic human experience with numbers and data and space and motion, builds up a far-flung architectural structure composed of theorems which reveal insights into the reasons behind appearances and of concepts which relate totally disparate concrete ideas.” (Saunders MacLane, “Of Course and Courses”, The American Mathematical Monthly, Vol. 61, No. 3, March, 1954)
”Mathematics is a creation of the mind. To begin with, there is a collection of things, which exist only in the mind, assumed to be distinguishable from one another; and there is a collection of statements about these things, which are taken for granted. Starting with the assumed statements concerning these invented or imagined things, the mathematician discovers other statements, called theorems, and proves them as necessary consequences. This, in brief, is the pattern of mathematics. The mathematician is an artist whose medium is the mind and whose creations are ideas.” (Hubert Stanley Wall, “Creative Mathematics”, 1963)
“So the first thing we have to accept is that even in mathematics you can start in different places. If all these various theorems are interconnected by reasoning there is no real way to say ‘These are the most fundamental axioms’, because if you were told something different instead you could also run the reasoning the other way. It is like a bridge with lots of members, and it is over-connected; if pieces have dropped out you can reconnect it another way.” (Richard Feynman, “The Character of Physical Law”, 1965)
"A mathematical proof, as usually written down, is a sequence of expressions in the state space. But we may also think of the proof as consisting of the sequence of justifications of consecutive proof steps - i.e., the references to axioms, previously-proved theorems, and rules of inference that legitimize the writing down of the proof steps. From this point of view, the proof is a sequence of actions (applications of rules of inference) that, operating initially on the axioms, transform them into the desired theorem." (Herbert A Simon, "The Logic of Heuristic Decision Making", [in "The Logic of Decision and Action"], 1966)
“A theorem is no more proved by logic and computation than a sonnet is written by grammar and rhetoric, or than a sonata is composed by harmony and counterpoint, or a picture painted by balance and perspective.” (George Spencer-Brown, “Laws of Form”, 1969)
See also:
Theorems I, II, III, IV, V, VII, VIII, IX, X
Proofs I, II, III, IV, V,. VI, VII, VIII, IX
“A theorem is no more proved by logic and computation than a sonnet is written by grammar and rhetoric, or than a sonata is composed by harmony and counterpoint, or a picture painted by balance and perspective.” (George Spencer-Brown, “Laws of Form”, 1969)
See also:
Theorems I, II, III, IV, V, VII, VIII, IX, X
Proofs I, II, III, IV, V,. VI, VII, VIII, IX
No comments:
Post a Comment