Physics and proof theory
Identifieur interne : 000074 ( Pmc/Curation ); précédent : 000073; suivant : 000075Physics 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
Links toward previous steps (curation, corpus...)
- to stream Pmc, to step Corpus: Pour aller vers cette notice dans l'étape Curation :000074
Links to Exploration step
PMC:4066961Le 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>
</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>
<pmc article-type="research-article"><pmc-dir>properties open_access</pmc-dir>
<front><journal-meta><journal-id journal-id-type="nlm-ta">Appl Math Comput</journal-id>
<journal-id journal-id-type="iso-abbrev">Appl Math Comput</journal-id>
<journal-title-group><journal-title>Applied Mathematics and Computation</journal-title>
</journal-title-group>
<issn pub-type="ppub">0096-3003</issn>
<publisher><publisher-name>American Elsevier</publisher-name>
</publisher>
</journal-meta>
<article-meta><article-id pub-id-type="pmid">24976655</article-id>
<article-id pub-id-type="pmc">4066961</article-id>
<article-id pub-id-type="publisher-id">S0096-3003(11)00903-9</article-id>
<article-id pub-id-type="doi">10.1016/j.amc.2011.06.058</article-id>
<article-categories><subj-group subj-group-type="heading"><subject>Article</subject>
</subj-group>
</article-categories>
<title-group><article-title>Physics and proof theory</article-title>
</title-group>
<contrib-group><contrib contrib-type="author"><name><surname>Paleo</surname>
<given-names>Bruno Woltzenlogel</given-names>
</name>
<email>Bruno.WoltzenlogelPaleo@loria.fr</email>
<email>bruno@logic.at</email>
<xref rid="cor1" ref-type="corresp">⁎</xref>
</contrib>
</contrib-group>
<aff>Institut für Computersprachen, Vienna University of Technology, Austria</aff>
<aff>INRIA Nancy, Equipe VeriDis, Bâtiment B 615, rue du Jardin Botanique F-54602 Villers-lés-Nancy, France</aff>
<author-notes><corresp id="cor1"><label>⁎</label>
Address: Institut für Computersprachen, Vienna University of Technology, Austria. <email>Bruno.WoltzenlogelPaleo@loria.fr</email>
<email>bruno@logic.at</email>
</corresp>
</author-notes>
<pub-date pub-type="pmc-release"><day>15</day>
<month>9</month>
<year>2012</year>
</pub-date>
<pmc-comment> PMC Release delay is 0 months and 0 days and was based on .</pmc-comment>
<pub-date pub-type="ppub"><day>15</day>
<month>9</month>
<year>2012</year>
</pub-date>
<volume>219</volume>
<issue>1</issue>
<fpage>45</fpage>
<lpage>53</lpage>
<permissions><copyright-statement>© 2011 Elsevier Inc. All rights reserved.</copyright-statement>
<copyright-year>2011</copyright-year>
<copyright-holder>Elsevier Inc.</copyright-holder>
<license xlink:href="https://creativecommons.org/licenses/by/4.0/"><license-p>Open Access under <ext-link ext-link-type="uri" xlink:href="https://creativecommons.org/licenses/by/4.0/">CC BY 4.0</ext-link>
license</license-p>
</license>
</permissions>
<abstract><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>
</abstract>
<kwd-group><title>Keywords</title>
<kwd>Proof theory</kwd>
<kwd>Physics</kwd>
<kwd>Formalization of science</kwd>
</kwd-group>
</article-meta>
</front>
</pmc>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Pmc/Curation
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000074 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Pmc/Curation/biblio.hfd -nk 000074 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Lorraine |area= InforLorV4 |flux= Pmc |étape= Curation |type= RBID |clé= PMC:4066961 |texte= Physics and proof theory }}
Pour générer des pages wiki
HfdIndexSelect -h $EXPLOR_AREA/Data/Pmc/Curation/RBID.i -Sk "pubmed:24976655" \ | HfdSelect -Kh $EXPLOR_AREA/Data/Pmc/Curation/biblio.hfd \ | NlmPubMed2Wicri -a InforLorV4
This area was generated with Dilib version V0.6.33. |