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 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,93a8020cc980d113
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news3.google.com!news.glorb.com!newsfeed2.telusplanet.net!newsfeed.telus.net!edtnps90.POSTED!023a3d7c!not-for-mail
Sender: blaak@METROID
Newsgroups: comp.lang.ada
Subject: Re: What is wrong with Ada?
References: <1176150704.130880.248080@l77g2000hsb.googlegroups.com>
 <zyBSh.44138$oV.14776@attbi_s21> <461B52A6.20102@obry.net>
 <awirc4gv13.fsf@hod.lan.m-e-leypold.de> <461BA892.3090002@obry.net>
 <yeabxgnsrj.fsf@hod.lan.m-e-leypold.de> <82dgve.spf.ln@hunter.axlog.fr>
 <1176226291.589741.257600@q75g2000hsh.googlegroups.com>
 <4eaive.6p9.ln@hunter.axlog.fr> <sa4ps6apjb7.fsf@margay.local>
 <wccwt0ho2fc.fsf@shell01.TheWorld.com>
 <1rbtw92apxpl1.1ednvo8v6oiq8$.dlg@40tude.net>
 <aslkgxyvpj.fsf@hod.lan.m-e-leypold.de>
 <el1sx203zohn$.1ehb1vbs3p0vd.dlg@40tude.net>
 <mn3b33w7tf.fsf@hod.lan.m-e-leypold.de>
 <13tcswu59l28h.zxb26cabf9a0.dlg@40tude.net>
 <thr6ql7hkp.fsf@hod.lan.m-e-leypold.de>
 <15k5b4j6za8ag.tpkuccinvzbd.dlg@40tude.net>
 <bmy7kkyt6r.fsf@hod.lan.m-e-leypold.de>
 <1jrh6o5yca0w.dqiviyjs01am.dlg@40tude.net> <uk5w2kepu.fsf@STRIPCAPStelus.net>
 <11yutnbe9zzzb.7d7szadj3908$.dlg@40tude.net>
From: Ray Blaak <rAYblaaK@STRIPCAPStelus.net>
Message-ID: <umz0x90zo.fsf@STRIPCAPStelus.net>
Organization: The Transcend
User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.1
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Date: Tue, 24 Apr 2007 16:43:41 GMT
NNTP-Posting-Host: 208.66.252.228
X-Trace: edtnps90 1177433021 208.66.252.228 (Tue, 24 Apr 2007 10:43:41 MDT)
NNTP-Posting-Date: Tue, 24 Apr 2007 10:43:41 MDT
Xref: g2news1.google.com comp.lang.ada:15261
Date: 2007-04-24T16:43:41+00:00
List-Id: <comp.lang.ada>

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:
> The context in which I used the word "trivial" was processing of infinite
> inputs. Infinity was the scale of triviality here, not human's ability to
> write, sell or use programs, whatever they might be.

Yes, I know. I disagree with this use of trivial in a fundamental way, mainly
because it makes all possible programs that humans can use trivial. Finite
inputs are all we can work with in practical terms. 

We cannot ever use a program with infinite inputs simply because we cannot
wait long enough to see if the inputs are really infinite. If nothing else,
the death of the universe puts an upper bound on things.

Finite is plenty big enough to get work done, evolve life, etc. Quick: what's
the biggest finite number you can think of?

It is also a pet peeve of mine to play games with infinite numbers of
programs, mapping them to natural numbers, etc. Such games are also not useful
in practical terms, and do not give humans access to a larger class of
programs, or make programs any easier to "find". They really only aid in the
classification of computability theories.

-- 
Cheers,                                        The Rhythm is around me,
                                               The Rhythm has control.
Ray Blaak                                      The Rhythm is inside me,
rAYblaaK@STRIPCAPStelus.net                    The Rhythm has my soul.