Physics and Proof Theory

Bruno Woltzenlogel Paleo 1
1 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
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.
Type de document :
Communication dans un congrès
International Workshop on Physics and Computation, Aug 2010, Luxor, Egypt
Liste complète des métadonnées

Littérature citée [23 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00545462
Contributeur : Bruno Woltzenlogel Paleo <>
Soumis le : vendredi 10 décembre 2010 - 21:55:11
Dernière modification le : jeudi 11 janvier 2018 - 06:23:13
Document(s) archivé(s) le : lundi 5 novembre 2012 - 13:10:25

Fichier

PhysicsAndProofTheory_Elsevier...
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

278

Téléchargements de fichiers

202