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.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,a9b0810d3106d9b8
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news3.google.com!feeder.news-service.com!newsfeed.straub-nv.de!uucp.gnuu.de!newsfeed.arcor.de!newsspool4.arcor-online.net!news.arcor.de.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Fun with C
Newsgroups: comp.lang.ada
User-Agent: 40tude_Dialog/2.0.15.1
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Reply-To: mailbox@dmitry-kazakov.de
Organization: cbb software GmbH
References: 
 <4b5748dc-60fa-4cec-a317-054626e9a1ca@d19g2000prh.googlegroups.com>
 <1908th3tyz101.1f6c5w8t9mggy.dlg@40tude.net>
 <2118e788-7b3e-4d25-8d0f-5e60498e3a3b@cu4g2000vbb.googlegroups.com>
 <1hnl95prvrt6i$.1s675gncbjxsu$.dlg@40tude.net>
 <5d44db50-ceff-4f4d-8bc7-714f31fbca06@hd10g2000vbb.googlegroups.com>
 <1uthrsrabx8di$.8i74uk28axo0.dlg@40tude.net>
 <84b83223-e191-4912-8f73-318deb4dd783@d19g2000prh.googlegroups.com>
 <1j2bi0982bjcs.1beq9xn9za9yb$.dlg@40tude.net>
 <9j18r6hrlf06adfv4rdothhdrjmfdrmeno@4ax.com>
 <1qe52ny88vlk9$.hcf0wgd0xcmh.dlg@40tude.net> <ip1sdn$2dr$1@speranza.aioe.org>
 <117x5uepxzqrn$.zu65rz3wdey9.dlg@40tude.net> <ip247q$lt1$1@speranza.aioe.org>
 <10wrcep2z88z3$.1q3jmf2y5a0qn.dlg@40tude.net>
 <356b1c5c-9b6e-488b-a31a-6e1d15082f2c@k22g2000yqh.googlegroups.com>
 <n5tz5oqaynlo$.1u63whw2b1t1u.dlg@40tude.net>
 <b5dd3c5c-4567-498b-9a10-691a9fd60fe4@x1g2000yqb.googlegroups.com>
 <5l0ijm901fhp$.3f2xu562o6ri$.dlg@40tude.net>
 <4db7d198$0$6886$9b4e6d93@newsspool2.arcor-online.net>
Date: Wed, 27 Apr 2011 11:32:04 +0200
Message-ID: <ysqb65km9ros.z9glk684z387.dlg@40tude.net>
NNTP-Posting-Date: 27 Apr 2011 11:32:02 CEST
NNTP-Posting-Host: f726b0e2.newsspool3.arcor-online.net
X-Trace: 
 DXC=?mcmiOTkPSS<<0iRN7DLEQMcF=Q^Z^V3X4Fo<]lROoRQ8kF<OcfhCO[a]LNHib7JT[[6LHn;2LCV^[<mhadbfdU[[P:Mo3Ik1<P^cW0eD5]WnR
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news2.google.com comp.lang.ada:20032
Date: 2011-04-27T11:32:02+02:00
List-Id: <comp.lang.ada>

On Wed, 27 Apr 2011 10:19:36 +0200, Georg Bauhaus wrote:

> On 4/27/11 10:00 AM, Dmitry A. Kazakov wrote:
> 
>> In XIX century a physicist would claim that knowing all initial states and
>> velocities [and electric charges] of particles he would be able to describe
>> i486 (running Linux etc) with any given precision. Today, we know that he
>> could not. Which is the whole point. Newtonian mechanics fails to explain
>> how a simple (single core! (:-)) processor works. In fact it cannot
>> describe a single transistor.
> 
> Can you describe the effect of a set of interconnected
> computer transistors using Boolean functions?

That depends on what you understand under "effect." Considering a model
where elements are ideal switches, no, I cannot describe it using Boolean
functions. With switches I can build an oscillator, that would break the
model. Oscillators are incomputable.

But all that is beyond the point. The first computers were mechanical.
Recently it was claimed in c.l.a. that quantum computing too would be
Turing complete. Maybe it would, but that could not make quantum mechanics
a Newtonian one.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de