Por qué el software tiene bugs: la prueba matemática de que la verificación perfecta es imposible
Los bugs de software cuestan a la economía estadounidense más de 2 billones de dólares anuales, y las matemáticas demuestran que nunca podremos eliminarlos por completo. Tres teoremas del siglo XX explican por qué la imposibilidad de la verificación perfecta del software es una ley de la naturaleza, no una deficiencia de ingeniería.
Atemporal Física e ingeniería