Reliability of mathematical inference.

Of all the demands that mathematics imposes on its practitioners, one of the most fundamental is that proofs ought to be correct. It has been common since the turn of the twentieth century to take correctness to be underwritten by the existence of formal derivations in a suitable axiomatic foundatio...

Full description

Bibliographic Details

Published in:	Synthese Vol. 198; no. 8; pp. 7377 - 7400
Main Author:	Avigad, Jeremy
Format:	Article
Published:	Springer Nature Aug2021
Subjects:	Mathematical proofs Twentieth century Accounting standards Evidence
Online Access:	View this record in EBSCOhost