What is a proof? What should it be?
History and Overview
2019-04-15 v1 Logic
Abstract
Mathematical proofs should be paired with formal proofs, whenever feasible.
Cite
@article{arxiv.1904.06332,
title = {What is a proof? What should it be?},
author = {Christoph Benzmüller},
journal= {arXiv preprint arXiv:1904.06332},
year = {2019}
}
Comments
4 pages