相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。RIGOUR AND PROOF
Oliver Tatton-Brown
REVIEW OF SYMBOLIC LOGIC (2023)
NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF
Wilfried Sieg et al.
REVIEW OF SYMBOLIC LOGIC (2021)
MATHEMATICAL INFERENCE AND LOGICAL INFERENCE
Yacin Hamami
REVIEW OF SYMBOLIC LOGIC (2018)
INFORMAL PROOF, FORMAL PROOF, FORMALISM
Alan Weir
REVIEW OF SYMBOLIC LOGIC (2016)
Why the Na⟨ve Derivation Recipe Model Cannot Explain How Mathematicians' Proofs Secure Mathematical KnowledgeaEuro
Brendan Larvor
PHILOSOPHIA MATHEMATICA (2016)
Reductio ad absurdum from a dialogical perspective
Catarina Dutilh Novaes
PHILOSOPHICAL STUDIES (2016)
A Problem with the Dependence of Informal Proofs on Formal Proofs
Fenner Tanswell
PHILOSOPHIA MATHEMATICA (2015)
On Bourbaki's axiomatic system for set theory
Maribel Anacona et al.
SYNTHESE (2014)
The Relationship of Derivations in Artificial Languages to Ordinary Rigorous Mathematical Proof†
Jody Azzouni
PHILOSOPHIA MATHEMATICA (2013)
On Mathematicians' Different Standards When Evaluating Elementary Proofs
Matthew Inglis et al.
TOPICS IN COGNITIVE SCIENCE (2013)
How to think about informal proofs
Brendan Larvor
SYNTHESE (2012)
Informal Proofs and Mathematical Rigour
Marianna Antonutti Marfori
STUDIA LOGICA (2010)
Why Do Informal Proofs Conform to Formal Norms?
Jody Azzouni
FOUNDATIONS OF SCIENCE (2009)
The last mathematician from Hilbert's Gottingen: Saunders Mac Lane as philosopher of mathematics
Colin McLarty
BRITISH JOURNAL FOR THE PHILOSOPHY OF SCIENCE (2007)
Intentional gaps in mathematical proofs
D Fallis
SYNTHESE (2003)