相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。A Formalist Philosophy of Mathematics Part I: Arithmetic
Michael Gabbay
STUDIA LOGICA (2010)
Confronting Ideals of Proof with the Ways of Proving of the Research Mathematician
Norma B. Goethe et al.
STUDIA LOGICA (2010)
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 mathematical significance of proof theory
A Macintyre
PHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES (2005)