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

[Moreno]

Solo una cosa: no hace falta recurrir a la "ciencia", el algoritmo es
perfectamente decidible matemáticamente.
El problema de la parada de una máquina de Turing es otra cosa; lo que
niega es la existencia de un método genérico para decidir si un
algoritmo se detiene, pero se pueden hallar demostraciones particulares
para algoritmos particulares, que son perfectamente decidibles.


On Wed, 07 May 2008 21:39:20 +0200, "Eloy Anguiano Rey"
<eloy.anguiano en gmail.com> said:
> 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.
> 

-- 
http://www.fastmail.fm - Email service worth paying for. Try it for free