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,FREEMAIL_FROM autolearn=unavailable autolearn_force=no version=3.4.4 X-Received: by 10.43.107.79 with SMTP id dx15mr73356703icc.6.1427979544211; Thu, 02 Apr 2015 05:59:04 -0700 (PDT) X-Received: by 10.140.16.47 with SMTP id 44mr741669qga.0.1427979543790; Thu, 02 Apr 2015 05:59:03 -0700 (PDT) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!news.glorb.com!peer03.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!l13no753359iga.0!news-out.google.com!k20ni0qgd.0!nntp.google.com!z60no277773qgd.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Thu, 2 Apr 2015 05:59:03 -0700 (PDT) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=104.169.185.59; posting-account=Ies7ywoAAACcdHZMiIRy0M84lcJvfxwg NNTP-Posting-Host: 104.169.185.59 References: <59ac455c-72f6-43e2-8a79-efc0f3e16d9a@googlegroups.com> <19qfgu5pjszm5.s5y5u8r0zx8k.dlg@40tude.net> <161a69af-a392-4214-bd92-0e20e7522cca@googlegroups.com> <1ht5q4lxmtf3p.mntbczbpti5n.dlg@40tude.net> <0ac76a41-d276-47d4-8659-530229802d12@googlegroups.com> <1ieaan02ff638.n6kjnn72tsp3$.dlg@40tude.net> <1o9qidr7413f4$.1jbc41w6r9j62.dlg@40tude.net> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: Re: Languages don't matter. A mathematical refutation From: brbarkstrom@gmail.com Injection-Date: Thu, 02 Apr 2015 12:59:04 +0000 Content-Type: text/plain; charset=ISO-8859-1 X-Received-Bytes: 3597 X-Received-Body-CRC: 2573883298 Xref: news.eternal-september.org comp.lang.ada:25373 Date: 2015-04-02T05:59:03-07:00 List-Id: On Monday, March 30, 2015 at 12:05:37 PM UTC-4, Dmitry A. Kazakov wrote: > On Mon, 30 Mar 2015 17:47:32 +0200, G.B. wrote: > > > On 30.03.15 15:48, Dmitry A. Kazakov wrote: > >> On Mon, 30 Mar 2015 14:32:08 +0200, G.B. wrote: > >> > >>> On 30.03.15 13:52, Dmitry A. Kazakov wrote: > >>>> Your book related so-called hidden variable theory. It is considered dead > >>>> wrong for about a century. > >>> > >>> God is dead? > >> > >> Nope, he keep on playing dice... (:-)) > > > > I wonder if there are any higher order dice? > > It depends on how much constructive in mathematical sense you want to be. > There is no reason to suggest that the diagonal proof would not work for > sets of all realizations, but you might be unable to construct such > objects. > > > (Of course, the question needs to be asked in a language > > as expressive as Ada 202X!) > > It would be incomputable anyway. So, God does not speak Ada. > > -- > Regards, > Dmitry A. Kazakov > http://www.dmitry-kazakov.de To change the subject a bit, is there any possibility of using the probabilistic approach to estimating the long-term cost of maintenance given a history of errors with a particular language? I'm thinking here of the statistical record of revisions to TeX that Knuth maintained [see Knuth, D. E., 1999: Digital Typography, Center for the Study of Language and Information, Stanford University, pp. 655-662.] It seems reasonable to suppose that there are two costs to long-term maintenance once a particular project has completed development: correcting errors and adding features. Part of the cost is due to having maintainers climb the learning curve. So, do we have a way of developing a model for the cost of dealing with errors that would show an advantage to Ada in long-term maintenance, particularly for long-term information preservation? I suppose it would be helpful to have the AdaCore history of error discovery and correction to compare with Knuth's documentation. Bruce B.