From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,ee78aab9bfd2fe2a
X-Google-Attributes: gid103376,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news3.google.com!feeder1-2.proxad.net!proxad.net!feeder2-2.proxad.net!newsfeed.arcor.de!newsspool4.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Tue, 16 Dec 2008 13:23:40 +0100
From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
User-Agent: Thunderbird 2.0.0.18 (Macintosh/20081105)
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Inspiration for a better calendar package?
References: <873agxd6i1.fsf@nbi.dk>
 <d2977df2-2b2d-4683-9ca7-d76e2c333647@m15g2000vbp.googlegroups.com>
 <12gqldae49yoe$.1sf2zlz1fthvh.dlg@40tude.net>
 <6qmg8dFd8kd2U1@mid.individual.net>
 <1jv16tgrmhor4$.c3a8ugjxu6ed$.dlg@40tude.net>
 <6qn2kmFdflp2U1@mid.individual.net>
 <p42120onfljs.hnon9ry3mwqh.dlg@40tude.net>
 <6qottgFdsslcU1@mid.individual.net>
 <18ckfnjlu93l4$.1fpoya8h7dsm7$.dlg@40tude.net>
In-Reply-To: <18ckfnjlu93l4$.1fpoya8h7dsm7$.dlg@40tude.net>
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Message-ID: <49479dcd$0$31876$9b4e6d93@newsspool3.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 16 Dec 2008 13:23:41 CET
NNTP-Posting-Host: c53c56e6.newsspool3.arcor-online.net
X-Trace: 
 DXC=XFi4_QRRi8L^B]`=U:WelBMcF=Q^Z^V3H4Fo<]lROoRA^YC2XCjHcbI32LghY[]J1E;9OJDO8_SKFNSZ1n^B98iJE5EUZdHI;G@
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:3009
Date: 2008-12-16T13:23:41+01:00
List-Id: <comp.lang.ada>

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.)