71 research outputs found
Human fatigue as a phenomenon modulated by environmental and typological factors : an approach based upon a complex test structure
On Logical Analysis of Relativity Theories
The aim of this paper is to give an introduction to our axiomatic logical
analysis of relativity theories.Comment: 19 pages, 1 figure
A logic road from special to general relativity
We present a streamlined axiom system of special relativity in first-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
Axiomatizing relativistic dynamics without conservation postulates
A part of relativistic dynamics (or mechanics) is axiomatized by simple and purely geometrical axioms formulated within first-order logic. A geometrical proof of the formula connecting relativistic and rest masses of bodies is presented, leading up to a geometric explanation of Einstein's famous E=mc^2. The connection of our geometrical axioms and the usual axioms on the conservation of mass, momentum and four-momentum is also investigated
Egyszerű számĂtĂłgĂ©pes eljárás kiváltott potenciálok jellemzĹ‘inek meghatározására
- …