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-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,a00006d3c4735d70
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2004-01-11 16:59:20 PST
Path: 
 archiver1.google.com!news2.google.com!news.maxwell.syr.edu!newsfeed.icl.net!newsfeed.fjserv.net!newsfeed.icl.net!newsfeed.fjserv.net!feed.news.tiscali.de!eusc.inter.net!cs.tu-berlin.de!uni-duisburg.de!not-for-mail
From: Georg Bauhaus <sb463ba@l1-hrz.uni-duisburg.de>
Newsgroups: comp.lang.ada
Subject: Re: Certified C compilers for safety-critical embedded systems
Date: Mon, 12 Jan 2004 00:59:19 +0000 (UTC)
Organization: GMUGHDU
Message-ID: <btsrh7$gld$1@a1-hrz.uni-duisburg.de>
References: <VK2Mb.2414$Qq.1124@nwrdny01.gnilink.net>
 <Ya3Mb.19466$5V2.31681@attbi_s53> <40016052.60703@noplace.com>
 <TgnLoHN51M07@eisner.encompasserve.org>
NNTP-Posting-Host: l1-hrz.uni-duisburg.de
X-Trace: a1-hrz.uni-duisburg.de 1073869159 17069 134.91.1.34 (12 Jan 2004
 00:59:19 GMT)
X-Complaints-To: usenet@news.uni-duisburg.de
NNTP-Posting-Date: Mon, 12 Jan 2004 00:59:19 +0000 (UTC)
User-Agent: tin/1.5.8-20010221 ("Blue Water") (UNIX) (HP-UX/B.11.00
 (9000/800))
Xref: archiver1.google.com comp.lang.ada:4343
Date: 2004-01-12T00:59:19+00:00
List-Id: <comp.lang.ada>

Larry Kilgallen <Kilgallen@spamcop.net> wrote:
: In article <40016052.60703@noplace.com>, Marin David Condic <nobody@noplace.com> writes:
:> if (Date = Jan_30_2004) then
:>      for (X in All_Elligible_Citizens'Range) loop
:>          Put_Line (All_Elligible_Citizens (X).Name) ;
:>      end loop ;
:> end if ;
:> 
:> That ought to print the name of the next President well in advance of 
:> the actual election. ;-)
: 
: It depends on the specification of "All_Elligible_Citizens".
: 
: I would prefer "All_Citizens_Who_Will_Be_Eligible_At_The_Future_Date"
: so as not to exclude some 34 year olds who have a pending birthday.

Not knowing what the USA will be if they will be etc etc etc...
Is the world math?

Is this an example of what makes a mathematician different from
ordinary people? (Like in: All eligible corn flakes of the united
states of Canada will be president of Mexico. Probably true by
emptiness, nonsense by common sense. ;)


-- Georg