Ernest Davis: Automating the foundations of physics, starting from the experiments

In mathematics, large parts of the project initiated by Whitehead and Russell have been accomplished. Using theorem-verification technology, online libraries of mathematical proofs have been assembled which go all the way from foundational axioms to very deep theorems. Suppose that you want to do the same thing for physics; and suppose that you want the foundational point to be, not the fundamental laws of physics as we have determined them, but the experiments and observations from which the laws are derived. What would such a derivation look like? I will discuss some aspects of how such a project could reasonably be formulated, and what would be involved in it. Computationally Assisted Mathematical Discovery and Experimental Mathematics: ACMES 2 12-15 May 2016, London, Ontario, Canada Ernest Davis, Department of Computer Science, New York University May 14, 2016 Visit the Rotman website for more information on applications, events, project descriptions and openings. http://www.rot