A New Style of Mathematical Proof

06/03/2018
by   William M. Farmer, et al.
0

Mathematical proofs will play a crucial role in building a universal digital mathematics library (UDML). Traditional and formal style proofs do not adequately fulfill all the purposes that mathematical proofs have. We propose a new style of proof that fulfills seven purposes of mathematical proofs. We believe this style of proof is needed to build a highly interconnected UDML.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/06/2023

Logipedia: a multi-system encyclopedia of formal proofs

Libraries of formal proofs are an important part of our mathematical her...
research
09/03/2011

Eliciting implicit assumptions of proofs in the MIZAR Mathematical Library by property omission

When formalizing proofs with interactive theorem provers, it often happe...
research
02/22/2012

Towards an Intelligent Tutor for Mathematical Proofs

Computer-supported learning is an increasingly important form of study s...
research
07/08/2022

Mathematical Proof Between Generations

A proof is one of the most important concepts of mathematics. However, t...
research
08/17/2011

Premise Selection for Mathematics by Corpus Analysis and Kernel Methods

Smart premise selection is essential when using automated reasoning as a...
research
03/11/2020

Animated Logic: Correct Functional Conversion to Conjunctive Normal Form

We present an approach to obtain formally verified implementations of cl...
research
06/13/2020

Modelling High-Level Mathematical Reasoning in Mechanised Declarative Proofs

Mathematical proofs can be mechanised using proof assistants to eliminat...

Please sign up or login with your details

Forgot password? Click here to reset