"In order for there to be a variable quantity in some mathematical study, the domain of its variability must strictly speaking be known beforehand through a definition. However, this domain cannot itself be something variable, since otherwise each fixed support for the study would collapse. Thus this domain is a definite, actually infinite set of values. Hence each potential infinite, if it is rigorously applicable mathematically, presupposes an actual infinite." (Georg Cantor, "Über die verschiedenen Ansichten in Bezug auf die actualunendlichen Zahlen" ["Over the different views with regard to the actual infinite numbers"], 1886)
"It always seems to me absurd to speak of a complete proof, or of a theorem being rigorously demonstrated. An incomplete proof is no proof, and a mathematical truth not rigorously demonstrated is not demonstrated at all." (James J Sylvester, "On certain inequalities related to prime numbers", Nature Vol. 38, 1888)
"Mathematics renders its best service through the immediate furthering of rigorous thought and the spirit of invention." (Johann F Herbart, "Mathematischer Lehrplan fur Realschulen", 1890)
"In order to comprehend and fully control arithmetical concepts and methods of proof, a high degree of abstraction is necessary, and this condition has at times been charged against arithmetic as a fault. I am of the opinion that all other fields of knowledge require at least an equally high degree of abstraction as mathematics, - provided, that in these fields the foundations are also everywhere examined with the rigour and completeness which is actually necessary." (David Hilbert, "Die Theorie der algebraischen Zahlkorper", 1897)
"Geometry, then, is the application of strict logic to those properties of space and figure which are self-evident, and which therefore cannot be disputed. But the rigor of this science is carried one step further; for no property, however evident it may be, is allowed to pass without demonstration, if that can be given. The question is therefore to demonstrate all geometrical truths with the smallest possible number of assumptions." (Augustus de Morgan, "On the Study and Difficulties of Mathematics", 1898)
No comments:
Post a Comment