Proof in the time of machines

05/03/2023
by   Andrew Granville, et al.
0

We compare the values associated with (traditional) community based proof verification to those associated with computer proof verification. We propose ways that computer proofs might incorporate successful strategies from human experiences.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/12/2018

Debugging Program Verification Proof Scripts (Tool Paper)

Interactive program verification is characterized by iterations of unfin...
research
03/26/2018

Local verification of global proofs

In this work we study the cost of local and global proofs on distributed...
research
12/13/2019

A Formal Proof of the Irrationality of ζ(3)

This paper presents a complete formal verification of a proof that the e...
research
01/10/2019

Towards platform-independent specification and verification of the standard trigonometry functions

Research project "Platform-independent approach to formal specification ...
research
04/10/2019

Homogeneous length functions on Groups: Intertwined computer & human proofs

We describe a case of an interplay between human and computer proving wh...
research
10/21/2022

A drag-and-drop proof tactic

We explore the features of a user interface where formal proofs can be b...
research
09/01/2016

Verifier Theory and Unverifiability

Despite significant developments in Proof Theory, surprisingly little at...

Please sign up or login with your details

Forgot password? Click here to reset