Show
76 citations
related to Proof
Show
76 citations
related to Proof as a subject or category
Description Term used during the period 2002-present
Article
John M. Campbell; Paul and Levrie
(2024)
The Bauer–Ramanujan formula: historical analyses and perspectives.
British Journal for the History of Mathematics
(pp. 193-214).
(/isis/citation/CBB225698711/)
Article
Christian Greiffenhagen
(2024)
Checking correctness in mathematical peer review.
Social Studies of Science
(pp. 184-209).
(/isis/citation/CBB618974991/)
Article
Hannah C. Erlwein
(2024)
Ibn Sīnā on proving causality.
Arabic Sciences and Philosophy
(pp. 209-231).
(/isis/citation/CBB518856825/)
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/)
Book
Gabriele Lolli
(2022)
The Meaning of Proofs: Mathematics as Storytelling.
(/isis/citation/CBB293361801/)
Article
Reinhard Siegmund-Schultze
(2022)
Another look at the two Egyptian pyramid volume ‘formulas’ of 1850 BCE.
British Journal for the History of Mathematics
(pp. 171-178).
(/isis/citation/CBB708563462/)
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
Ansten Klev
(2018)
A Road Map of Dedekind’s Theorem 66.
HOPOS
(pp. 241-277).
(/isis/citation/CBB158366327/)
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
Marco Zingano
(2017)
Ways of Proving in Aristotle.
In: Reading Aristotle
(pp. 7-49).
(/isis/citation/CBB121521437/)
Chapter
Edward C. Halper
(2017)
Aristotle’s Scientific Method.
In: Reading Aristotle
(pp. 50-96).
(/isis/citation/CBB181543613/)
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/)
Be the first to comment!