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