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.4 required=5.0 tests=BAYES_00,FORGED_MUA_MOZILLA
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,5412c98a3943e746
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.68.74.201 with SMTP id w9mr3706413pbv.0.1331756007399;
        Wed, 14 Mar 2012 13:13:27 -0700 (PDT)
Path: 
 h9ni26296pbe.0!nntp.google.com!news1.google.com!news.glorb.com!feeder.erje.net!news2.arglkargh.de!news.karotte.org!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: Niklas Holsti <niklas.holsti@tidorum.invalid>
Newsgroups: comp.lang.ada
Subject: Re: Verified compilers?
Date: Wed, 14 Mar 2012 22:13:25 +0200
Organization: Tidorum Ltd
Message-ID: <9sccf6FlmkU1@mid.individual.net>
References: <op.v91cleyiule2fv@douda-yannick> <jj3p5v$2tp$1@munin.nbi.dk>
 <9207716.776.1331054644462.JavaMail.geo-discussion-forums@ynaz38>
 <nhzeozam35it$.13mzx8ap4cmdc$.dlg@40tude.net>
 <op.wascesqrule2fv@douda-yannick>
 <4edda5mav3cf$.149pbgyxl1wx5.dlg@40tude.net>
 <9rplcgF5a2U1@mid.individual.net>
 <1psd0g0womgxi.1sle7ol12x3d5.dlg@40tude.net>
 <9rsahhFmr3U1@mid.individual.net> <ezfn0og1qfov.14k34sxoky5ke.dlg@40tude.net>
 <9rvdjvFfa8U1@mid.individual.net> <4pp58h1br5sp$.yylr20e5vzxb.dlg@40tude.net>
 <9s1s7tF6pcU1@mid.individual.net>
 <1oln2mjlozzh5$.1mxrd97lrgndo.dlg@40tude.net>
 <9s4mseFuoaU1@mid.individual.net> <v18znvc2u2sk.aqnplls3016g.dlg@40tude.net>
 <9sb3l3Fs4oU1@mid.individual.net>
 <1kfi2knknzph9.26hwb18vnyua$.dlg@40tude.net>
Mime-Version: 1.0
X-Trace: individual.net Nb/pY+l9Y+JtYg5jgq0xwQSa3v99bM7INK7Y71blg+5MH8VtGc
Cancel-Lock: sha1:yZPww/9FptlFEegi1XQ8jjygoOs=
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.6;
 rv:10.0.2) Gecko/20120216 Thunderbird/10.0.2
In-Reply-To: <1kfi2knknzph9.26hwb18vnyua$.dlg@40tude.net>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Date: 2012-03-14T22:13:25+02:00
List-Id: <comp.lang.ada>

On 12-03-14 12:14 , Dmitry A. Kazakov wrote:

> A meaning is always incomputable by definition. This is where the process
> of computing actually stops, when it reaches a state meaning something to
> the program's user.

If you want to discuss only this kind of "meaning", I quit. It is not 
computing, but psychology.

-- 
Niklas Holsti
Tidorum Ltd
niklas holsti tidorum fi
       .      @       .