Open Access. Powered by Scholars. Published by Universities.®
Logic and Foundations of Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
- Discipline
- Institution
- Publication Type
Articles 1 - 2 of 2
Full-Text Articles in Logic and Foundations of Mathematics
Reading Between The Lines: Verifying Mathematical Language, Tristan Johnson
Reading Between The Lines: Verifying Mathematical Language, Tristan Johnson
Honors Theses
A great deal of work has been done on automatically generating automated proofs of formal statements. However, these systems tend to focus on logic-oriented statements and tactics as well as generating proofs in formal language. This project examines proofs written in natural language under a more general scope of mathematics. Furthermore, rather than attempting to generate natural language proofs for the purpose of solving problems, we automatically verify human-written proofs in natural language. To accomplish this, elements of discourse parsing, semantic interpretation, and application of an automated theorem prover are implemented.
Explanatory Proofs And Beautiful Proofs, Marc Lange
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 …