comp.lang.ada
 help / color / mirror / Atom feed
From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
Subject: Re: Inspiration for a better calendar package?
Date: Tue, 16 Dec 2008 13:23:40 +0100
Date: 2008-12-16T13:23:41+01:00	[thread overview]
Message-ID: <49479dcd$0$31876$9b4e6d93@newsspool3.arcor-online.net> (raw)
In-Reply-To: <18ckfnjlu93l4$.1fpoya8h7dsm7$.dlg@40tude.net>

Dmitry A. Kazakov schrieb:

> It can be shown even simpler, printing is an action in real time. You
> cannot present any physical action that happens in political time.
> 
> Political fictions are incomputable. (:-))

Political time is decidable, though, because political
decisions are not restricted by adherence to the limits
of Turing machines and their relatives.  Insofar as what matters
in business when deciding which time it is, are "political survival",
reasonable profit versus insurance cost or loss of reputation,
customers who might sue you, ... the parties only need to agree
on definitions and procedures regarding the meaning of time
stamps.

Let the lawers find the rules.  Hold the machines during
the leap second, if necessary on an as-if basis.

(Example: taxation changes on 200Y-MM-DD.  Let this day
have a leap second.  Let a financial transaction take
place during that leap second.  Will they have to pay
the new taxes?  Solution: Avoid the question. Just
hold it until you can be sure the new time has been
enacted.  Restart your system, or switch to the
backup system that was prepared for the new time.)



  reply	other threads:[~2008-12-16 12:23 UTC|newest]

Thread overview: 24+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2008-12-09  9:48 Inspiration for a better calendar package? Jacob Sparre Andersen
2008-12-09 10:15 ` Martin
2008-12-09 11:15   ` Dmitry A. Kazakov
2008-12-09 12:23     ` Martin
2008-12-09 15:16     ` JDECS
2008-12-09 15:44       ` Dmitry A. Kazakov
2008-12-09 17:04         ` JDECS
2008-12-15  7:45     ` Wilhelm Spickermann
2008-12-15  9:00       ` Dmitry A. Kazakov
2008-12-15 12:14         ` m.collado
2008-12-15 13:35           ` Dmitry A. Kazakov
2008-12-15 12:59         ` Wilhelm Spickermann
2008-12-15 13:46           ` Dmitry A. Kazakov
2008-12-16  0:47             ` sjw
2008-12-16  8:41               ` Dmitry A. Kazakov
2008-12-16 12:08                 ` Georg Bauhaus
2008-12-16  5:50             ` Wilhelm Spickermann
2008-12-16  8:50               ` Dmitry A. Kazakov
2008-12-16 12:23                 ` Georg Bauhaus [this message]
2008-12-17  6:16                 ` Wilhelm Spickermann
2008-12-17  8:29                   ` Dmitry A. Kazakov
2008-12-18 21:48                     ` Wilhelm Spickermann
2008-12-19  8:38                       ` Dmitry A. Kazakov
     [not found]           ` <9ImdneCohuZCNdvUnZ2dnUVZ_s3inZ2d@earthlink.com>
2008-12-16  5:13             ` Wilhelm Spickermann
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox