Accordingly, we find Euler and D'Alembert devoting their talent and their patience to the establishment of the laws of rotation of the solid bodies. Lagrange has incorporated his own analysis of the problem with his general treatment of mechanics, and since his time M. Poinsôt has brought the subject under the power of a more searching analysis than that of the calculus, in which ideas take the place of symbols, and intelligent propositions supersede equations.

It is going to be necessary that everything that happens in a finite volume of space and time would have to be analyzable with a finite number of logical operations. The present theory of physics is not that way, apparently. It allows space to go down into infinitesimal distances, wavelengths to get infinitely great, terms to be summed in infinite order, and so forth; and therefore, if this proposition [that physics is computer-simulatable] is right, physical law is wrong.

It [analysis] lacks at this point such plan and unity that it is really amazing that it can be studied by so many people. The worst is that it has not at all been treated with rigor. There are only a few propositions in higher analysis that have been demonstrated with complete rigor. Everywhere one finds the unfortunate manner of reasoning from the particular to the general, and it is very unusual that with such a method one finds, in spite of everything, only a few of what many be called paradoxes. It is really very interesting to seek the reason.
In my opinion that arises from the fact that the functions with which analysis has until now been occupied can, for the most part, be expressed by means of powers. As soon as others appear, something that, it is true, does not often happen, this no longer works and from false conclusions there flow a mass of incorrect propositions.

Pope has elegantly said a perfect woman's but a softer man. And if we take in the consideration, that there can be but one rule of moral excellence for beings made of the same materials, organized after the same manner, and subjected to similar laws of Nature, we must either agree with Mr. Pope, or we must reverse the proposition, and say, that a perfect man is a woman formed after a coarser mold.

Pure mathematics consists entirely of such asseverations as that, if such and such is a proposition is true of anything, then such and such another propositions is true of that thing. It is essential not to discuss whether the first proposition is really true, and not to mention what the anything is of which it is supposed to be true. ... If our hypothesis is about anything and not about some one or more particular things, then our deductions constititute mathematics. Thus mathematics may be defined as the the subject in which we never know what we are talking about, not whether what we are saying is true.

Such propositions are therefore called Eternal Truths, not because they are Eternal Truths, not because they are External Propositions actually formed, and antecedent to the Understanding, that at any time makes them; nor because they are imprinted on the Mind from any patterns, that are any where out of the mind, and existed before: But because, being once made, about abstract Ideas, so as to be true, they will, whenever they can be supposed to be made again at any time, past or to come, by a Mind having those Ideas, always actually be true. For names being supposed to stand perpetually for the same ideas, and the same ideas having immutably the same habitudes one to another, Propositions concerning any abstract Ideas that are once true, must needs be eternal Verities.

The validity of mathematical propositions is independent of the actual world—the world of existing subject-matters—is logically prior to it, and would remain unaffected were it to vanish from being.

They [mathematicians] only take those things into consideration, of which they have clear and distinct ideas, designating them by proper, adequate, and invariable names, and premising only a few axioms which are most noted and certain to investigate their affections and draw conclusions from them, and agreeably laying down a very few hypotheses, such as are in the highest degree consonant with reason and not to be denied by anyone in his right mind. In like manner they assign generations or causes easy to be understood and readily admitted by all, they preserve a most accurate order, every proposition immediately following from what is supposed and proved before, and reject all things howsoever specious and probable which can not be inferred and deduced after the same manner.