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

[Moreno]

No, es decidible.
Eso sí, habitualmente hay que poner unas restricciones a los datos de
entrada como precondición. La corrección del programa consiste en
demostrar que para los datos de entrada que cumplan esa precondición, se
cumple una determinada postcondición. Esta demostración se hace mediante
inducción noetheriana, encontrando un preorden bien fundado sobre los
datos de entrada.


On Wed, 7 May 2008 19:58:05 +0200, "Jorge Frias" <jorgejfrias en gmail.com>
said:
> 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.
> _______________________________________________
> Escepticos mailing list
> Escepticos en dis.ulpgc.es
> http://correo.dis.ulpgc.es/mailman/listinfo/escepticos

-- 
http://www.fastmail.fm - A no graphics, no pop-ups email service