hal-00545462, version 1
Physics and Proof Theory
International Workshop on Physics and Computation (2010)
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.
- 1:
- Université de Lorraine – CNRS : UMR7503 – INRIA
- Domain : Mathematics/Logic
- Keywords : Physics – Philosophy of Science – Proof Theory
- hal-00545462, version 1
- http://hal.archives-ouvertes.fr/hal-00545462
- oai:hal.archives-ouvertes.fr:hal-00545462
- From:
- Submitted on: Friday, 10 December 2010 21:55:11
- Updated on: Saturday, 11 December 2010 11:49:53
Associated documents
Export