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.

Analysis and synthesis, though commonly treated as two different methods, are, if properly understood, only the two necessary parts of the same method. Each is the relative and correlative of the other.