Morris Kline Quotes

The theory of perspective was taught in painting schools from the sixteenth century onward according to principles laid down by the masters... However, their treatises on perspective had on the whole been precept, rule, and ad hoc procedure; they lacked a solid mathematical basis. In the period from 1500 to 1600 artists and subsequently mathematicians put the subject on a satisfactory deductive basis, and it passed from quasi-empirical art to a true science. Definitive works on perspective were written much later by eighteenth-century mathematicians Brook Taylor and J. H. Lambert.

Aristotle had considered the question of whether space is infinite and gave six nonmathematical arguments to prove that it is finite; he foresaw that this question would be troublesome.

The relationship of point to line bothered the Greeks and led Aristotle to separate the two. Though he admits points are on lines, he says that a line is not made up of points and that the continuous cannot be made up of the discrete. This distinction contributed also to the presumed need for separating number from geometry, since to the Greeks numbers were discrete and geometry dealt with continuous magnitudes.

Another feature of Alexandrian algebra is the absence of any explicit deductive structure. The various types of numbers... were not defined. Nor was there any axiomatic basis on which a deductive structure could be erected. The work of Heron, Nichomachus, and Diophantus, and of Archimedes as far as his arithmetic is concerned, reads like the procedural texts of the Egyptians and Babylonians... The deductive, orderly proof of Euclid and Apollonius, and of Archimedes' geometry is gone. The problems are inductive in spirit, in that they show methods for concrete problems that presumably apply to general classes whose extent is not specified. In view of the fact that as a consequence of the work of the classical Greeks mathematical results were supposed to be derived deductively from an explicit axiomatic basis, the emergence of an independent arithmetic and algebra with no logical structure of its own raised what became one of the great problems of the history of mathematics. This approach to arithmetic and algebra is the clearest indication of the Egyptian and Babylonian influences... Though the Alexandrian Greek algebraists did not seem to be concerned about this deficiency... it did trouble deeply the European mathematicians.

Galileo had provided the methodology for the analysis of motions on and near the earth and had applied it successfully. Copernicus and Kepler had previously obtained the laws of motion of the planets and their satellites. ...But Galileo had succeeded in deriving numerous laws from a few physical principles and... the axioms and theorems of mathematics. ...The Keplerian laws ...were not logically related to each other. Each was an independent inference from observations. ...They seemed to be suspended in the same vacuum in which the planets moved.
Galileo's laws had the additional advantage of supplying physical insight. The first law of motion and the law that the force of graviation gives... a downward acceleration of 32 ft/sec²... explain the vertrical rise and fall of bodies, motion on slopes, and projectile motion. Kepler's laws... had no physical basis. ...Kepler tried to introduce the idea of a magnetic force which the sun exerted... But he failed to related the behavior of the planets to the precise laws of planetary motion. ...
The new astronomical theory was completely isolated from the theory of motion on earth. ...it bothered mathematicians and scientists who believed that all the phenomena of the universe were governed by one master plan instituted by the master planner—God.

Laplace made many important discoveries in mathematical physics... Indeed, he was interested in anything that helped to interpret nature. He worked on hydrodynamics, the wave propagation of sound, and the tides. In the field of chemistry, his work on the liquid state of matter is classic. His studies of the tension in the surface layer of water, which accounts for the rise of liquids inside a capillary tube, and of the cohesive forces in liquids, are fundamental. Laplace and Lavoisier designed an ice calorimeter (1784) to measure heat and measured the specific heat of numerous substances; heat, to them, was still a special kind of matter. Most of Laplace's life was, however, devoted to celestial mechanics.

In arithmetic the Arabs took one step backward. Though they were familiar with negative numbers and the rules for operating with them through the work of the Hindus, they rejected negative numbers.

Descartes... complained that Greek geometry was so much tied to figures "that is can exercise the understanding only on condition of greatly fatiguing the imagination." Descartes also deplored that the methods of Euclidean geometry were exceedingly diverse and specialized and did not allow for general applicability. Each theorem required a new kind of proof... What impressed Descartes especially was that algebra enables man to reason efficiently. It mechanizes thought, and hence produces almost automatically results that may otherwise be difficult to establish. ...historically it was Descartes who clearly perceived and called attention to this feature. Whereas geometry contained the truth about the universe, algebra offered the science of method. It is... paradoxical that great thinkers should be enamored with ideas that mechanize thought. Of course, their goal is to get at more difficult problems, as indeed they do.

The minimum principle that unified the knowledge of light, gravitation, and electricity of Hamilton's time no longer suffices to relate these fundamental branches of physics. Within fifty years of its creation, the belief that Hamilton's principle would outlive all other physical laws of physics was shattered. Minimum principles have since been created for separate branches of physics... but these are not only restricted... but seem to be contrived... A single minimum principle, a universal law governing all processes in nature, is still the direction in which the search for simplicity is headed, with the price of simplicity now raised from a mastery of differential equations to a mastery of the calculus of variations.

Closely related to the problem of the parallel postulate is the problem of whether physical space is infinite. Euclid assumes in Postulate 2 that a straight-line segment can be extended as far as necessary; he uses this fact, but only to find a larger finite length—for example in Book I, Propositions 11, 16, and 20. For these proofs Heron gave new proofs that avoided extending the lines, in order to meet the objection of anyone who would deny that the space was available for the extension.

The Hindus introduced negative numbers... The first known use is about 628; he also states the rules for the four operations with negative numbers. Bhāskara points out that the square root of a positive number is twofold, positive and negative. He brings up the matter of the square root of a negative number but says that there is no square root because a negative number is not a square. No definitions, axioms, or theorems are given.
The Hindus did not unreservedly accept negative numbers. Even Bhāskara, while giving 50 and -5 as two solutions of a problem, says, "The second value is in this case not to be taken, for it is inadequate; people do not approve of negative solutions." However, negative numbers gained acceptance slowly.

In the field of non-Euclidean geometry, Riemann... began by calling attention to a distinction that seems obvious once it is pointed out: the distinction between an unbounded straight line and an infinite line. The distinction between unboundedness and infiniteness is readily illustrated. A circle is an unbounded figure in that it never comes to an end, and yet it is of finite length. On the other hand, the usual Euclidean concept of a straight line is also unbounded in that it never reaches an end but is of infinite length. ...he proposed to replace the infiniteness of the Euclidean straight line by the condition that it is merely unbounded. He also proposed to adopt a new parallel axiom... In brief, there are no parallel lines. This ... had been tried... in conjunction with the infiniteness of the straight line and had led to contradictions. However... Riemann found that he could construct another consistent non-Euclidean geometry.

The Pythagoreans associated good and evil with the limited and unlimited, respectively.

Henri Poincaré thought the theory of infinite sets a grave malady and pathologic. "Later generations," he said in 1908, "will regard set theory as a disease from which one has recovered.

Brook Taylor... in his Methodus Incrementorum Directa et Inversa (1715), sought to clarify the ideas of the calculus but limited himself to algebraic functions and algebraic differential equations. ...Taylor's exposition, based on what we would call finite differences, failed to obtain many backers because it was arithmetical in nature when the British were trying to tie the calculus to geometry or to the physical notion of velocity.