Physics and Proof Theory

Bruno Woltzenlogel Paleo (1)

1 VERIDIS - VERIfication pour les systèmes DIStribués

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.

Mots clés: Physics; Philosophy of Science; Proof Theory

Domaines: Logique [math.LO]

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