Teorema de Rice
Rice's theorem
- Fecha
- 1951-1953 · fiabilidad media
- Lugar
- Syracuse, Nueva York, Estados Unidos
- Autoría
- Henry Gordon Rice
- Ámbito
- Saber y símbolos
Qué se descubrió
Teorema de la teoría de la computabilidad que establece que toda propiedad semántica no trivial del comportamiento de los programas es indecidible, generalizando la indecidibilidad del problema de la parada.
A qué dio paso
- Límites teóricos fundamentales para el análisis estático de programas
- Justificación teórica de por qué ciertos analizadores de código son imposibles en general
- Base conceptual para el diseño de verificadores y compiladores conservadores
- Ampliación de la teoría de la computabilidad iniciada por Turing y Gödel