TY - CHAP
T1 - Proof Verification Technology and Elementary Physics
AU - Davis, Ernest
N1 - Publisher Copyright:
© 2019, Springer Science+Business Media, LLC, part of Springer Nature.
PY - 2019
Y1 - 2019
N2 - Software technology that can be used to validate the logical correctness of mathematical proofs has attained a high degree of power and sophistication; extremely difficult and complex mathematical theorems have been verified. This paper discusses the prospects of doing something comparable for elementary physics: what it would mean, the challenges that would have to be overcome; and the potential impact, both practical and theoretical.
AB - Software technology that can be used to validate the logical correctness of mathematical proofs has attained a high degree of power and sophistication; extremely difficult and complex mathematical theorems have been verified. This paper discusses the prospects of doing something comparable for elementary physics: what it would mean, the challenges that would have to be overcome; and the potential impact, both practical and theoretical.
UR - http://www.scopus.com/inward/record.url?scp=85062536898&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85062536898&partnerID=8YFLogxK
U2 - 10.1007/978-1-4939-9051-1_4
DO - 10.1007/978-1-4939-9051-1_4
M3 - Chapter
AN - SCOPUS:85062536898
T3 - Fields Institute Communications
SP - 81
EP - 132
BT - Fields Institute Communications
PB - Springer New York LLC
ER -