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,FREEMAIL_FROM autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,103b407e8b68350b X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2003-02-03 01:32:51 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!logbridge.uoregon.edu!arclight.uoregon.edu!enews.sgi.com!news.xtra.co.nz!53ab2750!not-for-mail From: "AG" Newsgroups: comp.lang.ada References: <1043680098.61106@master.nyc.kbcfp.com> <3afc3v4uur2kvd53v4ul18b5npjfm188o3@4ax.com> <1043773909.385612@master.nyc.kbcfp.com> <1043855067.848326@master.nyc.kbcfp.com> <1043938878.313737@master.nyc.kbcfp.com> <1043949677.919365@master.nyc.kbcfp.com> <1044025904.464559@master.nyc.kbcfp.com> Subject: Re: Anybody in US using ADA ? One silly idea.. X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 6.00.2800.1106 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1106 Message-ID: <6Hq%9.66948$F63.1363642@news.xtra.co.nz> Date: Mon, 3 Feb 2003 22:34:42 -0800 NNTP-Posting-Host: 219.88.60.226 X-Complaints-To: newsadmin@xtra.co.nz X-Trace: news.xtra.co.nz 1044264770 219.88.60.226 (Mon, 03 Feb 2003 22:32:50 NZDT) NNTP-Posting-Date: Mon, 03 Feb 2003 22:32:50 NZDT Organization: Xtra Xref: archiver1.google.com comp.lang.ada:33712 Date: 2003-02-03T22:34:42-08:00 List-Id: "Dmitry A. Kazakov" wrote in message news:qb6l3vglt4ur5svph1dn11o7dfmp8gl8c5@4ax.com... > On Fri, 31 Jan 2003 10:11:44 -0500, Hyman Rosen > wrote: > > >No, it is not, assuming the universe of allowed operations on > >doubles. The compiler converts the int to a double, but the int > >itself is not a double. > > Do you know, an integer is definitely a real number. You sure? How about a simple theorem that any two distinct real numbers have another real number between them? Either this theorem doesn't hold (and the whole math goes out the window) or the integers are most definitely not reals. Which will it be?