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.
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 : mercredi 20 février 2019 - 01:15:09
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

284

Téléchargements de fichiers

218