Proofs and Refutations
From MaRDI portal
Publication:5256772
DOI10.1017/CBO9781316286425zbMath1333.03002OpenAlexW4244520098WikidataQ56059034 ScholiaQ56059034MaRDI QIDQ5256772
Publication date: 19 June 2015
Full work available at URL: https://doi.org/10.1017/cbo9781316286425
Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Methodology of mathematics (00A35)
Related Items (6)
Towards mathematical AI via a model of the content and process of mathematical question and answer dialogues ⋮ Cauchy’s Residue Sore Thumb ⋮ Truth, Proof, and Reproducibility: There’s No Counter-Attack for the Codeless ⋮ T. S. Kuhn's theories and mathematics: A discussion paper on the 'new historiography' of mathematics ⋮ POSIX file store in Z/Eves: An experiment in the verified software repository ⋮ Cauchy and the infinitely small
This page was built for publication: Proofs and Refutations