株式会社極東書店トップ ＞ 商品一覧 ＞ A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia. Softcover reprint of the original 1st ed. 2001
商品詳細
A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia. Softcover reprint of the original 1st ed. 2001
・ISBN 978-1-4471-1041-5 paper EUR 99.99
￥26,726.- (税込) ※（※）価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。
お気に入り
★★★
| 著者・編者 | Fleuriot, Jacques, |
|---|---|
| シリーズ | (Distinguished Dissertations) |
| 出版社 | (Springer London Ltd, UK) |
| 出版年月 | 2012 |
| ページ数 | 140 pp. |
| 言語 | ENG |
| ニュース番号 | ＜A04-76931＞ |
解説
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.
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.