Preguntas de computabilidad04

14

4Resp

1475Vistas

La palabra problema para grupos finitos

Resuelta

Preguntado el 29 de Diciembre, 2010 por Paul Mrozowski

10

1Resp

344Vistas

¿Existe un autómata universal de empuje?

Abierta

Preguntado el 10 de Julio, 2012 por Alberto

17

3Resp

1492Vistas

Demostrar Gödel del teorema de la incompletitud el uso de detener problema

Resuelta

Preguntado el 23 de Julio, 2011 por user7667

6

3Resp

256Vistas

¿En qué lugar de la jerarquía analítica se encuentra la teoría de conjuntos verdadera?

Resuelta

Preguntado el 6 de Noviembre, 2016 por Rocco

6

1Resp

168Vistas

Una pregunta sobre la no-estándar de los números ordinales en $\alpha-$recursividad

Abierta

Preguntado el 12 de Abril, 2013 por Jing Zhang

6

5Resp

824Vistas

Hay al menos un número irracional con la propiedad de que no puede ser definido por un número finito de la cadena de la información?

Abierta

Preguntado el 7 de Septiembre, 2011 por Craig Stuntz

6

2Resp

299Vistas

Ordinales definibles sobre $L_\kappa$

Resuelta

Preguntado el 30 de Diciembre, 2012 por George Gaál

6

1Resp

215Vistas

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

Resuelta

Preguntado el 8 de Abril, 2014 por weux082690

8

2Resp

339Vistas

Hamilton Grafo Ponderado y los Problemas de Decisión de

Abierta

Preguntado el 19 de Febrero, 2015 por Guy Hughes

7

1Resp

228Vistas

FRACTRAN de números naturales

Resuelta

Preguntado el 31 de Julio, 2015 por user1667423

7

1Resp

201Vistas

¿Quién primero descubrió que algunos conjuntos R.E. no son recursivos?

Abierta

Preguntado el 8 de Agosto, 2014 por MJD

7

1Resp

193Vistas

Camino a la teoría de la realizabilidad categóricos

Abierta

Preguntado el 9 de Marzo, 2015 por ShihabSoft

6

1Resp

222Vistas

Terminales rutas en Kleene ' s O

Abierta

Preguntado el 1 de Noviembre, 2012 por Uri Agassi

8

3Resp

400Vistas

De lightface $\Sigma^1_1$ en negrita $\mathbf\Delta^1_1$

Resuelta

Preguntado el 14 de Octubre, 2012 por DanV

6

3Resp

405Vistas

¿Es el conjunto de todas las fórmulas materiales decidible?

Resuelta

Preguntado el 1 de Septiembre, 2011 por user15381

7

1Resp

538Vistas

¿Cuáles son$\Sigma _n^i$,$\Pi _n^i$ #% y% #%?

Resuelta

Preguntado el 31 de Marzo, 2013 por MphLee

7

3Resp

436Vistas

¿Reducciones para idiomas regulares?

Resuelta

Preguntado el 8 de Junio, 2012 por znq

6

2Resp

270Vistas

Indecidibilidad del problema detener

Resuelta

Preguntado el 17 de Junio, 2013 por Piotr99

6

1Resp

139Vistas

Maridaje en la aritmética de Presburger

Resuelta

Preguntado el 18 de Marzo, 2017 por FFF

6

1Resp

244Vistas

Invariación de Turing en grandes conjuntos de

Resuelta

Preguntado el 10 de Diciembre, 2014 por T Walder

10

1Resp

291Vistas

Demostrando que $\Omega = (\lambda x.xx)(\lambda x.xx)$ no es tipificable en el cálculo simplemente mecanografiado de la lambda

Resuelta

Preguntado el 1 de Junio, 2014 por Brian

7

2Resp

571Vistas

¿CCR puede solucionar el problema de parada?

Resuelta

Preguntado el 26 de Enero, 2012 por Andre Holzner

6

3Resp

221Vistas

¿Qué preguntas hacerse responsable/computable dada un conjunto de innumerables caracteres?

Resuelta

Preguntado el 6 de Mayo, 2013 por LB40

6

2Resp

224Vistas

Cardinalidad eficaz

Abierta

Preguntado el 7 de Junio, 2012 por manny smith

3

1Resp

109Vistas

¿Dos recurrentemente sistemas enumerable $A$ y $B$ tal que ninguno de Unión, intersección, resta el otro es recurrente?

Abierta

Preguntado el 5 de Enero, 2017 por user389821

4

1Resp

135Vistas

¿Fórmula de primer orden en el lenguaje de primer orden, otro lenguaje abierto donde verdadera equivalencia en los productos naturales?

Abierta

Preguntado el 5 de Enero, 2017 por user389821

6

1Resp

214Vistas

Un ejemplo topológico de la iglesia ' papel de indecidibilidad s

Abierta

Preguntado el 24 de Marzo, 2013 por Jacopo Notarstefano

7

2Resp

1899Vistas

¿Es este número computable?

Resuelta

Preguntado el 15 de Junio, 2017 por Krumelur

5

1Resp

152Vistas

Omitir tipos... recursivamente

Resuelta

Preguntado el 28 de Junio, 2013 por Johan

5

2Resp

180Vistas

Se puede implementar $\omega^{CK}_1$ $\omega^{CK}_1+1$ como un oráculo?

Resuelta

Preguntado el 12 de Febrero, 2012 por Vladimir Reshetnikov

Preguntas de computabilidad

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

La palabra problema para grupos finitos

¿Existe un autómata universal de empuje?

Demostrar Gödel del teorema de la incompletitud el uso de detener problema

¿En qué lugar de la jerarquía analítica se encuentra la teoría de conjuntos verdadera?

Una pregunta sobre la no-estándar de los números ordinales en $\alpha-$recursividad

Hay al menos un número irracional con la propiedad de que no puede ser definido por un número finito de la cadena de la información?

Ordinales definibles sobre $L_\kappa$

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

Hamilton Grafo Ponderado y los Problemas de Decisión de

FRACTRAN de números naturales

¿Quién primero descubrió que algunos conjuntos R.E. no son recursivos?

Camino a la teoría de la realizabilidad categóricos

Terminales rutas en Kleene ' s O

De lightface $\Sigma^1_1$ en negrita $\mathbf\Delta^1_1$

¿Es el conjunto de todas las fórmulas materiales decidible?

¿Cuáles son$\Sigma _n^i$,$\Pi _n^i$ #% y% #%?

¿Reducciones para idiomas regulares?

Indecidibilidad del problema detener

Maridaje en la aritmética de Presburger

Invariación de Turing en grandes conjuntos de

Demostrando que $\Omega = (\lambda x.xx)(\lambda x.xx)$ no es tipificable en el cálculo simplemente mecanografiado de la lambda

¿CCR puede solucionar el problema de parada?

¿Qué preguntas hacerse responsable/computable dada un conjunto de innumerables caracteres?

Cardinalidad eficaz

¿Dos recurrentemente sistemas enumerable $A$ y $B$ tal que ninguno de Unión, intersección, resta el otro es recurrente?

¿Fórmula de primer orden en el lenguaje de primer orden, otro lenguaje abierto donde verdadera equivalencia en los productos naturales?

Un ejemplo topológico de la iglesia ' papel de indecidibilidad s

¿Es este número computable?

Omitir tipos... recursivamente

Se puede implementar $\omega^{CK}_1$ $\omega^{CK}_1+1$ como un oráculo?

Etiquetas mas usadas

i-Ciencias.com

Powered by: