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

https://hal.archives-ouvertes.fr/hal-00545462
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

File

PhysicsAndProofTheory_Elsevier...
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00545462, version 1

Collections

Citation

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

Share

Metrics

Record views

290

Files downloads

232