Publisher
Springer Science and Business Media LLC
Subject
Philosophy,Mathematics (miscellaneous)
Reference37 articles.
1. Alama J, Kahle R (2013) Checking proofs. In: Aberdein A, Dove IJ (eds) The argument of mathematics, volume 30 of logic, epistemology and the unity of science. Springer, Berlin, pp 147–170
2. Aschbacher M (2004) The status of the classification of the finite simple groups. Not Am Math Soc 51(7):736–740
3. Aschbacher M (2005) Highly complex proofs and implications of such proofs. Philos Trans R Soc A 363:2401–2406
4. Avigad J (2006) Mathematical method and proof. Synthese 153:105–149
5. Avigad J, Harrison J (2014) Formally verified mathematics. Commun ACM 57(4):66–75
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Reshaping the metaphor of proof;Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences;2019-01-21
2. Discussing Hilbert's 24th problem;Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences;2019-01-21