From: brbarkstrom@gmail.com
Subject: Re: Languages don't matter. A mathematical refutation
Date: Thu, 2 Apr 2015 05:59:03 -0700 (PDT)
Date: 2015-04-02T05:59:03-07:00 [thread overview]
Message-ID: <ac399bb2-3ede-422b-a9fe-33d5b092cf23@googlegroups.com> (raw)
In-Reply-To: <awanqgeao21z.pqb250kd2qyw.dlg@40tude.net>
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.
next prev parent reply other threads:[~2015-04-02 12:59 UTC|newest]
Thread overview: 94+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-03-25 11:46 Languages don't matter. A mathematical refutation Jean François Martinez
2015-03-25 15:19 ` Paul Rubin
2015-04-03 0:50 ` robin.vowels
2015-04-03 2:18 ` Jeffrey Carter
2015-04-03 13:37 ` Bob Duff
2015-04-03 14:13 ` Dmitry A. Kazakov
2015-04-03 17:34 ` Paul Rubin
2015-04-03 19:34 ` Dmitry A. Kazakov
2015-04-03 19:58 ` Paul Rubin
2015-04-04 6:59 ` Dmitry A. Kazakov
2015-04-06 21:12 ` Paul Rubin
2015-04-07 5:57 ` Dmitry A. Kazakov
2015-04-08 4:12 ` Paul Rubin
2015-04-08 6:45 ` Dmitry A. Kazakov
2015-04-04 0:41 ` Dennis Lee Bieber
2015-04-04 3:05 ` Paul Rubin
2015-04-04 14:46 ` Dennis Lee Bieber
2015-04-04 15:41 ` brbarkstrom
2015-04-04 19:20 ` Paul Rubin
2015-04-04 20:00 ` Dmitry A. Kazakov
2015-04-04 20:44 ` Paul Rubin
2015-04-05 8:00 ` Dmitry A. Kazakov
2015-04-05 9:55 ` Brian Drummond
2015-04-06 21:27 ` Randy Brukardt
2015-04-06 17:07 ` Paul Rubin
2015-04-06 17:41 ` Dmitry A. Kazakov
2015-04-06 18:35 ` Paul Rubin
2015-04-06 21:46 ` Randy Brukardt
2015-04-06 22:12 ` Paul Rubin
2015-04-06 23:40 ` Jeffrey Carter
2015-04-07 19:07 ` Randy Brukardt
2015-04-08 3:53 ` Paul Rubin
2015-04-08 21:16 ` Randy Brukardt
2015-04-09 1:36 ` Paul Rubin
2015-04-09 23:26 ` Randy Brukardt
2015-04-09 2:36 ` David Botton
2015-04-09 8:55 ` Georg Bauhaus
2015-04-09 9:38 ` Dmitry A. Kazakov
2015-04-09 13:14 ` G.B.
2015-04-09 14:35 ` Dmitry A. Kazakov
2015-04-09 15:43 ` G.B.
2015-04-09 17:26 ` Dmitry A. Kazakov
2015-04-09 18:40 ` Niklas Holsti
2015-04-09 19:02 ` Dmitry A. Kazakov
2015-04-09 20:38 ` Paul Rubin
2015-04-09 23:35 ` Randy Brukardt
2015-04-10 14:16 ` G.B.
2015-04-10 20:58 ` Randy Brukardt
2015-04-07 0:36 ` Dennis Lee Bieber
2015-04-05 13:57 ` Dennis Lee Bieber
2015-04-03 16:17 ` J-P. Rosen
2015-04-03 17:33 ` Bob Duff
2015-04-26 11:38 ` David Thompson
2015-04-03 19:00 ` Georg Bauhaus
2015-04-03 19:12 ` Jeffrey Carter
2015-04-03 22:37 ` Bob Duff
2015-04-03 23:38 ` Jeffrey Carter
2015-04-04 0:15 ` Bob Duff
2015-04-04 7:06 ` Dmitry A. Kazakov
2015-04-04 2:59 ` Paul Rubin
2015-04-04 0:56 ` Dennis Lee Bieber
2015-03-25 17:12 ` Jean François Martinez
2015-03-26 13:43 ` Maciej Sobczak
2015-03-26 15:01 ` Jean François Martinez
2015-03-26 17:45 ` Jeffrey Carter
2015-03-26 15:21 ` Dmitry A. Kazakov
2015-03-27 11:25 ` Jean François Martinez
2015-03-27 17:36 ` Dmitry A. Kazakov
2015-03-30 10:31 ` Jean François Martinez
2015-03-30 11:52 ` Dmitry A. Kazakov
2015-03-30 12:32 ` G.B.
2015-03-30 13:48 ` Dmitry A. Kazakov
2015-03-30 15:47 ` G.B.
2015-03-30 16:05 ` Dmitry A. Kazakov
2015-04-02 12:59 ` brbarkstrom [this message]
2015-04-02 13:35 ` Dmitry A. Kazakov
2015-04-02 14:48 ` jm.tarrasa
2015-04-02 15:55 ` brbarkstrom
2015-04-02 16:21 ` Jean François Martinez
2015-04-02 16:48 ` Dmitry A. Kazakov
2015-04-02 16:41 ` Dmitry A. Kazakov
2015-04-04 10:02 ` jm.tarrasa
2015-04-04 11:16 ` Dmitry A. Kazakov
2015-04-02 15:58 ` Jean François Martinez
2015-04-02 16:39 ` Dmitry A. Kazakov
2015-04-03 9:46 ` Jean François Martinez
2015-04-03 14:00 ` Dmitry A. Kazakov
2015-04-03 17:12 ` Jean François Martinez
2015-04-02 17:17 ` G.B.
2015-04-02 19:09 ` Dmitry A. Kazakov
2015-04-02 18:24 ` Niklas Holsti
2015-04-02 18:43 ` Jeffrey Carter
2015-03-30 11:36 ` Jean François Martinez
2015-03-30 10:48 ` jm.tarrasa
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox