Funder
Vrije Universiteit Brussel
Publisher
Springer Science and Business Media LLC
Subject
General Social Sciences,Philosophy
Reference50 articles.
1. Auslander, J. (2008). On the roles of proof in mathematics. In B. Gold & R. Simons (Eds.), Proof and other Enigmas (pp. 61–77). Washington, DC: Mathematical Association of America.
2. Avigad, J. (2008). Computers in mathematical inquiry. In P. Mancosu (Ed.), The philosophy of mathematical practice (pp. 302–316). Oxford: Oxford University Press.
3. Avigad, J., Dean, E., & Mumma, J. (2009). A formal system For Euclid’s elements. The Review of Symbolic Logic, 2, 700–768. doi:
10.1017/S1755020309990098
.
4. Azzouni, J. (2004). The derivation-indicator view of mathematical practice. Philosophia Mathematica (III), 12(2), 81–105.
5. Azzouni, J. (2009). Why do informal proofs conform to formal norms? Foundations of Science, 14, 9–26.
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献