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 - Jan 1 2019

Publication series

NameFields Institute Communications
Volume82
ISSN (Print)1069-5265

Fingerprint

Correctness
Physics
Software
Theorem

ASJC Scopus subject areas

  • Mathematics(all)

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

Proof Verification Technology and Elementary Physics. / Davis, Ernest.

Fields Institute Communications. Springer New York LLC, 2019. p. 81-132 (Fields Institute Communications; Vol. 82).

Research output: Chapter in Book/Report/Conference proceedingChapter

Davis, E 2019, Proof Verification Technology and Elementary Physics. in Fields Institute Communications. Fields Institute Communications, vol. 82, Springer New York LLC, pp. 81-132. https://doi.org/10.1007/978-1-4939-9051-1_4
Davis E. Proof Verification Technology and Elementary Physics. In Fields Institute Communications. Springer New York LLC. 2019. p. 81-132. (Fields Institute Communications). https://doi.org/10.1007/978-1-4939-9051-1_4
Davis, Ernest. / Proof Verification Technology and Elementary Physics. Fields Institute Communications. Springer New York LLC, 2019. pp. 81-132 (Fields Institute Communications).
@inbook{4d923dd3045a48a385dcb5f1ac66c588,
title = "Proof Verification Technology and Elementary Physics",
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.",
author = "Ernest Davis",
year = "2019",
month = "1",
day = "1",
doi = "10.1007/978-1-4939-9051-1_4",
language = "English (US)",
series = "Fields Institute Communications",
publisher = "Springer New York LLC",
pages = "81--132",
booktitle = "Fields Institute Communications",
address = "United States",

}

TY - CHAP

T1 - Proof Verification Technology and Elementary Physics

AU - Davis, Ernest

PY - 2019/1/1

Y1 - 2019/1/1

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 -