Preguntas ciencias de turing-máquinas

5

1Resp

134Vistas

¿Cuántas variables se qué se necesita para ser completa para $\Sigma^0_n$?

Resuelta

Preguntado el 17 de Agosto, 2018 por Stella Biderman

10

1Resp

402Vistas

Saltando al infinito a lo largo de una cadena de dígitos

Resuelta

Preguntado el 13 de Abril, 2019 por yoliho

4

2Resp

138Vistas

Decidibilidad de la máquina de Turing

Abierta

Preguntado el 11 de Mayo, 2014 por MacLing

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

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

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

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

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

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

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

5Resp

227Vistas

De dónde viene este argumento muestra que hay una cantidad no numerable de TMs no?

Abierta

Preguntado el 6 de Julio, 2015 por Marco

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

5

2Resp

181Vistas

Negativos de los números y de Gödel Teorema del estado incompleto

Resuelta

Preguntado el 22 de Junio, 2018 por Stella Biderman

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

21

1Resp

171Vistas

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

Resuelta

Preguntado el 9 de Junio, 2015 por stefanosn

4

2Resp

155Vistas

¿Por qué es tan difícil de traducir algunos demuestra en forma legible por máquina?

Abierta

Preguntado el 13 de Marzo, 2016 por BigbearZzz

5

1Resp

153Vistas

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

Resuelta

Preguntado el 6 de Mayo, 2018 por user559507

6

1Resp

153Vistas

Hay una noción universal de la computabilidad?

Abierta

Preguntado el 25 de Abril, 2018 por Angel115

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

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

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

6

1Resp

230Vistas

Límites inferiores para bb(7) y bb(8) querido

Resuelta

Preguntado el 21 de Septiembre, 2013 por Faiz

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

17

3Resp

2401Vistas

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

Abierta

Preguntado el 22 de Noviembre, 2017 por SergeanT

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

7

2Resp

1899Vistas

¿Es este número computable?

Resuelta

Preguntado el 15 de Junio, 2017 por Krumelur

11

4Resp

1008Vistas

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

Resuelta

Preguntado el 8 de Abril, 2017 por Kitalda

6

2Resp

769Vistas

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

Resuelta

Preguntado el 1 de Abril, 2013 por Mikey Buggs

8

5Resp

2171Vistas

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

Resuelta

Preguntado el 23 de Marzo, 2017 por kefs

6

1Resp

215Vistas

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

Resuelta

Preguntado el 8 de Abril, 2014 por weux082690

Preguntas ciencias turing-máquinas

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

¿Cuántas variables se qué se necesita para ser completa para $\Sigma^0_n$?

Saltando al infinito a lo largo de una cadena de dígitos

Decidibilidad de la máquina de Turing

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

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

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

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

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

¿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)?

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

De dónde viene este argumento muestra que hay una cantidad no numerable de TMs no?

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

Negativos de los números y de Gödel Teorema del estado incompleto

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

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

¿Por qué es tan difícil de traducir algunos demuestra en forma legible por máquina?

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

Hay una noción universal de la computabilidad?

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

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

¿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?

Límites inferiores para bb(7) y bb(8) querido

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

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

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

¿Es este número computable?

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

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

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

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

Etiquetas mas usadas

i-Ciencias.com

Powered by: