.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia
Jacques Fleuriot
€ 130.67
FREE Delivery in Ireland
Description for Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia
Hardback. 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. Series: Distinguished Dissertations. Num Pages: 140 pages, biography. BIC Classification: PBM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 11. Weight in Grams: 890.
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.
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.
Product Details
Format
Hardback
Publication date
2001
Publisher
Springer London Ltd United Kingdom
Number of pages
140
Condition
New
Series
Distinguished Dissertations
Number of Pages
140
Place of Publication
England, United Kingdom
ISBN
9781852334666
SKU
V9781852334666
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia