Publications in Scientific Journals:
B. Woltzenlogel-Paleo:
"Physics and Proof Theory";
Applied Mathematics and Computation,
0096-3003
(2011).
English 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 prominent role in the formalization, many of the drawbacks can be solved and many of the opposing views are naturally conciliated. Moreover, this approach allows, by means of proof theory, to open new conceptual bridges between the disciplines of Physics and Computer Science.
German 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 prominent role in the formalization, many of the drawbacks can be solved and many of the opposing views are naturally conciliated. Moreover, this approach allows, by means of proof theory, to open new conceptual bridges between the disciplines of Physics and Computer Science.
Keywords:
Physics, Proof Theory, Axiomatization, Foundations
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1016/j.amc.2011.06.058
Electronic version of the publication:
http://publik.tuwien.ac.at/files/PubDat_202147.pdf
Created from the Publication Database of the Vienna University of Technology.