A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia With Application to Newton's Principia

Taal: Engels
A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton's Principia
  • Engels
  • Hardcover
  • 9781852334666
  • Druk: 2001 ed.
  • juni 2001
  • 140 pagina's
Alle productspecificaties

Samenvatting

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.

Productspecificaties

Inhoud

Taal
Engels
Bindwijze
Hardcover
Druk
2001 ed.
Verschijningsdatum
2001-06-08
Aantal pagina's
140 pagina's
Illustraties
Met illustraties

Betrokkenen

Auteur
Fleuriot, Jacques J. Fleuriot
Co-auteur
J. Fleuriot
Uitgever
Springer London

EAN

EAN
9781852334666

Overige kenmerken

Extra groot lettertype
Nee
NUR code
958
Oorspronkelijke releasedatum
2001-06-08
Subtitel
With Application to Newton's Principia
Thema Subject Code
PBM

Je vindt dit artikel in

Categorieën
Taal
Engels
Boek, ebook of luisterboek?
Boek
Studieboek of algemeen
Algemene boeken
Nog geen reviews
145 99
Verwacht over 7 weken Tooltip
Verkoop door bol.com
  • Gratis verzending
  • 30 dagen bedenktijd en gratis retourneren
  • Ophalen bij een bol.com afhaalpunt mogelijk
  • Dag en nacht klantenservice