On the status of proofs by contradiction in the seventeenth century (Q1182171): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / reviewed by | |||
Property / reviewed by: J. J. Burckhardt / rank | |||
Property / reviewed by | |||
Property / reviewed by: J. J. Burckhardt / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cavalieri's method of indivisibles / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3679172 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5586174 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4133603 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5680064 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3213148 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4126274 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4267256 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The method of analysis. Its geometrical origin and its general significance / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5536615 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Aristotelian logic and euclidean mathematics: Seventeenth-century developments of the quaestio de certitudine mathematicarum / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5636801 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 14:54, 15 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the status of proofs by contradiction in the seventeenth century |
scientific article |
Statements
On the status of proofs by contradiction in the seventeenth century (English)
0 references
28 June 1992
0 references
Verf. geht der Frage nach, ob in der Mathematik des 17. Jahrhunderts die indirekten Beweise dieselbe Überzeugungskraft hatten wie die direkten. 1. Die Beweise von Archimedes (z.B. für das Volumen der Kugel) sind indirekt und sein Kommentator David Rivaldus verteidigt die Methode gegen Angriffe von Joseph Scaliger. Mathematik, Logik und Erkenntnistheorie treffen sich bei der Diskussion. 2. Darlegung des Verhältnisses von Cavalieri zu Guldin und dessen mangelhafte Begründung seiner bekannten Regeln. Ausführliche Darlegung von Beweisen des Archimedes, die indirekt verlaufen. Verf. zeigt, daß ein Gegensatz von Beweismethoden und Erfindungsmethoden vorliegt. 3. Darlegung von I. Barrows Skeptizismus: Quaestio de certidudine mathematicorum. Ausführliche Besprechung von J. Wallis' Mathesis Universalis mit dem Ergebnis, daß beiden Beweisarten dieselbe Überzeugungskraft zukommt. 4. J. Vuillemin bemerkte (1981), daß den Ansichten von Epikur, Descartes und Kant intuitionistische Elemente innewohnen, wenn man deren Abneigung zu indirekten Beweisen beachtet. Hiermit kommt Verf. zur Logique de Port Royal (1662) von A. Arnauld und P. Nicole und deren Beweismethoden a priori und a posteriori. Gegensatz von Gewißheit und Evidenz, bzw. von Überzeugung und Einsicht bei Beweisen. Ein Versuch von Arnauld, eine alternative Geometrie (1667) aufzubauen, blieb in den Anfängen stecken und wurde bereits von Pierre Paradies (1671) kritisiert. 5. Zusammenfassend wird der Intuitionismus dem Platonismus gegenübergestellt und an Beweisen von Archimedes und Euklid aufgezeigt. Je etwa 50 Fußnoten und Literaturangaben ergänzen die Abhandlung.
0 references
geometry
0 references
intuitionism
0 references
platonism
0 references
Archimedes
0 references
Joseph Salinger
0 references
Cavalieri
0 references
Guldin
0 references
I. Barrow
0 references
J. Wallis
0 references
A. Arnauld
0 references
P. Nicole
0 references