comp.lang.ada
 help / color / mirror / Atom feed
From: "Jean François Martinez" <darkquark99@gmail.com>
Subject: Re: Languages don't  matter.  A mathematical refutation
Date: Fri, 3 Apr 2015 02:46:51 -0700 (PDT)
Date: 2015-04-03T02:46:51-07:00	[thread overview]
Message-ID: <8b8959de-2fe6-4108-9044-e4e19fac432b@googlegroups.com> (raw)
In-Reply-To: <17k4cw97n2vry.1de70j504frlo.dlg@40tude.net>

On Thursday, April 2, 2015 at 6:39:11 PM UTC+2, Dmitry A. Kazakov wrote:
> On Thu, 2 Apr 2015 08:58:41 -0700 (PDT), Jean François Martinez wrote:
> 
> > On Thursday, April 2, 2015 at 3:36:02 PM UTC+2, Dmitry A. Kazakov wrote:
> > 
> >>> 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 don't think so. Errors do not occur, they are present or introduced. The
> >> only probabilistic model could be random selection of a given error from
> >> the pool of errors. This is not related to the language choice. All
> >> difference here is in the pools, since errors made in C are different from
> >> errors made in Ada. You change the language, you get *other* errors, no
> >> statistics across to compare.
> > 
> > Really?  Errors occur because of progarmmer quality, physical shape (had a
> > bad night), distracting events, use of alcohol and drugs and plenty,
> > plenty of factors.   One of them being that a bird has just landed  in
> > front of your window.  Random.  
> 
> You are describing the process of programming. This is another model, which
> is certainly not random. If that were random, the same programmer asked to
> design the same program several times would randomly introduce any possible
> errors. That is not the case. People have memory, they learn, decision
> making process is nowhere random. In general, only typo errors could be
> considered random. Anything above simple motoric functions is not random.
>  
> -- 
> Regards,
> Dmitry A. Kazakov
> http://www.dmitry-kazakov.de

The problem is:  None of what you have said from the beginning is relevant
about how statitical tests work.

Let's say we have white balls and black balls.  The reasons they are white or black is definitely not random since it depends on the operator filling the machine with white or black paint.  :-).  Then from a conceptually infinite-sized urn  you take two samples at random.  The averages of the samples will differ from one another and from the expected value http://en.wikipedia.org/wiki/Expected_value (that is the propoortion of white balls in our urn) but usually not by that much and anyway you can calculate probability of the difference and probability of difference being above a certain threshold.   More exactly we approximate to a Student law or to a gaussian law depending on the size of the sample.  

Now we have two samples of programmers  and in each sample there are white balls (programmers who succeeded) and black balls (programmers who failed). 
Just like for balls being black or white due to deterministic reasons, they
may succeed or fail for deterministic reasons   We <em>don't care</em> and <em>don't care</em> why.  We make the <em>hypothesis</b>  these are samples of the same urn (ie from an homogeneous population so same proportion of white and black balls, of succeeding and failing programmers) calculate the averages and the probability we would have of getting a such difference or higher. Then we compare that probability with a threshold (usually 5% or 1%) and if it is superior we accept the hypothesis (two samples from the same urn) if it
is inferior we reject the hypothesis and assumme these are not two samples from the same urn but from different urns with one of them having a higher mix of white balls (succeeding programers).  In our case probability was inferior to one in one million so the null hypothesis (same urn) is rejected.

That is math, <em>it is correctly applied</em> and that is all what we can deduce with math.  To find the reasons of why one urn that happens to be labelled Ada has a higher proportion of white balls than the urn labelled C
requires applying field knowledge. 


Regards

Jean-François Martinez


  reply	other threads:[~2015-04-03  9:46 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
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 [this message]
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