On the status of proofs by contradiction in the seventeenth century

DOI10.1007/BF00540091zbMath0739.01011MaRDI QIDQ1182171

Paolo Mancosu

Publication date: 28 June 1992

Published in: Synthese (Search for Journal in Brave)

zbMATH Keywords

geometryArchimedesintuitionismplatonismCavalieriGuldinA. ArnauldI. BarrowJ. WallisJoseph SalingerP. Nicole

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) History of mathematics in the 17th century (01A45)

Related Items (3)

The classical model of science: a millennia-old model of scientific rationality ⋮ Applying mathematics to empirical sciences: flashback to a puzzling disciplinary interaction ⋮ Das Problem der apagogischen Beweise in BolzanosBeyträgenund seinerWissenschaftslehre

Cites Work

• Cavalieri's method of indivisibles
• The method of analysis. Its geometrical origin and its general significance
• Aristotelian logic and euclidean mathematics: Seventeenth-century developments of the quaestio de certitudine mathematicarum
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On the status of proofs by contradiction in the seventeenth century