computability

45El calor

5Respuesta

¿Por qué el Juego de la vida de Conway puede clasificarse como una máquina universal?

Hace poco estuve leyendo sobre vida artificial y me encontré con el enunciado, "Conway’s Game of Life demonstrates enough complexity to be classified as a universal machine." Solo tenía una comprensió

5El calor

1Respuesta

Función de Ackermann versus n bucles anidados

Estoy trabajando mi camino a través de un libro sobre computación (Minksy 1967) y estoy teniendo dificultades para relacionar una función recursiva con una función definida en términos de bucles. En c

15El calor

2Respuesta

¿Cuál es el "truco" para escribir un Quine?

leí el papel clásico de Ken Thompson Reflections on Trusting Trust en la que se solicita a los usuarios a escribir Quine como una introducción a su argumento (muy recomendable leer). Un quine es un pr

8El calor

2Respuesta

Turing la integridad del cálculo lambda?

¿Cómo defiendes el hecho de que el cálculo lambda es Turing completo (de la manera más simple posible)?

5El calor

8Respuesta

¿Es más fácil resolver el problema de detención de lo que la gente piensa?

Aunque el caso general es indecidible, muchas personas aún resuelven problemas que son lo suficientemente equívocos para el uso diario. En la tesis doctoral de Cohen sobre virus informáticos, mostró c

8El calor

1Respuesta

¿Cuáles son todos los idiomas conocidos que las máquinas de Turing no pueden aceptar?

Para example, el lenguaje de las máquinas de Turing que no aceptan su propia codificación no puede ser aceptado por ninguna máquina de Turing.

6El calor

1Respuesta

¿Es PI un número computable?

AFAIK, turing números computables son números cuyo i-ésimo índice puede ser devuelto por una máquina de Turing. Entonces, un número no computable sería algo así como un número cuyos decimales se decid

39El calor

10Respuesta

¿Qué es una máquina de Turing?

¿Qué es una máquina de Turing y por qué la gente sigue mencionándola? ¡Mi PC IBM es todo lo que necesito para hacer mi cálculo! ¿Por qué a alguien le importan estas máquinas?