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
Publisher: Springer, 2001

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.

"synopsis" may belong to another edition of this title.

Product Description

A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia Demonstrations of Newton's theorems are usually presented using calculus. This text describes the mechanization of Lemmas and Propositions from the "Principia", using formal tools developed in the generic theorem prover Isabelle.

"About this title" may belong to another edition of this title.

Publisher
Springer
Publication date
2001
Language
English
ISBN 10 
1852334665
ISBN 13 
9781852334666
Binding
Hardcover
Number of pages
153

Other Popular Editions of the Same Title

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

Featured Edition

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