Proof Verification Technology and Elementary Physics

DOI10.1007/978-1-4939-9051-1_4zbMath1454.68162OpenAlexW2912968835MaRDI QIDQ3296311

Ernest Davis

Publication date: 7 July 2020

Published in: Algorithms and Complexity in Mathematics, Epistemology, and Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-1-4939-9051-1_4

Mathematics Subject Classification ID

Physics (00A79) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Uses Software

• Isabelle/HOL
• SPASS
• kepler98
• MathOverflow
• OpenCourseWare

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The scope and limits of simulation in automated reasoning
• How does a box work? A study in the qualitative dynamics of solid objects
• The axiomatic method. With special reference to geometry and physics. Proceedings of an International Symposium held at the University of California, Berkeley, December 26, 1957 -- January 4, 1958
• The kinematics of cutting solid objects
• Solution of the Robbins problem
• Isabelle/HOL. A proof assistant for higher-order logic
• Physics and proof theory
• David Hilbert and the axiomatization of physics (1898--1918). From Grundlagen der Geometrie to Grundlagen der Physik.
• Pouring liquids: a study in commonsense physical reasoning
• Commonsense reasoning about containers using radically incomplete information
• From Boltzmann to Euler: Hilbert's 6th problem revisited
• Formalizing an analytic proof of the prime number theorem
• How to Grow a Mind: Statistics, Structure, and Abstraction
• Struktur der Materie
• Probability Theory
• Mathematics, Substance and Surmise
• A formally verified proof of the prime number theorem
• The Bayesian Treatment of Auxiliary Hypotheses: Reply to Fitelson and Waterman
• A Machine-Checked Proof of the Odd Order Theorem
• Logical Formalizations of Commonsense Reasoning: A Survey
• Geometry Revealed

This page was built for publication: Proof Verification Technology and Elementary Physics