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 language||English (US)|
|Title of host publication||Fields Institute Communications|
|Publisher||Springer New York LLC|
|Number of pages||52|
|State||Published - Jan 1 2019|
|Name||Fields Institute Communications|
ASJC Scopus subject areas