Cargando…
Physics and proof theory
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 view...
| Autor principal: | |
|---|---|
| Formato: | Online Artículo Texto |
| Lenguaje: | English |
| Publicado: |
American Elsevier
2012
|
| Materias: | |
| Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4066961/ https://www.ncbi.nlm.nih.gov/pubmed/24976655 http://dx.doi.org/10.1016/j.amc.2011.06.058 |