A combination of geometry theorem proving and nonstandard analysis with application to Newton's principia
140 pages, parution le 15/07/2001
Résumé
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.
Contents
- Introduction
- Geometry Theorem Proving
- Constructing the Hy perreals
- Infinitesimal and Analytic Geometry
- Mechanising Newton's Principia
- Nonstandard Real Analysis
- Conclusions
Caractéristiques techniques
| PAPIER | |
| Éditeur(s) | Springer |
| Auteur(s) | Jacques Fleuriot |
| Parution | 15/07/2001 |
| Nb. de pages | 140 |
| Format | 16 x 24 |
| Couverture | Relié |
| Poids | 395g |
| Intérieur | Noir et Blanc |
| EAN13 | 9781852334666 |
Avantages Eyrolles.com
Livraison à partir de 0,01 € en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse
