Preguntas de turing-máquinas

31

5Resp

2771Vistas

¿Cuándo y por qué una máquina de Turing no puede resolver el problema de la parada?

Abierta

Preguntado el 26 de Diciembre, 2018 por Bram28

6

1Resp

215Vistas

¿Una máquina de Turing indecidible pero no universal?

Resuelta

Preguntado el 8 de Abril, 2014 por weux082690

6

2Resp

172Vistas

¿Por qué son máquinas de Turing el modelo preferido de cómputo?

Abierta

Preguntado el 12 de Septiembre, 2017 por Thomas Anton

8

5Resp

2171Vistas

Entender por qué el problema de Halting puede ' resolver t

Resuelta

Preguntado el 23 de Marzo, 2017 por kefs

5

1Resp

153Vistas

Cada máquina de Turing corresponde a un sistema formal de

Resuelta

Preguntado el 6 de Mayo, 2018 por user559507

5

1Resp

165Vistas

¿Existe un par de máquinas de Turing 'ortogonales' que no se detienen?

Resuelta

Preguntado el 1 de Marzo, 2015 por Bill Trok

6

2Resp

204Vistas

¿Hay un turing para que detener es equivalente al axioma de elección o su negación?

Resuelta

Preguntado el 7 de Agosto, 2015 por PyRulez

15

4Resp

2425Vistas

¿Qué tan grande es el conjunto de todas las máquinas de Turing?

Resuelta

Preguntado el 6 de Marzo, 2015 por dwf

21

3Resp

763Vistas

¿Cómo puede Busy beaver($10 \uparrow \uparrow 10$) no tienen comprobable límite superior?

Resuelta

Preguntado el 21 de Octubre, 2012 por ronno

5

1Resp

153Vistas

¿Existe una estricta medida numérica de la fuerza para cualquier teoría de conjuntos (en relación con un ordinal prueba teórica correspondiente)?

Resuelta

Preguntado el 27 de Septiembre, 2018 por lyrically wicked

17

3Resp

2401Vistas

¿Por qué nadie demostrar indecidibilidad por el argumento de "demasiados problemas"?

Abierta

Preguntado el 22 de Noviembre, 2017 por SergeanT

21

1Resp

171Vistas

¿Qué rompe la completitud de Turing del cálculo lambda simplemente tipado?

Resuelta

Preguntado el 9 de Junio, 2015 por stefanosn

43

5Resp

1313Vistas

¿Por qué creemos en la tesis de Church-Turing?

Resuelta

Preguntado el 26 de Mayo, 2013 por Esben Skov Pedersen

7

2Resp

586Vistas

Es el conjunto de PA teoremas de la misma como el conjunto de solucionable detener los problemas?

Resuelta

Preguntado el 27 de Enero, 2013 por Wolphram jonny

19

5Resp

2370Vistas

¿Cómo podemos saber que no estamos accidentalmente hablando acerca de la no-estándar de los números enteros?

Abierta

Preguntado el 5 de Marzo, 2018 por Abhishek Bajoria

6

1Resp

153Vistas

Hay una noción universal de la computabilidad?

Abierta

Preguntado el 25 de Abril, 2018 por Angel115

7

2Resp

128Vistas

¿Es posible poner una topología en idiomas reconocibles por Turing para expresar densidad entre todos los idiomas?

Resuelta

Preguntado el 12 de Enero, 2019 por Bermudes

6

2Resp

769Vistas

¿Por qué es la lógica proposicional no Turing completo?

Resuelta

Preguntado el 1 de Abril, 2013 por Mikey Buggs

4

2Resp

114Vistas

¿Podríamos diseñar una máquina de Turing que diera salida a cada bit de $\pi$ uno tras otro correctamente con una longitud de cinta limitada?

Abierta

Preguntado el 9 de Junio, 2017 por Frank Xu

4

1Resp

155Vistas

Máquina de Turing con parte de sólo lectura y cinta finita

Resuelta

Preguntado el 30 de Diciembre, 2018 por Eliads

10

2Resp

1260Vistas

Demuestre que la pregunta "¿Hay vida más allá de la Tierra?" es decidible

Resuelta

Preguntado el 2 de Junio, 2015 por Lee

7

2Resp

1899Vistas

¿Es este número computable?

Resuelta

