Open Access. Powered by Scholars. Published by Universities.®

Logic and Foundations of Mathematics Commons

Open Access. Powered by Scholars. Published by Universities.®

Articles 1 - 4 of 4

Full-Text Articles in Logic and Foundations of Mathematics

Vol 7 No 2 Contents Page Jul 2016

Vol 7 No 2 Contents Page

Comparative Philosophy

No abstract provided.


Vol 7 No 2 Information Page Jul 2016

Vol 7 No 2 Information Page

Comparative Philosophy

No abstract provided.


Vol 7 No 2 Cover Page Jul 2016

Vol 7 No 2 Cover Page

Comparative Philosophy

No abstract provided.


Explanatory Proofs And Beautiful Proofs, Marc Lange Jan 2016

Explanatory Proofs And Beautiful Proofs, Marc Lange

Journal of Humanistic Mathematics

This paper concerns the relation between a proof’s beauty and its explanatory power – that is, its capacity to go beyond proving a given theorem to explaining why that theorem holds. Explanatory power and beauty are among the many virtues that mathematicians value and seek in various proofs, and it is important to come to a better understanding of the relations among these virtues. Mathematical practice has long recognized that certain proofs but not others have explanatory power, and this paper offers an account of what makes a proof explanatory. This account is motivated by a wide range of examples …