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,b78c363353551702
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.68.223.40 with SMTP id qr8mr3845361pbc.0.1340380403988;
        Fri, 22 Jun 2012 08:53:23 -0700 (PDT)
Path: 
 l9ni7347pbj.0!nntp.google.com!news2.google.com!news.glorb.com!feeder.erje.net!newsfeed.straub-nv.de!uucp.gnuu.de!newsfeed.arcor.de!newsspool2.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Fri, 22 Jun 2012 17:52:53 +0200
From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.7;
 rv:13.0) Gecko/20120614 Thunderbird/13.0.1
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: about the new Ada 2012 pre/post conditions
References: <jrsjr7$uuo$1@speranza.aioe.org>
 <1hgo6aks03zy.by4pq4xbjsgf$.dlg@40tude.net> <jrsmfh$6fq$1@speranza.aioe.org>
 <npdjip6ohqlt$.1x6bxc9jsaago$.dlg@40tude.net> <js00co$clj$1@munin.nbi.dk>
 <1jvy3elqtnd1j.1sjbk32evhp1f$.dlg@40tude.net>
 <4fe45ce8$0$9508$9b4e6d93@newsspool1.arcor-online.net>
 <1v3soeviat3z1.f0iwle9giqwk.dlg@40tude.net>
 <4fe4819d$0$9525$9b4e6d93@newsspool1.arcor-online.net>
 <s54pj7rprcxl$.16t5ptnnsjgz1$.dlg@40tude.net>
In-Reply-To: <s54pj7rprcxl$.16t5ptnnsjgz1$.dlg@40tude.net>
Message-ID: <4fe494d6$0$9502$9b4e6d93@newsspool1.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 22 Jun 2012 17:52:54 CEST
NNTP-Posting-Host: d5abe5fd.newsspool1.arcor-online.net
X-Trace: 
 DXC=nhZRQ8]ChCRYI9]OHn9o5^ic==]BZ:af^4Fo<]lROoRQnkgeX?EC@@PC[<4Pd9AVHRnc\616M64>ZLh>_cHTX3j]<VgX@Oj4c>Y
X-Complaints-To: usenet-abuse@arcor.de
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Date: 2012-06-22T17:52:54+02:00
List-Id: <comp.lang.ada>

On 22.06.12 17:05, Dmitry A. Kazakov wrote:
> No, you cannot narrow any context so that laws of logic would not apply.

There is much more to programming than the laws of logic can express.
For example, human activity.

The world happens, including computers, and the laws of logic are
far too insufficient to capture it.