Adequality is a technique used by Fermat to solve problems of tangents and maxima and minima. Some topics from the history of infinitesimals appear below in alphabetical order. Martin Davis I never understood why logic should be reliable everywhere else, but not in mathematics. The ABCs of the history of infinitesimal mathematics. Though Zermelo's account was informal it is a small step from there for a fully formal account of mathematics as based on first order set theory. Bertrand Russell Dont care would be more to the point. Zermelo's axiomatisation was the first, and with some subsequent improvements became the de-facto standard foundation for mathematics. The rigourisation of analysis preceded and showed the need for a better account of the real number system, since the necessary proofs of results in analysis depended on properties of real numbers which were not themselves rigorously established.īoth the theory of real numbers and the idea of a function depended upon an informal notion of set.Ĭantor turned the very simple idea of a set into a rich theory which was to become the foundation of modern mathematics.Īfter the paradoxes became conspicuous in set theory it became essential to have a consistent axiomatisation of the theory if it was to be used. Russell, taking the paradoxes into account, devised his Theory of Types and demonstrated with Whitehead in Principia Mathematica how this could be used to formalise mathematics.įormal mathematics was shown to be rather hard work for human beings, and did not catch on. Se les llaman números hiperreales, y son una creación del análisis no estándar. Otra manera de trabajar con los infinitésimos es considerarlos como números, y no como límites, es decir trabajar en un conjunto que contenga más números que los usuales. This however proved to be based on an inconsistent logical system. Es bastante popular el uso de infinitésimos en la bibliografía rusa.
The rigourisation of analysis begins with the elimination of infinitesimals in favour of arguments using limits.įor millenia mathematics had been a science based on deductive logic.īut no account of logic had ever been produced which was adeqate for the purposes of mathematics.īy abandoning Aristotle's subject-predicate analysis of the form of sentences, Frege was able to devise a logic which would prove sufficient for the formalisation of mathematics.įrege's logic was intended to provide a foundation for mathematics, and Frege showed how this could be done in his Grundgesetze der Arithmetic. The use of infinitesimals was one of the more conspicuous practices in the development of analysis for which no justification or rationale could be offered. The Formalisation of Mathematics The Formalisation of Mathematicsĭuring the period from about 1821 to 1908, which begins with the publication of Cauchy's Cours d'analyse algebraic and concludes with the publication in 1908 of Russell's Mathematical Logic as Based on The Theory of Types and Zermelo's first order axiomatisation of set theory, mathematicians restored and surpassed the standards of rigour which had been established during the period of classical greek mathematics but neglected during the mathematisation of science.
0 kommentar(er)
