Interpretation of Special Relativity in the Language of...
Transcript of Interpretation of Special Relativity in the Language of...
![Page 1: Interpretation of Special Relativity in the Language of ...homepages.vub.ac.be/~kolefeve/content/koen_lefever-yrd5.pdf · Koen Lefever & Gergely Székely Vrije Universiteit Brussel](https://reader034.fdocuments.in/reader034/viewer/2022052100/60399bf4cc8f9142ae391283/html5/thumbnails/1.jpg)
Interpretation Language Axioms Translations
Interpretation of Special Relativity in the Language
of classical Kinematics
Koen Lefever & Gergely Székely
Vrije Universiteit Brussel - Center for Logic and Philosophy of Science& MTA Alfréd Rényi Institute of Mathematics
YRD5 - Brussels, 2016.11.26
Koen Lefever & Gergely Székely Interpretation of Special Relativity in classical Kinematics
![Page 2: Interpretation of Special Relativity in the Language of ...homepages.vub.ac.be/~kolefeve/content/koen_lefever-yrd5.pdf · Koen Lefever & Gergely Székely Vrije Universiteit Brussel](https://reader034.fdocuments.in/reader034/viewer/2022052100/60399bf4cc8f9142ae391283/html5/thumbnails/2.jpg)
Interpretation Language Axioms Translations Translations
A translation is a function between formulas of languages preserving
the logical connectives, i.e. Tr(φ ∧ ψ) = Tr(φ) ∧ Tr(ψ), etc.
An interpretation of theory Th1 in theory Th2 is a translation Tr
which translates all axioms of Th1 into theorems of Th2.
An interpretation is a de�nitional equivalence if a translated
formula can be translated back such that it becomes a formula
which is equivalent to the original formula.
We use these concepts to show the di�erences between theories which are not
equivalent.
Koen Lefever & Gergely Székely Interpretation of Special Relativity in classical Kinematics
![Page 3: Interpretation of Special Relativity in the Language of ...homepages.vub.ac.be/~kolefeve/content/koen_lefever-yrd5.pdf · Koen Lefever & Gergely Székely Vrije Universiteit Brussel](https://reader034.fdocuments.in/reader034/viewer/2022052100/60399bf4cc8f9142ae391283/html5/thumbnails/3.jpg)
Interpretation Language Axioms Translations Translations
There are translations Tr , Tr+, and Tr−1+ between the languages of
NK and SR such that:
NK ` Tr(SR)
NKnoFTL ` Tr+(SRwithEther)
SRwithEther ` Tr−1+ (NKnoFTL)
De�nitional equivalence: SRwithEther ≡∆ NKnoFTL, i.e., Tr+and Tr−1+ are inverses of each other up to logical equivalence
in NKnoFTL and SRwithEther .
Koen Lefever & Gergely Székely Interpretation of Special Relativity in classical Kinematics
![Page 4: Interpretation of Special Relativity in the Language of ...homepages.vub.ac.be/~kolefeve/content/koen_lefever-yrd5.pdf · Koen Lefever & Gergely Székely Vrije Universiteit Brussel](https://reader034.fdocuments.in/reader034/viewer/2022052100/60399bf4cc8f9142ae391283/html5/thumbnails/4.jpg)
Interpretation Language Axioms Translations Translations
Special Relativity
Special Relativity with Ether
E Ether
Classical Kinematics
FTL-observers
Tr
Tr+
≡∆
Id
Koen Lefever & Gergely Székely Interpretation of Special Relativity in classical Kinematics
![Page 5: Interpretation of Special Relativity in the Language of ...homepages.vub.ac.be/~kolefeve/content/koen_lefever-yrd5.pdf · Koen Lefever & Gergely Székely Vrije Universiteit Brussel](https://reader034.fdocuments.in/reader034/viewer/2022052100/60399bf4cc8f9142ae391283/html5/thumbnails/5.jpg)
Interpretation Language Axioms Translations
Language: {B, IOb,Ph,Q,+, ·,≤,W }
B 〈Q,+, ·,≤〉
PhIOb
W
B ! Bodies (things that move)
IOb ! Inertial Observers Ph ! Photons (light signals)
Q ! Quantities
+, · and ≤! �eld operations and ordering
W ! Worldview (a 6-ary relation of type BBQQQQ )
Koen Lefever & Gergely Székely Interpretation of Special Relativity in classical Kinematics
![Page 6: Interpretation of Special Relativity in the Language of ...homepages.vub.ac.be/~kolefeve/content/koen_lefever-yrd5.pdf · Koen Lefever & Gergely Székely Vrije Universiteit Brussel](https://reader034.fdocuments.in/reader034/viewer/2022052100/60399bf4cc8f9142ae391283/html5/thumbnails/6.jpg)
Interpretation Language Axioms Translations
W(m, b, t, x , y , z) ! � observer m coordinatizes body b at
spacetime location 〈t, x , y , z〉.�
m t
x
y
b
〈t, x , y , z〉
Worldline of body b according to observer m
wlm(b):={〈t, x , y , z〉 ∈ Q4 : W(m, b, t, x , y , z)}
Koen Lefever & Gergely Székely Interpretation of Special Relativity in classical Kinematics
![Page 7: Interpretation of Special Relativity in the Language of ...homepages.vub.ac.be/~kolefeve/content/koen_lefever-yrd5.pdf · Koen Lefever & Gergely Székely Vrije Universiteit Brussel](https://reader034.fdocuments.in/reader034/viewer/2022052100/60399bf4cc8f9142ae391283/html5/thumbnails/7.jpg)
Interpretation Language Axioms Translations Kin ClassicalKinF SpecRelF Justi�cation
Kin:={AxEField,AxEv,AxSelf,AxSymD,AxLine,AxTriv}
ClassicalKinFull :=Kin ∪ {AxEther,AbsTime,AxThExp↑+}
SpecRelFull := Kin ∪ {AxPhc,AxThExp↑}
Koen Lefever & Gergely Székely Interpretation of Special Relativity in classical Kinematics
![Page 8: Interpretation of Special Relativity in the Language of ...homepages.vub.ac.be/~kolefeve/content/koen_lefever-yrd5.pdf · Koen Lefever & Gergely Székely Vrije Universiteit Brussel](https://reader034.fdocuments.in/reader034/viewer/2022052100/60399bf4cc8f9142ae391283/html5/thumbnails/8.jpg)
Interpretation Language Axioms Translations Kin ClassicalKinF SpecRelF Justi�cation
AxEField :
The structure of quantities 〈Q,+, ·,≤〉 is an Euclidean �eld,
Real numbers: R,Real algebraic numbers: Q ∩ R,Hyperreal numbers: R∗,Real constructable numbers,
Etc...
Koen Lefever & Gergely Székely Interpretation of Special Relativity in classical Kinematics
![Page 9: Interpretation of Special Relativity in the Language of ...homepages.vub.ac.be/~kolefeve/content/koen_lefever-yrd5.pdf · Koen Lefever & Gergely Székely Vrije Universiteit Brussel](https://reader034.fdocuments.in/reader034/viewer/2022052100/60399bf4cc8f9142ae391283/html5/thumbnails/9.jpg)
Interpretation Language Axioms Translations Kin ClassicalKinF SpecRelF Justi�cation
AxEv :
Inertial observers coordinatize the same events (meetings of
bodies).
evm(x):={b : W (m, b, x)}
m t
x
y
b1b2 k t
x
y
b1 b2
∀mkx [IOb(m) ∧ IOb(k)→ ∃y evm(x) = evk(y)].
Koen Lefever & Gergely Székely Interpretation of Special Relativity in classical Kinematics
![Page 10: Interpretation of Special Relativity in the Language of ...homepages.vub.ac.be/~kolefeve/content/koen_lefever-yrd5.pdf · Koen Lefever & Gergely Székely Vrije Universiteit Brussel](https://reader034.fdocuments.in/reader034/viewer/2022052100/60399bf4cc8f9142ae391283/html5/thumbnails/10.jpg)
Interpretation Language Axioms Translations Kin ClassicalKinF SpecRelF Justi�cation
AxSelf :
Every Inertial observer is stationary according to himself.
t
x
y
wlinem(m)
∀mtxyz(IOb(m)→
[W(m,m, t, x , y , z)↔ x = y = z = 0
]).
Koen Lefever & Gergely Székely Interpretation of Special Relativity in classical Kinematics
![Page 11: Interpretation of Special Relativity in the Language of ...homepages.vub.ac.be/~kolefeve/content/koen_lefever-yrd5.pdf · Koen Lefever & Gergely Székely Vrije Universiteit Brussel](https://reader034.fdocuments.in/reader034/viewer/2022052100/60399bf4cc8f9142ae391283/html5/thumbnails/11.jpg)
Interpretation Language Axioms Translations Kin ClassicalKinF SpecRelF Justi�cation
AxSymD :
Inertial observers agree as to the spatial distance between two
events if these two events are simultaneous for both of them.
space(x , y):=√
(x2 − y2)2 + . . .+ (xd − yd )2
e1e2
m
e1
e2
k
∀mkxy x ′y ′ [IOb(m)∧IOb(k)∧x1 = y1∧x ′1 = y ′1∧evm(x) = evk(x ′)
∧ evm(y) = evk(y ′)→ space(x , y) = space(x ′, y ′)]
Koen Lefever & Gergely Székely Interpretation of Special Relativity in classical Kinematics
![Page 12: Interpretation of Special Relativity in the Language of ...homepages.vub.ac.be/~kolefeve/content/koen_lefever-yrd5.pdf · Koen Lefever & Gergely Székely Vrije Universiteit Brussel](https://reader034.fdocuments.in/reader034/viewer/2022052100/60399bf4cc8f9142ae391283/html5/thumbnails/12.jpg)
Interpretation Language Axioms Translations Kin ClassicalKinF SpecRelF Justi�cation
AxLine :
The worldlines of inertial observers are straight lines according to
inertial observers.
∀mkxy z(IOb(m)∧IOb(k)∧W (m, k , x)∧W (m, k , y)∧W (m, k , z)
→ ∃a [z − x = a(y − x) ∨ y − z = a(z − x)]).
(In SpecRel , AxLine is a theorem, so including it as an axiom is redundant.)
Koen Lefever & Gergely Székely Interpretation of Special Relativity in classical Kinematics
![Page 13: Interpretation of Special Relativity in the Language of ...homepages.vub.ac.be/~kolefeve/content/koen_lefever-yrd5.pdf · Koen Lefever & Gergely Székely Vrije Universiteit Brussel](https://reader034.fdocuments.in/reader034/viewer/2022052100/60399bf4cc8f9142ae391283/html5/thumbnails/13.jpg)
Interpretation Language Axioms Translations Kin ClassicalKinF SpecRelF Justi�cation
AxTriv :
Any trivial transformation of an inertial frame is also an inertial
frame.
∀T ∈ Triv [∀m∃k(wmk = T )], where Triv is the set of Trivial
transformations, i.e. transformations that are isometries on space
and translations on time.
Koen Lefever & Gergely Székely Interpretation of Special Relativity in classical Kinematics
![Page 14: Interpretation of Special Relativity in the Language of ...homepages.vub.ac.be/~kolefeve/content/koen_lefever-yrd5.pdf · Koen Lefever & Gergely Székely Vrije Universiteit Brussel](https://reader034.fdocuments.in/reader034/viewer/2022052100/60399bf4cc8f9142ae391283/html5/thumbnails/14.jpg)
Interpretation Language Axioms Translations Kin ClassicalKinF SpecRelF Justi�cation
AxAbsTime :
The time di�erence between two events is the same for all inertial
observers.
time(x , y):=|x1 − y1|
∀mkxy x ′y ′ [IOb(m)∧IOb(k)∧evm(x) = evk(x ′)∧evm(y) = evk(y ′)
→ time(x , y) = time(x ′, y ′)].
Koen Lefever & Gergely Székely Interpretation of Special Relativity in classical Kinematics
![Page 15: Interpretation of Special Relativity in the Language of ...homepages.vub.ac.be/~kolefeve/content/koen_lefever-yrd5.pdf · Koen Lefever & Gergely Székely Vrije Universiteit Brussel](https://reader034.fdocuments.in/reader034/viewer/2022052100/60399bf4cc8f9142ae391283/html5/thumbnails/15.jpg)
Interpretation Language Axioms Translations Kin ClassicalKinF SpecRelF Justi�cation
AxEther(Einstein′s AxLight) :
There exists an inertial observer in which the light cones are right.
∃ε
x
∃εc[IOb(ε) ∧ c > 0 ∧ ∀x y
(∃p[Ph(p) ∧W(ε, p, x)
∧W(ε, p, y)]↔ space(x , y) = c · time(x , y)
)]Koen Lefever & Gergely Székely Interpretation of Special Relativity in classical Kinematics
![Page 16: Interpretation of Special Relativity in the Language of ...homepages.vub.ac.be/~kolefeve/content/koen_lefever-yrd5.pdf · Koen Lefever & Gergely Székely Vrije Universiteit Brussel](https://reader034.fdocuments.in/reader034/viewer/2022052100/60399bf4cc8f9142ae391283/html5/thumbnails/16.jpg)
Interpretation Language Axioms Translations Kin ClassicalKinF SpecRelF Justi�cation
AxThExp↑+ :
Inertial observers can move along any non-horizontal straight line.
k ↑ m def⇐⇒ evk(x) = evm(1, 0, 0, 0) ∧ evk(y) = evm(0, 0, 0, 0)→ x1 > y1
m
x
∃k
∃h(IOb(h)
)∧ ∀mxy
(IOb(m) ∧ x1 6= y1
→ ∃k IOb(k) ∧W (m, k , x) ∧W (m, k , y) ∧m ↑ k).
Koen Lefever & Gergely Székely Interpretation of Special Relativity in classical Kinematics
![Page 17: Interpretation of Special Relativity in the Language of ...homepages.vub.ac.be/~kolefeve/content/koen_lefever-yrd5.pdf · Koen Lefever & Gergely Székely Vrije Universiteit Brussel](https://reader034.fdocuments.in/reader034/viewer/2022052100/60399bf4cc8f9142ae391283/html5/thumbnails/17.jpg)
Interpretation Language Axioms Translations Kin ClassicalKinF SpecRelF Justi�cation
AxPhc :
For any inertial observer, the speed of light is the same in every
direction everywhere, and it is �nite. Furthermore, it is possible to
send out a light signal in any direction.
m t
x
y
p
x
y
space(x , y)
time(x , y)
∃c[c > 0 ∧ ∀mxy
(IOb(m)→ ∃p
[Ph(p) ∧W(m, p, x)
∧W(m, p, y)]↔ space(x , y) = c · time(x , y)
)]Koen Lefever & Gergely Székely Interpretation of Special Relativity in classical Kinematics
![Page 18: Interpretation of Special Relativity in the Language of ...homepages.vub.ac.be/~kolefeve/content/koen_lefever-yrd5.pdf · Koen Lefever & Gergely Székely Vrije Universiteit Brussel](https://reader034.fdocuments.in/reader034/viewer/2022052100/60399bf4cc8f9142ae391283/html5/thumbnails/18.jpg)
Interpretation Language Axioms Translations Kin ClassicalKinF SpecRelF Justi�cation
AxThExp↑ :
Inertial observers can move with any speed slower than that of light.
m
x
∃k
∃h [IOb(h)] ∧ ∀mxy(IOb(m) ∧ space(x , y) < c · time(x , y)
→ ∃k [IOb(k) ∧W (m, k , x) ∧W (m, k , y) ∧m ↑ k]).
Koen Lefever & Gergely Székely Interpretation of Special Relativity in classical Kinematics
![Page 19: Interpretation of Special Relativity in the Language of ...homepages.vub.ac.be/~kolefeve/content/koen_lefever-yrd5.pdf · Koen Lefever & Gergely Székely Vrije Universiteit Brussel](https://reader034.fdocuments.in/reader034/viewer/2022052100/60399bf4cc8f9142ae391283/html5/thumbnails/19.jpg)
Interpretation Language Axioms Translations Kin ClassicalKinF SpecRelF Justi�cation
Kin:={AxEField,AxEv,AxSelf,AxSymD,AxLine,AxTriv}
ClassicalKinFull :=Kin ∪ {AxEther,AbsTime,AxThExp↑+}
SpecRelFull := Kin ∪ {AxPhc,AxThExp↑}
Koen Lefever & Gergely Székely Interpretation of Special Relativity in classical Kinematics
![Page 20: Interpretation of Special Relativity in the Language of ...homepages.vub.ac.be/~kolefeve/content/koen_lefever-yrd5.pdf · Koen Lefever & Gergely Székely Vrije Universiteit Brussel](https://reader034.fdocuments.in/reader034/viewer/2022052100/60399bf4cc8f9142ae391283/html5/thumbnails/20.jpg)
Interpretation Language Axioms Translations Kin ClassicalKinF SpecRelF Justi�cation
Worldview transformation :
m t
x
y
b1b2 k t
x
y
b1 b2
wmk(x , y)
wmk(x , y)def⇐⇒ evm(x) = evk(y)
Koen Lefever & Gergely Székely Interpretation of Special Relativity in classical Kinematics
![Page 21: Interpretation of Special Relativity in the Language of ...homepages.vub.ac.be/~kolefeve/content/koen_lefever-yrd5.pdf · Koen Lefever & Gergely Székely Vrije Universiteit Brussel](https://reader034.fdocuments.in/reader034/viewer/2022052100/60399bf4cc8f9142ae391283/html5/thumbnails/21.jpg)
Interpretation Language Axioms Translations Kin ClassicalKinF SpecRelF Justi�cation
Galilean transformations:
k
worldview of m
k
worldview of k
Poincaré transformations:
k
worldview of m
k
worldview of k
Koen Lefever & Gergely Székely Interpretation of Special Relativity in classical Kinematics
![Page 22: Interpretation of Special Relativity in the Language of ...homepages.vub.ac.be/~kolefeve/content/koen_lefever-yrd5.pdf · Koen Lefever & Gergely Székely Vrije Universiteit Brussel](https://reader034.fdocuments.in/reader034/viewer/2022052100/60399bf4cc8f9142ae391283/html5/thumbnails/22.jpg)
Interpretation Language Axioms Translations Kin ClassicalKinF SpecRelF Justi�cation
Representation Theorems:
Theorem:
SpecRelFull ` ∀mk[IOb(m) ∧ IOb(k)→ ”wmk is a Poincaré
Transformation”].
ca. 1998 proven for a version of BasAx strongly related to
SpecRel in the "Big Book" by H. Andréka, J. X. Madarász &
I. Németi
Synthese 2012 "A logic road from special relativity to general
relativity" by H. Andréka, J. X. Madarász, I. Németi & G.
Székely (Theorem 2.2)
Theorem:
ClassicalKinFull ` ∀mk[IOb(m) ∧ IOb(k)→ ”wmk is a Galilean
Transformation”].
proof for a di�erent version of classical Kinematics in the "Big
Book" by H. Andréka, J. X. Madarász & I. NémetiKoen Lefever & Gergely Székely Interpretation of Special Relativity in classical Kinematics
![Page 23: Interpretation of Special Relativity in the Language of ...homepages.vub.ac.be/~kolefeve/content/koen_lefever-yrd5.pdf · Koen Lefever & Gergely Székely Vrije Universiteit Brussel](https://reader034.fdocuments.in/reader034/viewer/2022052100/60399bf4cc8f9142ae391283/html5/thumbnails/23.jpg)
Interpretation Language Axioms Translations Kin ClassicalKinF SpecRelF Justi�cation
Theorem:
SpecRelFull ` ∀kP[IOb(k) ∧ ”P is a (orthochronous) Poincaré
Transformation”→ ∃k ′wkk ′ = P].
Theorem:
ClassicalKinFull ` ∀kG [IOb(k) ∧ ”G is a (orthochronous) Galilean
Transformation”→ ∃k ′wkk ′ = G ].
can be proven based on the ideas in the "Big Book" by H.
Andréka, J. X. Madarász & I. Németi
Koen Lefever & Gergely Székely Interpretation of Special Relativity in classical Kinematics
![Page 24: Interpretation of Special Relativity in the Language of ...homepages.vub.ac.be/~kolefeve/content/koen_lefever-yrd5.pdf · Koen Lefever & Gergely Székely Vrije Universiteit Brussel](https://reader034.fdocuments.in/reader034/viewer/2022052100/60399bf4cc8f9142ae391283/html5/thumbnails/24.jpg)
Interpretation Language Axioms Translations Tr Tr+
Theorem:
There is an interpretation Tr of SpecRelFull in ClassicalKinFull .
SpecRelFull
Ether
FTL-IOb
NewtonianKinFull
Tr
Koen Lefever & Gergely Székely Interpretation of Special Relativity in classical Kinematics
![Page 25: Interpretation of Special Relativity in the Language of ...homepages.vub.ac.be/~kolefeve/content/koen_lefever-yrd5.pdf · Koen Lefever & Gergely Székely Vrije Universiteit Brussel](https://reader034.fdocuments.in/reader034/viewer/2022052100/60399bf4cc8f9142ae391283/html5/thumbnails/25.jpg)
Interpretation Language Axioms Translations Tr Tr+
0 x
e k : x = vt
(t1, x1)
t2
0 x
k
(c2e t1−vx1c2e−v2
, c2ex1−vt1c2e−v2
)t22
t2
A =
1
1−v2−v1−v2 0 0
−v1−v2
11−v2 0 0
0 0 1√1−v2 0
0 0 0 1√1−v2
S =√1− v2 (if c = 1)
Koen Lefever & Gergely Székely Interpretation of Special Relativity in classical Kinematics
![Page 26: Interpretation of Special Relativity in the Language of ...homepages.vub.ac.be/~kolefeve/content/koen_lefever-yrd5.pdf · Koen Lefever & Gergely Székely Vrije Universiteit Brussel](https://reader034.fdocuments.in/reader034/viewer/2022052100/60399bf4cc8f9142ae391283/html5/thumbnails/26.jpg)
Interpretation Language Axioms Translations Tr Tr+
ke
Gv
ke
Rv
ke
Ev
ke
Sv
keR−1v
keRadv
Radk = R−1 ◦ S ◦ A ◦ R ◦ G
Koen Lefever & Gergely Székely Interpretation of Special Relativity in classical Kinematics
![Page 27: Interpretation of Special Relativity in the Language of ...homepages.vub.ac.be/~kolefeve/content/koen_lefever-yrd5.pdf · Koen Lefever & Gergely Székely Vrije Universiteit Brussel](https://reader034.fdocuments.in/reader034/viewer/2022052100/60399bf4cc8f9142ae391283/html5/thumbnails/27.jpg)
Interpretation Language Axioms Translations Tr Tr+
Tr(a + b = c) := a + b = c
Tr(a · b = c) := a · b = c
Tr(a < b) := a < b
Tr(WSR(k , b, t, x , y , z)
):=
∃t ′x ′y ′z ′[WNK (k , b, t ′, x ′, y ′, z ′)∧Radk(t ′, x ′, y ′, z ′) = (t, x , y , z)]
Tr(IObSR(k)
):=IObNK (k) ∧ ∀ε[Ether(ε)→ speedNKε (k) < c]
where
Ether(ε)def⇐⇒ IObNK (ε) ∧ ∀p[Ph(p)→ speedNKε (p) = c]
and
speedm(k) = vdef⇐⇒ ∀x , y ∈ Qd [W(m, k, x) ∧W(m, k, y) ∧ x1 6= y1
→space(x , y)
time(x , y)= v ]
Koen Lefever & Gergely Székely Interpretation of Special Relativity in classical Kinematics
![Page 28: Interpretation of Special Relativity in the Language of ...homepages.vub.ac.be/~kolefeve/content/koen_lefever-yrd5.pdf · Koen Lefever & Gergely Székely Vrije Universiteit Brussel](https://reader034.fdocuments.in/reader034/viewer/2022052100/60399bf4cc8f9142ae391283/html5/thumbnails/28.jpg)
Interpretation Language Axioms Translations Tr Tr+
Example: Translation of AxSelfSR
Tr [∀m IObSR(m)→ ∀x(WSR(m,m, x)↔ x2 = . . . = xd = 0
)]
≡ ∀m[IObNK (m) ∧ ∀ε[Ether(ε)→ speedNKε (m) < c]
→ ∀x(∃y [WNK (m,m, y)∧Radk(y) = x ]↔ x2 = . . . = xd = 0
)]
Koen Lefever & Gergely Székely Interpretation of Special Relativity in classical Kinematics
![Page 29: Interpretation of Special Relativity in the Language of ...homepages.vub.ac.be/~kolefeve/content/koen_lefever-yrd5.pdf · Koen Lefever & Gergely Székely Vrije Universiteit Brussel](https://reader034.fdocuments.in/reader034/viewer/2022052100/60399bf4cc8f9142ae391283/html5/thumbnails/29.jpg)
Interpretation Language Axioms Translations Tr Tr+
Theorem:
There is an interpretation Tr of SpecRelFull in ClassicalKinFull .
ClassicalKinFull ` Tr(SpecRelFull )
ClassicalKinFull ` Tr(AxEFieldSR)
ClassicalKinFull ` Tr(AxEvSR)
ClassicalKinFull ` Tr(AxSelfSR)
ClassicalKinFull ` Tr(AxSymDSR)
ClassicalKinFull ` Tr(AxLineSR)
ClassicalKinFull ` Tr(AxTrivSR)
ClassicalKinFull ` Tr(AxThExp↑SR)
Koen Lefever & Gergely Székely Interpretation of Special Relativity in classical Kinematics
![Page 30: Interpretation of Special Relativity in the Language of ...homepages.vub.ac.be/~kolefeve/content/koen_lefever-yrd5.pdf · Koen Lefever & Gergely Székely Vrije Universiteit Brussel](https://reader034.fdocuments.in/reader034/viewer/2022052100/60399bf4cc8f9142ae391283/html5/thumbnails/30.jpg)
Interpretation Language Axioms Translations Tr Tr+
ClassicalKinNoFTLFull :=Kin ∪ {AxEther,AbsTime,AxThExp↑NoFTL,AxNoFTL}
AxThExp↑NoFTL :
Inertial observers can move with any speed which is in the ether
frame slower than that of light.
∃h(IOb(h)
)∧ ∀εx y
(Ether(ε) ∧ space(x , y) < c · time(x , y)
→ ∃k IOb(k) ∧W (ε, k , x) ∧W (ε, k , y) ∧m ↑ k).
AxNoFTL :
All inertial observers move slower than light with respect to the
ether frames.
∀mε[IOb(m) ∧ Ether(ε)→ SpeedNKε (m) < c].
Koen Lefever & Gergely Székely Interpretation of Special Relativity in classical Kinematics
![Page 31: Interpretation of Special Relativity in the Language of ...homepages.vub.ac.be/~kolefeve/content/koen_lefever-yrd5.pdf · Koen Lefever & Gergely Székely Vrije Universiteit Brussel](https://reader034.fdocuments.in/reader034/viewer/2022052100/60399bf4cc8f9142ae391283/html5/thumbnails/31.jpg)
Interpretation Language Axioms Translations Tr Tr+
SpecRelεFull :=SpecRelFull ∪ {AxPrimitiveEther}
AxPrimitiveEther :
There is a non-empty class of ether observers, stationary with
respect to each other, which is closed under trivial transformations.
∃ε(E (ε) ∧ ∀k
[[IOb(k) ∧ (∃T ∈ Triv)wSR
εk = T ]↔ E (k)])
Koen Lefever & Gergely Székely Interpretation of Special Relativity in classical Kinematics
![Page 32: Interpretation of Special Relativity in the Language of ...homepages.vub.ac.be/~kolefeve/content/koen_lefever-yrd5.pdf · Koen Lefever & Gergely Székely Vrije Universiteit Brussel](https://reader034.fdocuments.in/reader034/viewer/2022052100/60399bf4cc8f9142ae391283/html5/thumbnails/32.jpg)
Interpretation Language Axioms Translations Tr Tr+
Theorem:
Tr+ is a de�nitional equivalence between SpecRelεFull and
ClassicalKinNoFTLFull .
SpecRelFull
SpecRelεFull
E Ether
NewtonianKinFull
FTL-IOb
Tr+
Id
Tr+(E (x)
)= Ether(x)
Koen Lefever & Gergely Székely Interpretation of Special Relativity in classical Kinematics
![Page 33: Interpretation of Special Relativity in the Language of ...homepages.vub.ac.be/~kolefeve/content/koen_lefever-yrd5.pdf · Koen Lefever & Gergely Székely Vrije Universiteit Brussel](https://reader034.fdocuments.in/reader034/viewer/2022052100/60399bf4cc8f9142ae391283/html5/thumbnails/33.jpg)
Interpretation Language Axioms Translations Tr Tr+
Theorem:
Tr+ is a de�nitional equivalence between SpecRelεFull and
ClassicalKinNoFTLFull .
SpecRelFull
SpecReleFull
E Ether
ClassicalKinFull
FTL-IOb
Tr
Tr+≡∆
Id
Tr+|SpecRelFull = Tr
Tr+(E (x)
)= Ether(x)
Koen Lefever & Gergely Székely Interpretation of Special Relativity in classical Kinematics
![Page 34: Interpretation of Special Relativity in the Language of ...homepages.vub.ac.be/~kolefeve/content/koen_lefever-yrd5.pdf · Koen Lefever & Gergely Székely Vrije Universiteit Brussel](https://reader034.fdocuments.in/reader034/viewer/2022052100/60399bf4cc8f9142ae391283/html5/thumbnails/34.jpg)
Interpretation Language Axioms Translations Tr Tr+
Special Relativity
Special Relativity + Primitive Ether
E FTL-IOb
Classical Kinematics
Ether
Tr∗
Tr∗+≡∆
Id
v → vc−v
Koen Lefever & Gergely Székely Interpretation of Special Relativity in classical Kinematics