Mathematical Proof Between Generations

07/08/2022
by   Jonas Bayer, et al.
0

A proof is one of the most important concepts of mathematics. However, there is a striking difference between how a proof is defined in theory and how it is used in practice. This puts the unique status of mathematics as exact science into peril. Now may be the time to reconcile theory and practice, i.e. precision and intuition, through the advent of computer proof assistants. For the most time this has been a topic for experts in specialized communities. However, mathematical proofs have become increasingly sophisticated, stretching the boundaries of what is humanly comprehensible, so that leading mathematicians have asked for formal verification of their proofs. At the same time, major theorems in mathematics have recently been computer-verified by people from outside of these communities, even by beginning students. This article investigates the gap between the different definitions of a proof and possibilities to build bridges. It is written as a polemic or a collage by different members of the communities in mathematics and computer science at different stages of their careers, challenging well-known preconceptions and exploring new perspectives.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
06/03/2018

A New Style of Mathematical Proof

Mathematical proofs will play a crucial role in building a universal dig...
research
10/27/2019

Formalising perfectoid spaces

Perfectoid spaces are sophisticated objects in arithmetic geometry intro...
research
09/14/2020

A Finitist's Manifesto: Do we need to Reformulate the Foundations of Mathematics?

There is a problem with the foundations of classical mathematics, and po...
research
08/22/2023

Algorithm-assisted discovery of an intrinsic order among mathematical constants

In recent decades, a growing number of discoveries in fields of mathemat...
research
09/01/2016

Verifier Theory and Unverifiability

Despite significant developments in Proof Theory, surprisingly little at...
research
03/31/2020

Explosive Proofs of Mathematical Truths

Mathematical proofs are both paradigms of certainty and some of the most...
research
04/13/2022

A Multidimensional Artistic Approach to Enhance Understanding of Julia Sets through Computer Programming

This article proposes an artistic approach to increase and enrich the un...

Please sign up or login with your details

Forgot password? Click here to reset