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

106,99 €*

Auf Wunsch am nächsten Werktag in der Buchhandlung abholbereit Dieser Artikel ist momentan nicht vor Ort verfügbar, kann aber bestellt werden.
Wählen Sie einfach als Versandart "Abholung" aus. Im Falle einer Bestellung bis 16:00 ist der Artikel ab dem nächsten Werktag für Sie abholbereit. Bei Versand Lieferzeit 3-5 Tage Dieser Artikel ist für eine Bestellung per Versand verfügbar, die Lieferzeit beträgt 3-5 Tage .

ISBN/EAN: 9781852334666

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.

Autor:	Fleuriot, Jacques
EAN:	9781852334666
Sprache:	Englisch
Seitenzahl:	160
Produktart:	Gebunden
Veröffentlichungsdatum:	08.06.2001
Schlagworte:	Analysis Begründung / Beweis Beweis Calculus Geometrie Logik Mathematik / Logik Newton, Isaac Philosophie / Logik Raumlehre

0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.

Anmelden

Ihre E-Mail-Adresse

Ihr Passwort

Bewertungen nur in der aktuellen Sprache anzeigen.

Keine Bewertungen gefunden. Gehen Sie voran und teilen Sie Ihre Erkenntnisse mit anderen.

Möchten Sie lieber vor Ort einkaufen?

Haben Sie weiterführende Fragen zu diesem Buch oder anderen Produkten? Oder möchten Sie einfach doch lieber in der Buchhandlung stöbern? Wir sind gern persönlich für Sie da und beraten Sie auch telefonisch.

Buchhandlung Nettesheim GmbH
Hauptstraße 17
42349 Wuppertal
Telefon: 0202/472870

Mo – Fr09:30 – 18:00 UhrSa09:00 – 13:00 Uhr