El concepto de problema de tiempo de inactividad

En términos sencillos, el problema de apagado es el problema de determinar si algún programa finalizará su funcionamiento en un tiempo limitado. Si el problema se puede resolver en un tiempo limitado, existe un programa que determina si se apagará y realizará el comportamiento opuesto. En este momento, es obvio que no importa cuál sea el resultado del problema de apagado, no lo hará. aceptar exigencias. Entonces este es un problema irresoluble.

La esencia del problema de la detención es la inconsistencia y el carácter incompleto de la lógica de primer orden. Proposiciones similares incluyen la paradoja del barbero, la paradoja de la omnipotencia, etc.