Preguntas etiquetadas con computability

Preguntas relacionadas con la teoría de la computabilidad, también conocida como teoría de la recursividad

3
¿Cómo se puede decidir si tiene alguna secuencia de dígitos?
Nos dieron el siguiente ejercicio. Dejar f(n)={100n occurs in the decimal representation of πelsef(n)={10n occurs in the decimal representation of π0else\qquad \displaystyle f(n) = \begin{cases} 1 & 0^n \text{ occurs in the decimal representation of } \pi \\ 0 & \text{else}\end{cases} Demuestre que es computable.fff ¿Cómo es esto posible? Hasta …
5
¿Existe alguna relación concreta entre el teorema de incompletitud de Gödel, el problema de la detención y las máquinas universales de Turing?
Siempre he pensado vagamente que la respuesta a la pregunta anterior fue afirmativa en las siguientes líneas. El teorema de incompletitud de Gödel y la indecidibilidad del problema de detención son resultados negativos sobre la capacidad de decisión y se establecen mediante argumentos diagonales (y en la década de 1930), …
10
Potencia informática humana: ¿pueden los humanos decidir el problema de detención en las máquinas Turing?
Sabemos que el problema de detención (en máquinas de Turing) es indecidible para las máquinas de Turing. ¿Hay alguna investigación sobre qué tan bien la mente humana puede manejar este problema, posiblemente ayudado por las máquinas de Turing o las computadoras de uso general? Nota : Obviamente, en el sentido …
9
¿Por qué algunos lenguajes de programación de Turing son completos pero carecen de algunas habilidades de otros lenguajes?
Me encontré con un problema extraño al escribir un intérprete que (debería) engancharse a programas / funciones externas: las funciones en 'C' y 'C ++' no pueden conectar funciones variadas , por ejemplo, no puedo hacer una función que llame a 'printf' con exactamente los mismos argumentos que obtuvo, y …
9
¿C es realmente Turing completo?
Estaba tratando de explicarle a alguien que C es Turing completo, y me di cuenta de que en realidad no sé si es, de hecho, técnicamente Turing completo. (C como en la semántica abstracta, no como en una implementación real). La respuesta "obvia" (más o menos: puede abordar una cantidad …
2
Perplejo por el teorema de Rice
Resumen: Según el teorema de Rice, todo es imposible. ¡Y sin embargo, hago cosas supuestamente imposibles todo el tiempo! Por supuesto, el teorema de Rice no dice simplemente "todo es imposible". Dice algo más específico: "Cada propiedad de un programa de computadora no es computable". (Si desea dividir pelos, cada …
Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.