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

Fleuriot, Jacques

 
9781447110415: A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia (Distinguished Dissertations)
Softcover
ISBN 10: 1447110412 ISBN 13: 9781447110415
Verlag: Springer, 2012

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
2012
Sprache
Englisch
ISBN 10 
1447110412
ISBN 13 
9781447110415
Einband
Taschenbuch
Anzahl der Seiten
160
Kontakt zum Hersteller
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Deutschland

Weitere beliebte Ausgaben desselben Titels

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

Vorgestellte Ausgabe

ISBN 10:  1852334665 ISBN 13:  9781852334666
Verlag: Springer, 2001
Hardcover