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=unavailable autolearn_force=no version=3.4.4
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.swapon.de!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: Niklas Holsti <niklas.holsti@tidorum.invalid>
Newsgroups: comp.lang.ada
Subject: Re: Languages don't  matter.  A mathematical refutation
Date: Thu, 02 Apr 2015 21:24:15 +0300
Organization: Tidorum Ltd
Message-ID: <co5fqeFg0gbU1@mid.individual.net>
References: <b3592526-729a-4198-a630-696542b3f3be@googlegroups.com>
 <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> <mfbfmk$f69$1@dont-email.me>
 <1o9qidr7413f4$.1jbc41w6r9j62.dlg@40tude.net> <mfbr50$829$1@dont-email.me>
 <awanqgeao21z.pqb250kd2qyw.dlg@40tude.net>
 <ac399bb2-3ede-422b-a9fe-33d5b092cf23@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=windows-1252; format=flowed
Content-Transfer-Encoding: 7bit
X-Trace: individual.net RqIAqwlTpcCSOVeYrhUZrgQ3UXF6elbJO3Oz4IsfzuI3oXvgub
Cancel-Lock: sha1:p3tanVk87oBurg9aTeSAg4sm4JU=
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.8;
 rv:31.0) Gecko/20100101 Thunderbird/31.5.0
In-Reply-To: <ac399bb2-3ede-422b-a9fe-33d5b092cf23@googlegroups.com>
Xref: news.eternal-september.org comp.lang.ada:25388
Date: 2015-04-02T21:24:15+03:00
List-Id: <comp.lang.ada>

On 15-04-02 15:59 , brbarkstrom@gmail.com wrote:
> 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.]

Something like the Zeigler study at Rational, or has it already been 
discussed in this thread?

http://archive.adaic.com/intro/ada-vs-c/cada_art.html

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