A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia - Distinguished Dissertations - Jacques Fleuriot - Boeken - Springer London Ltd - 9781447110415 - 13 september 2012
Indien omslag en titel niet overeenkomen, is de titel correct

A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia - Distinguished Dissertations Softcover Reprint of the Original 1st Ed. 2001 edition

Jacques Fleuriot

Prijs
¥ 16.620,32

Besteld in een afgelegen magazijn

Verwachte levering 26 jun. - 4 jul.
Voeg toe aan uw iMusic-verlanglijst
Eller

Ook verkrijgbaar als:

A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia - Distinguished Dissertations Softcover Reprint of the Original 1st Ed. 2001 edition

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.


160 pages, biography

Media Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 13 september 2012
ISBN13 9781447110415
Uitgevers Springer London Ltd
Pagina's 160
Afmetingen 156 × 234 × 8 mm   ·   231 g
Taal en grammatica Engels