[info] relativistic dimensional analysis in programming

[Eugen Leitl]

----- Forwarded message from Aristotle Pagaltzis <pagaltzis at gmx.de> -----

From: Aristotle Pagaltzis <pagaltzis at gmx.de>
Date: Mon, 21 Jul 2008 18:30:22 +0200
To: kragen-discuss <kragen-discuss at canonical.org>
Subject: Re: relativistic dimensional analysis in programming
User-Agent: Mutt/1.5.17 (2007-11-01)

* Kragen Javier Sitaker <kragen at canonical.org> [2008-07-21 09:40]:
> now expressed in kg*s/s, or merely kg.  So our two
> relativity-based equivalences (mass as energy, and time as
> distance) turned out to be merely two facets of the same
> equivalence.

This is how Einstein stumbled into E = mc², of course! In a
letter to his friend Conrad Habicht, he wrote:

    Eine Konsequenz der elektrodynamischen Arbeit ist mir noch in
    den Sinn gekommen. Das Relativitätsprinzip in Zusammenhang
    mit den Maxwellschen Grundgleichungen verlangt nämlich, daß
    die Masse direkt ein Maß für die im Körper enthaltene Energie
    ist; das Licht überträgt Masse. Eine merkliche Abnahme der
    Masse müßte beim Radium erfolgen. Die Überlegung ist lustig
    und bestechend; aber ob der liebe Herrgott nicht darüber
    lacht und mich an der Nase herumgeführt hat, das kann ich
    nicht wissen.

Or in English:

    Another consequence of the work on electrodynamics has also
    occured to me. Namely, the principle of relativity in
    connection with Maxwell’s equations requires that its mass
    be a direct measure of the energy contained in a body; light
    transfers mass. A noticeable decrease of mass should occur in
    the case of radium. The thought is amusing and intriguing;
    but whether the good Lord isn’t laughing about it and hasn’t
    led me down the garden path, I cannot know.

Regards,
-- 
Aristotle Pagaltzis // <http://plasmasturm.org/>

----- End forwarded message -----
-- 
Eugen* Leitl <a href="http://leitl.org">leitl</a> http://leitl.org
______________________________________________________________
ICBM: 48.07100, 11.36820 http://www.ativel.com http://postbiota.org
8B29F6BE: 099D 78BA 2FD3 B014 B08A  7779 75B0 2443 8B29 F6BE