By Jacques Fleuriot PhD, MEng (auth.)
Sir Isaac Newton's philosophi Naturalis Principia Mathematica'(the Principia) incorporates a prose-style mix of geometric and restrict reasoning that has usually been considered as logically vague.
In A blend of Geometry Theorem Proving and NonstandardAnalysis, Jacques Fleuriot provides a formalization of Lemmas and Propositions from the Principia utilizing a mixture of tools from geometry and nonstandard research. The mechanization of the methods, which respects a lot of Newton's unique reasoning, is built in the theorem prover Isabelle. the appliance of this framework to the mechanization of trouble-free actual research utilizing nonstandard thoughts can be discussed.
Read Online or Download A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia PDF
Best Geometry books
This version additionally gains extra difficulties and instruments emphasizing fractal purposes, in addition to a brand new resolution key to the textual content routines.
Meyer's Geometry and Its purposes, moment version, combines conventional geometry with present principles to provide a contemporary technique that's grounded in real-world purposes. It balances the deductive procedure with discovery studying, and introduces axiomatic, Euclidean geometry, non-Euclidean geometry, and transformational geometry.
Leonardo da Pisa, might be greater often called Fibonacci (ca. 1170 – ca. 1240), chosen the main precious elements of Greco-Arabic geometry for the ebook often called De Practica Geometrie. This translation bargains a reconstruction of De Practica Geometrie because the writer judges Fibonacci wrote it, thereby correcting inaccuracies present in a variety of smooth histories.
The 1st version of this e-book entitled research on Riemannian Manifolds and a few difficulties of Mathematical Physics was once released by way of Voronezh Univer sity Press in 1989. For its English variation, the ebook has been considerably revised and extended. specifically, new fabric has been further to Sections 19 and 20.
Additional resources for A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia