Mathematical Modelling of Random Systems: Analysis, Models and Algorithms

Now analysis is of two kinds, the one directed to searching for the truth and called theoretical, the other directed to finding what we are told to find and called problematical. (1) In the theoretical kind we assume what is sought as if it were existent and true, after which we pass through its successive consequences, as if they too were true and established by virtue of our hypothesis, to something admitted: then (a), if that something admitted is true, that which is sought will also be true and the proof will correspond in the reverse order to the analysis, but (b), if we come upon something admittedly false, that which is sought will also be false. (2) In the problematical kind we assume that which is propounded as if it were known, after which we pass through its successive consequences, taking them as true, up to something admitted: if then (a) what is admitted is possible and obtainable, that is, what mathematicians call given, what was originally proposed will also be possible, and the proof will again correspond in reverse order to the analysis, but if (b) we come upon something admittedly impossible, the problem will also be impossible.

A great part of the progress of formal thought... has been due to the invention of what we may call stenophrenic, or short-mind, symbols. These... disengage the mind from the consideration of ponderous and circuitous mechanical operations and economise its energies for the performance of new and unaccomplished tasks of thought. And the advancement of those sciences has been most notable which have made the most extensive use of these... Here mathematics and chemistry stand pre-eminent. The ancient Greeks... even admitting that their powers were more visualistic than analytic, were yet so impeded by their lack of short-mind symbols as to have made scarcely any progress whatever in analysis. Their arithmetic was a species of geometry. They did not possess the sign for zero, and also did not make use of position as an indicator of value. ...The historical calculations of Archimedes, his approximation to the value of π, etc., owing to this lack of appropriate... symbols, entailed enormous and incredible labors, which, if they had been avoided, would... have led to [even] great[er] discoveries.

Vieta presented his analytic art as "the new algebra" and took its name from the ancient mathematical method of "analysis", which he understood to have been first discovered by Plato and so named by Theon of Smyrna. Ancient analysis is the 'general' half of a method of discovering the unknown in geometry; the other half, "synthesis", being particular in character. The method was defined by Theon like this: analysis is the "taking of the thing sought as granted and proceeding by means of what follows to a truth that is uncontested"'. Synthesis, in turn, is "taking the thing that is granted and proceeding by means of what follows to the conculsion and comprehension of the thing sought" (Vietae 1992: 320). The transition from analysis to synthesis was called "conversion", depending on whether the discovery of the truth of a geometrical theorem or the solution ("construction") to a geometrical problem was being demonstrated, the analysis was called respectively "theoretical" or "problematical".