A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia (Distinguished Dissertations) - Hardcover

Fleuriot, Jacques

 
9781852334666: A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia (Distinguished Dissertations)
Hardcover
ISBN 10: 1852334665 ISBN 13: 9781852334666
Verlag: Springer, 2001

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2001
Sprache
Englisch
ISBN 10 
1852334665
ISBN 13 
9781852334666
Einband
Gebundene Ausgabe
Anzahl der Seiten
153
Kontakt zum Hersteller
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Deutschland

Weitere beliebte Ausgaben desselben Titels

9781447110415: A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia (Distinguished Dissertations)

Vorgestellte Ausgabe

ISBN 10:  1447110412 ISBN 13:  9781447110415
Verlag: Springer, 2012
Softcover