A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia - Couverture souple

Fleuriot, Jacques

 
9781447110415: A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia
Couverture souple
ISBN 10 : 1447110412 ISBN 13 : 9781447110415
Editeur : Springer, 2012

Synopsis

Sir Isaac Newton's philosophi Naturalis Principia Mathematica'(the Principia) contains a prose-style mixture of geometric and limit reasoning that has often been viewed as logically vague.
In A Combination of Geometry Theorem Proving and Nonstandard Analysis, Jacques Fleuriot presents a formalization of Lemmas and Propositions from the Principia using a combination of methods from geometry and nonstandard analysis. The mechanization of the procedures, which respects much of Newton's original reasoning, is developed within the theorem prover Isabelle. The application of this framework to the mechanization of elementary real analysis using nonstandard techniques is also discussed.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2012
Langue
anglais
ISBN 10 
1447110412
ISBN 13 
9781447110415
Reliure
Broché
Nombre de pages
160
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

9781852334666: A Combination of Geometry Theorem Proving and Nonstandard Analysis With Application to Newton's Principia

Edition présentée

ISBN 10 :  1852334665 ISBN 13 :  9781852334666
Editeur : Springer London Ltd, 2001
Couverture rigide