Proof Verification Technology and Elementary Physics

Research output: Chapter in Book/Report/Conference proceedingChapter

Abstract

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.

Original languageEnglish (US)
Title of host publicationFields Institute Communications
PublisherSpringer New York LLC
Pages81-132
Number of pages52
DOIs
StatePublished - 2019

Publication series

NameFields Institute Communications
Volume82
ISSN (Print)1069-5265

ASJC Scopus subject areas

  • Mathematics(all)

Fingerprint Dive into the research topics of 'Proof Verification Technology and Elementary Physics'. Together they form a unique fingerprint.

  • Cite this

    Davis, E. (2019). Proof Verification Technology and Elementary Physics. In Fields Institute Communications (pp. 81-132). (Fields Institute Communications; Vol. 82). Springer New York LLC. https://doi.org/10.1007/978-1-4939-9051-1_4