Deriving meaningful scientific laws from abstract, "gedanken” type, axioms: five examples
| LEADER | caa a22 4500 | ||
|---|---|---|---|
| 001 | 60550900X | ||
| 003 | CHVBK | ||
| 005 | 20210128100639.0 | ||
| 007 | cr unu---uuuuu | ||
| 008 | 210128e20150401xx s 000 0 eng | ||
| 024 | 7 | 0 | |a 10.1007/s00010-015-0339-1 |2 doi |
| 035 | |a (NATIONALLICENCE)springer-10.1007/s00010-015-0339-1 | ||
| 100 | 1 | |a Falmagne |D Jean-Claude |u University of California, Irvine, USA |4 aut | |
| 245 | 1 | 0 | |a Deriving meaningful scientific laws from abstract, "gedanken” type, axioms: five examples |h [Elektronische Daten] |c [Jean-Claude Falmagne] |
| 520 | 3 | |a A scientific law can be a faithful representation of the physical world only if its form is invariant with respect to changes in the unit or units. This is referred to as the ‘meaningfulness condition.' This condition is powerful. If we require it, the mathematical form of a scientific or geometric law may be derivable from some abstract constraint, possibly verifiable by a thought experiment or a trivial argument. We discuss five examples of such abstract constraints in this paper: 1. the $${associativity equation: \qquad\qquad\qquad\qquad\quad F(F(x,y),z) \,= \,F(x,F(y,z));}$$ a s s o c i a t i v i t y e q u a t i o n : F ( F ( x , y ) , z ) = F ( x , F ( y , z ) ) ; 2. the $${quasi-permutability equation: \qquad\qquad\quad\ \ F(G(x,y),z) \,=\, F(G(x,z),y));}$$ q u a s i - p e r m u t a b i l i t y e q u a t i o n : F ( G ( x , y ) , z ) = F ( G ( x , z ) , y ) ) ; 3. the $${bisymmetry equation: \qquad\qquad\qquad\quad F(F(x,y),\!F(z,w))\! = \!F(F(x,z),F(y,w));}$$ b i s y m m e t r y e q u a t i o n : F ( F ( x , y ) , F ( z , w ) ) = F ( F ( x , z ) , F ( y , w ) ) ; 4. the $${translation equation: \qquad\qquad\qquad\qquad\quad\ \ F(F(x,y),z) = F(x, y+z);}$$ t r a n s l a t i o n e q u a t i o n : F ( F ( x , y ) , z ) = F ( x , y + z ) ; 5. the $${abstract Lorentz-FitzGerald contraction: \quad\ \ \ L(L(\ell ,v),w) = L(\ell , v\oplus w).}$$ a b s t r a c t L o r e n t z - F i t z G e r a l d c o n t r a c t i o n : L ( L ( ℓ , v ) , w ) = L ( ℓ , v ⊕ w ) . In each case, just one or a couple of meaningful mathematical representations are possible. In this paper, we derive the possible meaningful representations in five examples. These results are obtained under some general conditions, in addition to those listed in 1-5. Other meaningful representations may be possible under different additional conditions. | |
| 540 | |a Springer Basel, 2015 | ||
| 773 | 0 | |t Aequationes mathematicae |d Springer Basel |g 89/2(2015-04-01), 393-435 |x 0001-9054 |q 89:2<393 |1 2015 |2 89 |o 10 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/s00010-015-0339-1 |q text/html |z Onlinezugriff via DOI |
| 898 | |a BK010053 |b XK010053 |c XK010000 | ||
| 900 | 7 | |a Metadata rights reserved |b Springer special CC-BY-NC licence |2 nationallicence | |
| 908 | |D 1 |a research-article |2 jats | ||
| 949 | |B NATIONALLICENCE |F NATIONALLICENCE |b NL-springer | ||
| 950 | |B NATIONALLICENCE |P 856 |E 40 |u https://doi.org/10.1007/s00010-015-0339-1 |q text/html |z Onlinezugriff via DOI | ||
| 950 | |B NATIONALLICENCE |P 100 |E 1- |a Falmagne |D Jean-Claude |u University of California, Irvine, USA |4 aut | ||
| 950 | |B NATIONALLICENCE |P 773 |E 0- |t Aequationes mathematicae |d Springer Basel |g 89/2(2015-04-01), 393-435 |x 0001-9054 |q 89:2<393 |1 2015 |2 89 |o 10 | ||