[escepticos] RE Errores de programación (ERA Clones poco parecidos)

[Eloy Anguiano Rey]

El mié, 07-05-2008 a las 19:58 +0200, Jorge Frias escribió:
> El día 7 de mayo de 2008 16:59, Eloy Anguiano Rey
> <eloy.anguiano en gmail.com> escribió:
> >  Esto es ciencia. Yo digo que funciona y tengo pruebas de que lo hace. De
> >  hecho tengo miles de pruebas porque este código está incrustado en un
> >  programa en producción y nunca ha fallado.
> >
> >  Si alguien quiere afirmar que no funciona le basta con una prueba para
> >  hacerlo.
> >
> 
> No digo que no funcione, digo que es muy dificil asegurar que un
> programa sea correcto, y funcione. No vale con hacer miles de pruebas
> y todas sean positivas, sobre todo si ese rango de datos introducidos
> pertenecen a un mínimo rango de los posibles. Tengo que refrescar mis
> nociones, pero podría ser que la corrección de tu programa sea un
> problema indecidible.

En efecto, es un problema indecidible, por eso acudí a la ciencia. Desde
el punto de vista matemático es indecidible. Desde el punto de vista
científico (del método) un programa es correcto si tengo suficientes
pruebas positivas de ello y ninguna negativa. Con una negativa es
suficiente para determinar que no es correcto.

Como puedes comprobar, los puntos de vista son importantes puesto que
cada uno afirma una cosa distinta.

Mi programa es perfecto pero depende de unas librerías que interaccionan
con un sistema operativo y nadie puede asegurar que todos los elementos
que interactúan en este programa sean completamente correctos.