A FORMAL CONSTRUCTION OF THE SPACETIME MANIFOLD.
The spacetime manifold, the stage on which physics is played, is constructed ab initio in a formal program that resembles the logicist reconstruction of mathematics. Zermelo’s set theory extended by urelemente serves as a framework, to which physically interpretable proper axioms are added. From thi...
| Publicado en: | Journal of Philosophical Logic Vol. 37; no. 5; pp. 441 - 479 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
Springer Nature
Oct2008
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=34204621&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 34204621 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00223611 JPH jtl: Journal of Philosophical Logic issn: 00223611 maglogo: N pubinfo: dt: Oct2008 vid: 37 iid: 5 pid: 237 pub: Springer Nature artinfo: ui: 34204621 10.1007/s10992-007-9075-x ppf: 441 ppct: 38 formats: fmt: @attributes: type: P size: 331KB tig: atl: A FORMAL CONSTRUCTION OF THE SPACETIME MANIFOLD. aug: au: Benda, Thomas affil: Department of Philosophy , National Chungcheng University , 168, University Road Minhsiung, Chiayi 621 Taiwan su: Mathematics Set theory Topology Axioms Physics Mathematical logic sug: subj: Mathematics Set theory Topology Axioms Physics Mathematical logic keyword: axiomatization general relativity spacetime ab: The spacetime manifold, the stage on which physics is played, is constructed ab initio in a formal program that resembles the logicist reconstruction of mathematics. Zermelo’s set theory extended by urelemente serves as a framework, to which physically interpretable proper axioms are added. From this basis, a topology and subsequently a Hausdorff manifold are readily constructed which bear the properties of the known spacetime manifold. The present approach takes worldlines rather than spacetime points to be primitive, having them represented by urelemente. Thereby it is demonstrated that an important part of physics is formally reducible to set theory. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y custom: Journal of Philosophical Logic is a copyright of Springer, 2008. All Rights Reserved. item: Journal of Philosophical Logic holder: Springer Nature dt: @attributes: year: 2008 holdings: @attributes: islocal: N |
|---|