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.
General
| Imprint: |
Springer London
|
| Country of origin: |
United Kingdom |
| Series: |
Distinguished Dissertations |
| Release date: |
2001 |
| First published: |
2001 |
| Authors: |
Jacques Fleuriot
|
| Dimensions: |
235 x 155 x 11mm (L x W x T) |
| Format: |
Hardcover
|
| Pages: |
140 |
| Edition: |
2001 ed. |
| ISBN-13: |
978-1-85233-466-6 |
| Categories: |
Books >
Science & Mathematics >
Mathematics >
Geometry >
General
Promotions
|
| LSN: |
1-85233-466-5 |
| Barcode: |
9781852334666 |
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
