A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia (Distinguished Dissertations 2001 ed.)

A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia (Distinguished Dissertations 2001 ed.)

By: Jacques Fleuriot (author)Hardback

Up to 2 DaysUsually despatched within 2 days


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.


Introduction.- A Brief History of the Infinitesimal.- The Principia and its Methods.- On Nonstandard Analysis.- Objectives.- Achieving our Goals.- Organisation of this book.- Geometry Theorem Proving.- Historical Background.- Algebraic Techniques.- Coordinate-Free Techniques.- Formalizing Geometry in Isabelle.- Concluding remarks.- Constructing the Hy perreals.- Isabelle/HOL.- Properties of an Infinitesimal Calculus.- Internal Set Theory.- Constructions Leading to the Reals.- Filters and Ultrafilters.- Ultrapower Construction of the Hyperreals.- Structure of the Hyperreal Number Line.- The Hypernatural Numbers.- An Alternative Construction for the Reals.- Related Work.- Concluding Remarks.- Infinitesimal and Analytic Geometry.- Non-Archimedean Geometry.- New Definitions and Relations.- Infinitesimal Geometry Proofs.- Verifying the Axioms of Geometry.- Concluding Remarks.- Mechanising Newton's Principia.- Formalizing Newton's Properties.- Mechanized Propositions and Lemmas.- Ratios of Infinitesimals.- Case Study: Propositio Kepleriana.- Expanding Newton's Proof.- Conclusions.- Nonstandard Real Analysis.- Extending a Relation to the Hyperreals.- Towards an Intuitive Calculus.- Real Sequences and Series.- Some Elementary Topology of the Reals.- Limits and Continuity.- Differentiation.- On the Transfer Principle.- Related Work and Conclusions.- Conclusions.- Geometry, Newton and the Principia.- Hyperreal Analysis.- Further Work.- Concluding Remarks.-

Product Details

  • ISBN13: 9781852334666
  • Format: Hardback
  • Number Of Pages: 140
  • ID: 9781852334666
  • weight: 890
  • ISBN10: 1852334665
  • edition: 2001 ed.

Delivery Information

  • Saver Delivery: Yes
  • 1st Class Delivery: Yes
  • Courier Delivery: Yes
  • Store Delivery: Yes

Prices are for internet purchases only. Prices and availability in WHSmith Stores may vary significantly