Andréka, Hajnal and Madarász, Judit X. and Németi, István and Székely, Gergely (2010) A logic road from special to general relativity. [Preprint]
This is the latest version of this item.
![[img]](http://philsci-archive.pitt.edu/style/images/fileicons/application_pdf.png)
| PDF - Updated Version Download (202Kb) | Preview |
Abstract
We present a streamlined axiom system of special relativity in firs-order logic. From this axiom system we ``derive'' an axiom system of general relativity in two natural steps. We will also see how the axioms of special relativity transform into those of general relativity. This way we hope to make general relativity more accessible for the non-specialist.
| Export/Citation: | EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL |
| Social Networking: |
| Item Type: | Preprint |
|---|---|
| Keywords: | first-order logic, axiomatization, foundation of relativity theory |
| Subjects: | Specific Sciences > Physics > Relativity Theory |
| Depositing User: | Gergely Székely |
| Date Deposited: | 23 Jan 2011 08:40 |
| Last Modified: | 23 Jan 2011 08:40 |
| Item ID: | 8466 |
| URI: | http://philsci-archive.pitt.edu/id/eprint/8466 |
Available Versions of this Item
- A logic road from special to general relativity. (deposited 07 May 2010)
- A logic road from special to general relativity. (deposited 12 Feb 2011 21:22)
- A logic road from special to general relativity. (deposited 23 Jan 2011 08:40)[Currently Displayed]
Actions (login required)
| View Item |
![[feed]](http://philsci-archive.pitt.edu/style/images/feed-icon-32x32.png){kind=icon}