Physics and proof theory
Identifieur interne : 001D10 ( Main/Exploration ); précédent : 001D09; suivant : 001D11Physics and proof theory
Auteurs : Bruno Woltzenlogel PaleoSource :
- Applied Mathematics and Computation [ 0096-3003 ] ; 2012.
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.
Url:
DOI: 10.1016/j.amc.2011.06.058
PubMed: 24976655
PubMed Central: 4066961
Affiliations:
Links toward previous steps (curation, corpus...)
- to stream Pmc, to step Corpus: 000074
- to stream Pmc, to step Curation: 000074
- to stream Pmc, to step Checkpoint: 000049
- to stream Ncbi, to step Merge: 000167
- to stream Ncbi, to step Curation: 000162
- to stream Ncbi, to step Checkpoint: 000162
- to stream Main, to step Merge: 001D28
- to stream Main, to step Curation: 001D10
Le document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en">Physics and proof theory</title><author><name sortKey="Paleo, Bruno Woltzenlogel" sort="Paleo, Bruno Woltzenlogel" uniqKey="Paleo B" first="Bruno Woltzenlogel" last="Paleo">Bruno Woltzenlogel Paleo</name></author></titleStmt><publicationStmt><idno type="wicri:source">PMC</idno><idno type="pmid">24976655</idno><idno type="pmc">4066961</idno><idno type="url">http://www.ncbi.nlm.nih.gov/pmc/articles/PMC4066961</idno><idno type="RBID">PMC:4066961</idno><idno type="doi">10.1016/j.amc.2011.06.058</idno><date when="2012">2012</date><idno type="wicri:Area/Pmc/Corpus">000074</idno><idno type="wicri:explorRef" wicri:stream="Pmc" wicri:step="Corpus" wicri:corpus="PMC">000074</idno><idno type="wicri:Area/Pmc/Curation">000074</idno><idno type="wicri:explorRef" wicri:stream="Pmc" wicri:step="Curation">000074</idno><idno type="wicri:Area/Pmc/Checkpoint">000049</idno><idno type="wicri:explorRef" wicri:stream="Pmc" wicri:step="Checkpoint">000049</idno><idno type="wicri:Area/Ncbi/Merge">000167</idno><idno type="wicri:Area/Ncbi/Curation">000162</idno><idno type="wicri:Area/Ncbi/Checkpoint">000162</idno><idno type="wicri:doubleKey">0096-3003:2012:Paleo B:physics:and:proof</idno><idno type="wicri:Area/Main/Merge">001D28</idno><idno type="wicri:Area/Main/Curation">001D10</idno><idno type="wicri:Area/Main/Exploration">001D10</idno></publicationStmt><sourceDesc><biblStruct><analytic><title xml:lang="en" level="a" type="main">Physics and proof theory</title><author><name sortKey="Paleo, Bruno Woltzenlogel" sort="Paleo, Bruno Woltzenlogel" uniqKey="Paleo B" first="Bruno Woltzenlogel" last="Paleo">Bruno Woltzenlogel Paleo</name></author></analytic><series><title level="j">Applied Mathematics and Computation</title><idno type="ISSN">0096-3003</idno><imprint><date when="2012">2012</date></imprint></series></biblStruct></sourceDesc></fileDesc><profileDesc><textClass></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="en"><p>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.</p></div></front><back><div1 type="bibliography"><listBibl><biblStruct><analytic><author><name sortKey="Aerts, Diederik" uniqKey="Aerts D">Diederik Aerts</name></author></analytic></biblStruct><biblStruct><analytic><author><name sortKey="Andreka, Hajnal" uniqKey="Andreka H">Hajnal Andréka</name></author><author><name sortKey="Madarasz, Judit X" uniqKey="Madarasz J">Judit X. Madarász</name></author><author><name sortKey="Nemeti, Istvan" uniqKey="Nemeti I">István Németi</name></author><author><name sortKey="Szekely, Gergely" uniqKey="Szekely G">Gergely Székely</name></author></analytic></biblStruct><biblStruct><analytic><author><name sortKey="Baaz, Matthias" uniqKey="Baaz M">Matthias Baaz</name></author><author><name sortKey="Hetzl, Stefan" uniqKey="Hetzl S">Stefan Hetzl</name></author><author><name sortKey="Leitsch, Alexander" uniqKey="Leitsch A">Alexander Leitsch</name></author><author><name sortKey="Richter, Clemens" uniqKey="Richter C">Clemens Richter</name></author><author><name sortKey="Spohr, Hendrik" uniqKey="Spohr H">Hendrik Spohr</name></author></analytic></biblStruct><biblStruct><analytic><author><name sortKey="Baaz, Matthias" uniqKey="Baaz M">Matthias Baaz</name></author><author><name sortKey="Leitsch, Alexander" uniqKey="Leitsch A">Alexander Leitsch</name></author></analytic></biblStruct><biblStruct><analytic><author><name sortKey="Baaz, Matthias" uniqKey="Baaz M">Matthias Baaz</name></author><author><name sortKey="Richard, Zach" uniqKey="Richard Z">Zach Richard</name></author></analytic></biblStruct><biblStruct></biblStruct><biblStruct></biblStruct><biblStruct></biblStruct><biblStruct></biblStruct><biblStruct><analytic><author><name sortKey="Finger, Marcelo" uniqKey="Finger M">Marcelo Finger</name></author><author><name sortKey="Gabbay, Dov M" uniqKey="Gabbay D">Dov M. Gabbay</name></author></analytic></biblStruct><biblStruct></biblStruct><biblStruct></biblStruct><biblStruct></biblStruct><biblStruct></biblStruct><biblStruct><analytic><author><name sortKey="Miller, Dale" uniqKey="Miller D">Dale Miller</name></author><author><name sortKey="Nigam, Vivek" uniqKey="Nigam V">Vivek Nigam</name></author></analytic></biblStruct><biblStruct><analytic><author><name sortKey="Paleo, Bruno Woltzenlogel" uniqKey="Paleo B">Bruno Woltzenlogel Paleo</name></author></analytic></biblStruct><biblStruct><analytic><author><name sortKey="Pudlak, Pavel" uniqKey="Pudlak P">Pavel Pudlak</name></author></analytic></biblStruct><biblStruct><analytic><author><name sortKey="Sant Nna, Adonai S" uniqKey="Sant Nna A">Adonai S. Sant’Anna</name></author></analytic></biblStruct><biblStruct><analytic><author><name sortKey="Shapiro, Ehud" uniqKey="Shapiro E">Ehud Shapiro</name></author><author><name sortKey="Sterling, Leon" uniqKey="Sterling L">Leon Sterling</name></author></analytic></biblStruct><biblStruct><analytic><author><name sortKey="Suppe, Frederick" uniqKey="Suppe F">Frederick Suppe</name></author></analytic></biblStruct><biblStruct><analytic><author><name sortKey="Suppes, Patrick" uniqKey="Suppes P">Patrick Suppes</name></author></analytic></biblStruct><biblStruct></biblStruct><biblStruct></biblStruct><biblStruct><analytic><author><name sortKey="Paleo, Bruno Woltzenlogel" uniqKey="Paleo B">Bruno Woltzenlogel Paleo</name></author></analytic></biblStruct></listBibl></div1></back></TEI><affiliations><list></list><tree><noCountry><name sortKey="Paleo, Bruno Woltzenlogel" sort="Paleo, Bruno Woltzenlogel" uniqKey="Paleo B" first="Bruno Woltzenlogel" last="Paleo">Bruno Woltzenlogel Paleo</name></noCountry></tree></affiliations></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 001D10 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 001D10 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Main
|étape= Exploration
|type= RBID
|clé= PMC:4066961
|texte= Physics and proof theory
}}
Pour générer des pages wiki
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/RBID.i -Sk "pubmed:24976655" \
| HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd \
| NlmPubMed2Wicri -a InforLorV4
| This area was generated with Dilib version V0.6.33. |  |