Matches in SemOpenAlex for { <https://semopenalex.org/work/W4297816053> ?p ?o ?g. }
Showing items 1 to 49 of
49
with 100 items per page.
- W4297816053 abstract "The aim of this paper is to present a new logic-based understanding of the connection between classical kinematics and relativistic kinematics. We show that the axioms of special relativity can be interpreted in the language of classical kinematics. This means that there is a logical translation function from the language of special relativity to the language of classical kinematics which translates the axioms of special relativity into consequences of classical kinematics. We will also show that if we distinguish a class of observers (representing observers stationary with respect to the Ether) in special relativity and exclude the non-slower-than light observers from classical kinematics by an extra axiom, then the two theories become definitionally equivalent (i.e., they become equivalent theories in the sense as the theory of lattices as algebraic structures is the same as the theory of lattices as partially ordered sets). Furthermore, we show that classical kinematics is definitionally equivalent to classical kinematics with only slower-than-light inertial observers, and hence by transitivity of definitional equivalence that special relativity theory extended with Ether is definitionally equivalent to classical kinematics. So within an axiomatic framework of mathematical logic, we explicitly show that the transition from classical kinematics to relativistic kinematics is the knowledge acquisition that there is no Ether, accompanied by a redefinition of the concepts of time and space." @default.
- W4297816053 created "2022-10-01" @default.
- W4297816053 creator A5031081628 @default.
- W4297816053 creator A5065772200 @default.
- W4297816053 date "2017-07-13" @default.
- W4297816053 modified "2023-09-26" @default.
- W4297816053 title "Comparing Classical and Relativistic Kinematics in First-Order Logic" @default.
- W4297816053 doi "https://doi.org/10.48550/arxiv.1707.05371" @default.
- W4297816053 hasPublicationYear "2017" @default.
- W4297816053 type Work @default.
- W4297816053 citedByCount "0" @default.
- W4297816053 crossrefType "posted-content" @default.
- W4297816053 hasAuthorship W4297816053A5031081628 @default.
- W4297816053 hasAuthorship W4297816053A5065772200 @default.
- W4297816053 hasBestOaLocation W42978160531 @default.
- W4297816053 hasConcept C121332964 @default.
- W4297816053 hasConcept C149324446 @default.
- W4297816053 hasConcept C167729594 @default.
- W4297816053 hasConcept C173386949 @default.
- W4297816053 hasConcept C2524010 @default.
- W4297816053 hasConcept C33923547 @default.
- W4297816053 hasConcept C39920418 @default.
- W4297816053 hasConcept C74650414 @default.
- W4297816053 hasConceptScore W4297816053C121332964 @default.
- W4297816053 hasConceptScore W4297816053C149324446 @default.
- W4297816053 hasConceptScore W4297816053C167729594 @default.
- W4297816053 hasConceptScore W4297816053C173386949 @default.
- W4297816053 hasConceptScore W4297816053C2524010 @default.
- W4297816053 hasConceptScore W4297816053C33923547 @default.
- W4297816053 hasConceptScore W4297816053C39920418 @default.
- W4297816053 hasConceptScore W4297816053C74650414 @default.
- W4297816053 hasLocation W42978160531 @default.
- W4297816053 hasLocation W42978160532 @default.
- W4297816053 hasLocation W42978160533 @default.
- W4297816053 hasOpenAccess W4297816053 @default.
- W4297816053 hasPrimaryLocation W42978160531 @default.
- W4297816053 hasRelatedWork W1755738775 @default.
- W4297816053 hasRelatedWork W1979524983 @default.
- W4297816053 hasRelatedWork W2035457847 @default.
- W4297816053 hasRelatedWork W2041531084 @default.
- W4297816053 hasRelatedWork W2057591213 @default.
- W4297816053 hasRelatedWork W2061496888 @default.
- W4297816053 hasRelatedWork W2140626164 @default.
- W4297816053 hasRelatedWork W2312937943 @default.
- W4297816053 hasRelatedWork W2360287593 @default.
- W4297816053 hasRelatedWork W3100805168 @default.
- W4297816053 isParatext "false" @default.
- W4297816053 isRetracted "false" @default.
- W4297816053 workType "article" @default.