Preguntado el 15 de Junio, 2017 por Krumelur

6

2Resp

131Vistas

¿Pueden codificarse todas las operaciones matemáticas con un lenguaje de Turing Complete?

Resuelta

Preguntado el 23 de Mayo, 2018 por Novkovski Stevo Bato

60

3Resp

2543Vistas

Hay Turing-indecidible problemas cuya undecidability es independiente de la detención problema?

Resuelta

Preguntado el 16 de Junio, 2015 por casper

9

2Resp

276Vistas

Hay naturales conocidos problemas de intermedio grados de unsolvability?

Resuelta

Preguntado el 4 de Febrero, 2013 por bendewey

11

4Resp

1008Vistas

¿Cuál es la diferencia entre un shuffle y una permutación?

Resuelta

Preguntado el 8 de Abril, 2017 por Kitalda

9

3Resp

140Vistas

Busy Beaver función de la tasa de crecimiento en comparación con funciones computables

Abierta

Preguntado el 15 de Abril, 2018 por Asvin

4

1Resp

132Vistas

Supongamos que un algoritmo mágico puede resolver el problema de detención ... Úselo para hacer cosas.

Abierta

Preguntado el 9 de Agosto, 2017 por QNeville

5

3Resp

169Vistas

¿Puedes resolver el problema de parada para una única máquina de Turing no universal?

Abierta

Preguntado el 10 de Mayo, 2015 por Xevrex

4

1Resp

232Vistas

¿Cuántos dígitos de la constante$\Omega$ de Chaitin sabríamos si tuviéramos un$\Sigma_1$ - Oracle?

Resuelta

Preguntado el 25 de Marzo, 2013 por Wolphram jonny

Preguntas de turing-máquinas

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

¿Cuándo y por qué una máquina de Turing no puede resolver el problema de la parada?

¿Una máquina de Turing indecidible pero no universal?

¿Por qué son máquinas de Turing el modelo preferido de cómputo?

Entender por qué el problema de Halting puede ' resolver t

Cada máquina de Turing corresponde a un sistema formal de

¿Existe un par de máquinas de Turing 'ortogonales' que no se detienen?

¿Hay un turing para que detener es equivalente al axioma de elección o su negación?

¿Qué tan grande es el conjunto de todas las máquinas de Turing?

¿Cómo puede Busy beaver($10 \uparrow \uparrow 10$) no tienen comprobable límite superior?

¿Existe una estricta medida numérica de la fuerza para cualquier teoría de conjuntos (en relación con un ordinal prueba teórica correspondiente)?

¿Por qué nadie demostrar indecidibilidad por el argumento de "demasiados problemas"?

¿Qué rompe la completitud de Turing del cálculo lambda simplemente tipado?

¿Por qué creemos en la tesis de Church-Turing?

Es el conjunto de PA teoremas de la misma como el conjunto de solucionable detener los problemas?

¿Cómo podemos saber que no estamos accidentalmente hablando acerca de la no-estándar de los números enteros?

Hay una noción universal de la computabilidad?

¿Es posible poner una topología en idiomas reconocibles por Turing para expresar densidad entre todos los idiomas?

¿Por qué es la lógica proposicional no Turing completo?

¿Podríamos diseñar una máquina de Turing que diera salida a cada bit de $\pi$ uno tras otro correctamente con una longitud de cinta limitada?

Máquina de Turing con parte de sólo lectura y cinta finita

Demuestre que la pregunta "¿Hay vida más allá de la Tierra?" es decidible

¿Es este número computable?

¿Pueden codificarse todas las operaciones matemáticas con un lenguaje de Turing Complete?

Hay Turing-indecidible problemas cuya undecidability es independiente de la detención problema?

Hay naturales conocidos problemas de intermedio grados de unsolvability?

¿Cuál es la diferencia entre un shuffle y una permutación?

Busy Beaver función de la tasa de crecimiento en comparación con funciones computables

Supongamos que un algoritmo mágico puede resolver el problema de detención ... Úselo para hacer cosas.

¿Puedes resolver el problema de parada para una única máquina de Turing no universal?

¿Cuántos dígitos de la constante$\Omega$ de Chaitin sabríamos si tuviéramos un$\Sigma_1$ - Oracle?

Etiquetas mas usadas

i-Ciencias.com

Powered by: