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.2 required=5.0 tests=BAYES_05,INVALID_MSGID,
	PLING_QUERY autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,4873305131bf4d94
X-Google-Attributes: gid103376,public
From: Jos De Laender <jdla@sh.bel.alcatel.be>
Subject: Re: How big is an int? (was: Yet another stupid language war (was:
 ... the only languages you need!!))
Date: 1997/11/14
Message-ID: <346C4CED.2A84@sh.bel.alcatel.be>#1/1
X-Deja-AN: 289498113
References: <danpop.879204372@news.cern.ch> <879381995snz@genesis.demon.co.uk>
 <879433137snz@genesis.demon.co.uk> <64fbr2$76k$1@route1.mdrf.france3.fr>
To: Boyd Roberts <boyd@france3.fr>
Organization: Alcatel SSD
Newsgroups: comp.lang.ada
Date: 1997-11-14T00:00:00+00:00
List-Id: <comp.lang.ada>


Boyd Roberts wrote:
> 
> In article <879433137snz@genesis.demon.co.uk>, fred@genesis.demon.co.uk (Lawrence Kirby) writes:
> >In article <879381995snz@genesis.demon.co.uk>
> >           fred@genesis.demon.co.uk "Lawrence Kirby" writes:
> >
> >...
> >
> >>Simply knowing a program is strictly conforming does not mean you can
> >>predict what it will output. However if you do know what input a
> >>strictly conforming program receives you should be able to predict from
> >>the standard alone what output it generates (although I'm not 100% sure of
> >>that).
> >
> >After sleeping on it it is fairly obvious that isn't true.
> 
> Obviously, because you're talking about the halting problem.
>

	Can someone explain this more to me. (Maybe including the
halting problem, which I forget since university,  and the relation
with this problem ?)

Many thanks !

**
**
**
**
**
**
**
**
**
**
**