Show
70 citations
related to Proof
Show
70 citations
related to Proof as a subject or category
Description Term used during the period 2002-present
Book
Gabriele Lolli
(2022)
The Meaning of Proofs: Mathematics as Storytelling.
(/isis/citation/CBB293361801/)
Article
Andrea Del Centina; Alessandra Fiocca
(2021)
The chords theorem recalled to life at the turn of the eighteenth century.
Historia Mathematica
(pp. 6-39).
(/isis/citation/CBB673858384/)
Article
Thierry Coquand; Stefan Neuwirth
(2020)
Lorenzen's Proof of Consistency for Elementary Number Theory.
History and Philosophy of Logic
(pp. 281-290).
(/isis/citation/CBB167711373/)
Article
Palle Yourgrau
(2020)
Proof vs Provability: On Brouwer’s Time Problem.
History and Philosophy of Logic
(pp. 140-153).
(/isis/citation/CBB479319966/)
Article
Marwan Rashed
(2020)
Abū Hāšim Al-Ǧubbāʾī, algèbre et inférence.
Arabic Sciences and Philosophy
(pp. 191-228).
(/isis/citation/CBB164105590/)
Article
Rachel Boddy
(2019)
Frege’s Unification.
History and Philosophy of Logic
(pp. 135-151).
(/isis/citation/CBB550734458/)
Book
Philip Ording
(2019)
99 Variations on a Proof.
(/isis/citation/CBB176394056/)
Article
Karine Chemla
(2018)
The Proof Is in the Diagram: Liu Yi and the Graphical Writing of Algebraic Equations in Eleventh-Century China.
Endeavour: Review of the Progress of Science
(pp. 60-77).
(/isis/citation/CBB786651004/)
Article
Koichi Mikami
(June 2018)
The Case of Inferred Doability: An Analysis of the Socio-institutional Background of the STAP Cell Scandal.
East Asian Science, Technology and Society: An International Journal
(pp. 123-142).
(/isis/citation/CBB536252196/)
Chapter
Edward C. Halper
(2017)
Aristotle’s Scientific Method.
In: Reading Aristotle
(pp. 50-96).
(/isis/citation/CBB181543613/)
Chapter
Marco Zingano
(2017)
Ways of Proving in Aristotle.
In: Reading Aristotle
(pp. 7-49).
(/isis/citation/CBB121521437/)
Article
Timm Lampert
(2017)
Underdetermination and Provability: A Reply to Olaf Müller.
British Journal for the History of Philosophy
(pp. 389-400).
(/isis/citation/CBB594548710/)
Book
John P. Burgess
(2015)
Rigor and Structure.
(/isis/citation/CBB621282384/)
Article
Heukelom, Floris
(2015)
A History of the Allais Paradox.
British Journal for the History of Science
(pp. 147-169).
(/isis/citation/CBB001202248/)
Article
Nauenberg, Michael
(2014)
Orbital Motion and Force in Newton's Principia; the Equivalence of the Descriptions in Propositions 1 and 6.
Archive for History of Exact Sciences
(p. 179).
(/isis/citation/CBB001321045/)
Article
Eder, Günther
(2013)
Remarks on Independence Proofs and Indirect Reference.
History and Philosophy of Logic
(pp. 68-78).
(/isis/citation/CBB001212142/)
Article
Cohoe, Caleb
(2013)
There must be a First: Why Thomas Aquinas Rejects Infinite, Essentially Ordered, Causal Series.
British Journal for the History of Philosophy
(p. 838).
(/isis/citation/CBB001201144/)
Article
Smadja, Ivahn
(2012)
Local Axioms in Disguise: Hilbert on Minkowski Diagrams.
Synthese
(pp. 315-370).
(/isis/citation/CBB001211483/)
Chapter
Saito, Ken; Sidoli, Nathan
(2012)
Diagrams and Arguments in Ancient Greek Mathematics: Lessons Drawn from Comparisons of the Manuscript Diagrams with Those in Modern Critical Editions.
In: The History of Mathematical Proof in Ancient Traditions
(p. 135).
(/isis/citation/CBB001320140/)
Article
Abeles, Francine F.
(2012)
Toward A Visual Proof System: Lewis Carroll's Method of Trees.
Logica Universalis
(p. 521).
(/isis/citation/CBB001214122/)
Be the first to comment!