Physics and Proof Theory

Bruno Woltzenlogel Paleo 1
1 VERIDIS - VERIfication pour les systèmes DIStribués
Inria Nancy - Grand Est, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications : UMR7503
Abstract : Axiomatization of Physics (and Science in general) has many drawbacks that are correctly criticized by opposing philosophical views of Science. This paper shows that, by giving formal proofs a more promi- nent role in the formalization, many of the drawbacks can be solved and many of the opposing views are naturally conciliated. Moreover, this ap- proach allows, by means of Proof Theory, to open new conceptual bridges between the disciplines of Physics and Computer Science.
Document type :
Conference papers
Liste complète des métadonnées

Cited literature [23 references]  Display  Hide  Download
Contributor : Bruno Woltzenlogel Paleo <>
Submitted on : Friday, December 10, 2010 - 9:55:11 PM
Last modification on : Thursday, February 21, 2019 - 2:02:02 PM
Document(s) archivé(s) le : Monday, November 5, 2012 - 1:10:25 PM


Files produced by the author(s)


  • HAL Id : hal-00545462, version 1



Bruno Woltzenlogel Paleo. Physics and Proof Theory. International Workshop on Physics and Computation, Aug 2010, Luxor, Egypt. ⟨hal-00545462⟩



Record views


Files downloads