Concept ID: CBA000116802

Proof

Show 71 citations related to Proof
Show 71 citations related to Proof as a subject or category


Description Term used during the period 2002-present

Permalink
data.isiscb.org/isis/authority/CBA000116802
Publications timeline | Click to expand
Updated timeline is loading. Please wait. The server may be processing several jobs...
Related places (List view)

Related Citations

Article Favio Ezequiel Miranda Perea; Lourdes del Carmen González Huesca (2023)
On Conceptual changes in Computer Assisted Proofs. Almagest (pp. 222-245). (/isis/citation/CBB686392053/) unapi

Book Gabriele Lolli (2022)
The Meaning of Proofs: Mathematics as Storytelling. (/isis/citation/CBB293361801/) unapi

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/) unapi

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/) unapi

Article Palle Yourgrau (2020)
Proof vs Provability: On Brouwer’s Time Problem. History and Philosophy of Logic (pp. 140-153). (/isis/citation/CBB479319966/) unapi

Article Marwan Rashed (2020)
Abū Hāšim Al-Ǧubbāʾī, algèbre et inférence. Arabic Sciences and Philosophy (pp. 191-228). (/isis/citation/CBB164105590/) unapi

Article Rachel Boddy (2019)
Frege’s Unification. History and Philosophy of Logic (pp. 135-151). (/isis/citation/CBB550734458/) unapi

Book Philip Ording (2019)
99 Variations on a Proof. (/isis/citation/CBB176394056/) unapi

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/) unapi

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/) unapi

Chapter Edward C. Halper (2017)
Aristotle’s Scientific Method. In: Reading Aristotle (pp. 50-96). (/isis/citation/CBB181543613/) unapi

Chapter Marco Zingano (2017)
Ways of Proving in Aristotle. In: Reading Aristotle (pp. 7-49). (/isis/citation/CBB121521437/) unapi

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/) unapi

Book John P. Burgess (2015)
Rigor and Structure. (/isis/citation/CBB621282384/) unapi

Article Heukelom, Floris (2015)
A History of the Allais Paradox. British Journal for the History of Science (pp. 147-169). (/isis/citation/CBB001202248/) unapi

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/) unapi

Article Eder, Günther (2013)
Remarks on Independence Proofs and Indirect Reference. History and Philosophy of Logic (pp. 68-78). (/isis/citation/CBB001212142/) unapi

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/) unapi

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/) unapi

Article Abeles, Francine F. (2012)
Toward A Visual Proof System: Lewis Carroll's Method of Trees. Logica Universalis (p. 521). (/isis/citation/CBB001214122/) unapi

Comments

Be the first to comment!

{{ comment.created_by.username }} on {{ comment.created_on | date:'medium' }}

Log in or register to comment