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=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,7e8cebf09cf80560
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,CP1252
Path: 
 g2news2.google.com!postnews.google.com!z27g2000prz.googlegroups.com!not-for-mail
From: Shark8 <onewingedshark@gmail.com>
Newsgroups: comp.lang.ada
Subject: Re: How would Ariane 5 have behaved if overflow checking were not
 turned off?
Date: Mon, 14 Mar 2011 21:53:01 -0700 (PDT)
Organization: http://groups.google.com
Message-ID: 
 <83f4da45-ae65-4707-afcd-0a9266c08df1@z27g2000prz.googlegroups.com>
References: 
 <a8387564-0835-467d-a461-60a093c38133@k15g2000prk.googlegroups.com>
 <2442baf5-d53e-4e9a-bbe6-6803feead512@r19g2000prm.googlegroups.com>
 <op.vsclj2zhule2fv@index.ici>
 <31012998-bb5c-49c8-90d9-8770e203e0de@i35g2000prd.googlegroups.com>
 <op.vsc9isxdule2fv@index.ici>
NNTP-Posting-Host: 174.28.172.140
Mime-Version: 1.0
Content-Type: text/plain; charset=windows-1252
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1300165025 7654 127.0.0.1 (15 Mar 2011 04:57:05
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Tue, 15 Mar 2011 04:57:05 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: z27g2000prz.googlegroups.com; posting-host=174.28.172.140;
 posting-account=lJ3JNwoAAAAQfH3VV9vttJLkThaxtTfC
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (Windows; U; Windows NT 6.0; en-US; rv:1.9.2.15)
 Gecko/20110303 Firefox/3.6.15 ( .NET CLR 3.5.30729; .NET4.0E),gzip(gfe)
Xref: g2news2.google.com comp.lang.ada:19171
Date: 2011-03-14T21:53:01-07:00
List-Id: <comp.lang.ada>

On Mar 14, 10:02=A0pm, Yannick Duch=EAne (Hibou57)
<yannick_duch...@yahoo.fr> wrote:
> Le Mon, 14 Mar 2011 21:28:17 +0100, KK6GM <mjsi...@scriptoriumdesigns.com=
> =A0
> a =E9crit:> Well, if I "prove" that the length of an earth day can never =
be more
> > than 25 hours, and that if some sensor measures more than 25 hours I
> > must have a hardware failure, and then I run my system on venus and
> > the measured day is truly more than 25 hours, what should happen?
>
> Vinzent solved the mystery, he says =93Precisely. The proof was just for =
the =A0
> wrong engine=94. This explains both the funny fact with the proof and wha=
t =A0
> cause the proof to be wrong in that case. If you use a proof made for =A0
> Venus, on Earth, proof will be wrong.
>
> Learned interesting things in that topic.
>
> --
> Si les chats miaulent et font autant de vocalises bizarres, c=92est pas p=
our =A0
> les chiens.
>
> =93I am fluent in ASCII=94 [Warren 2010]

Another way to think of it is it would be like trying to use the
Pythagorean
theorem for some triangle which isn't guaranteed to be a right
triangle.
Since the theorem is only valid for right-triangles it is entirely
possible
to get a "wrong answer" even though there are many cases where
[because the
triangle is close to 90-degrees] its results will be "good enough"
such as
in wood-working where there is some amount of give.