Preguntas de computabilidad03

9

2Resp

240Vistas

Un conjunto homogéneo de algún tipo

Resuelta

Preguntado el 29 de Abril, 2012 por Aleksandr Levchuk

12

2Resp

348Vistas

La madre de todos los problemas indecidibles

Resuelta

Preguntado el 13 de Agosto, 2014 por Bob

9

1Resp

555Vistas

Algoritmo para responder a preguntas existenciales de Reducción de la

Abierta

Preguntado el 1 de Agosto, 2015 por Mary Star

9

4Resp

662Vistas

Consecuencias de resolver el problema de Halting

Abierta

Preguntado el 7 de Abril, 2011 por FrostedMint

9

1Resp

292Vistas

¿Caracterización prueba teórica de las funciones primitivas recursivas?

Resuelta

Preguntado el 21 de Febrero, 2014 por sewo

8

2Resp

440Vistas

La existencia de una función de utilidad sobre los reales

Resuelta

Preguntado el 9 de Marzo, 2014 por Andre Holzner

12

1Resp

210Vistas

Hay un "computable" contables modelo de ZFC?

Abierta

Preguntado el 30 de Noviembre, 2015 por 6005

11

5Resp

625Vistas

Una memoria de la computadora es finito, así que ¿cómo puede haber idiomas más potente que el resto?

Resuelta

Preguntado el 3 de Agosto, 2013 por RobotbeatsHuman

9

1Resp

223Vistas

¿Tiene un problema de decisión indecidible una instancia independiente de ZFC?

Resuelta

Preguntado el 11 de Agosto, 2013 por seanyboy

9

4Resp

866Vistas

¿Por qué isn ' t hay un lema bombeo idiomas recurrentemente enumerable?

Abierta

Preguntado el 9 de Abril, 2014 por Aaron Boyer

9

2Resp

251Vistas

Decidability de la consistencia para completar finitely axiomatized teorías?

Abierta

Preguntado el 13 de Junio, 2013 por Arctictern

7

2Resp

506Vistas

Significado intuitivo del concepto de "computable"

Abierta

Preguntado el 7 de Febrero, 2016 por Martytoof

14

3Resp

799Vistas

¿El teorema de recursión da quines?

Resuelta

Preguntado el 22 de Octubre, 2012 por noah

12

1Resp

906Vistas

El reconocimiento y Uso de la Constante de Chaitin

Resuelta

Preguntado el 11 de Agosto, 2011 por wajed

9

1Resp

480Vistas

$F[t]$ tiene teoría existencial positiva indecidible en el % de lenguaje $\{+, \cdot , 0, 1, t\}$

Abierta

Preguntado el 2 de Agosto, 2015 por Mary Star

12

2Resp

2044Vistas

Es el total de funciones recursivas recursivamente enumerable?

Resuelta

Preguntado el 20 de Febrero, 2012 por user25428

8

1Resp

200Vistas

Es el límite de una secuencia recursiva de recursivas ordinales en sí mismo un recursiva ordinal?

Abierta

Preguntado el 17 de Diciembre, 2014 por Keith

14

3Resp

609Vistas

¿Por qué $\Delta_1$ ¿frases de aritmética llamadas recursivas?

Resuelta

Preguntado el 21 de Julio, 2010 por Eric Haskins

9

2Resp

2235Vistas

Pregunta sobre la definición de "Prefijo libre"

Resuelta

Preguntado el 9 de Agosto, 2011 por Laserallan

14

1Resp

203Vistas

Recursión primitiva y $\Delta^0_0$

Abierta

Preguntado el 21 de Junio, 2015 por Allen Bauer

15

2Resp

592Vistas

¿Cuál es la relación entre la ZFC y la máquina de Turing?

Resuelta

Preguntado el 3 de Enero, 2013 por ircmaxell

7

2Resp

312Vistas

Complejidad del conjunto de ordinales computables

Resuelta

Preguntado el 15 de Octubre, 2011 por Levon Haykazyan

7

4Resp

552Vistas

¿Cuál es la relación entre "recursiva" o "recurrentemente enumerable" conjuntos y el concepto de recursividad?

Resuelta

Preguntado el 21 de Mayo, 2013 por Esben Skov Pedersen

8

2Resp

180Vistas

Gödel de la función beta, sin el teorema del resto Chino

Resuelta

Preguntado el 20 de Septiembre, 2016 por Allen Bauer

10

2Resp

484Vistas

Es allí cualquier generalización de la hyperarithmetical jerarquía uso de la analítica de la jerarquía de fórmulas pertenecientes a la tercera orden de la lógica y de arriba?

Resuelta

Preguntado el 26 de Noviembre, 2012 por Wolphram jonny

7

4Resp

468Vistas

Son computables reales finitary?

Abierta

Preguntado el 9 de Agosto, 2010 por Eric Haskins

8

1Resp

456Vistas

¿Existe un conjunto infinito de cadenas cuyas complejidades de Kolmogorov sean computables?

Resuelta

Preguntado el 3 de Diciembre, 2010 por htanata

10

1Resp

363Vistas

¿Qué son los "oracle resultados"?

Abierta

Preguntado el 30 de Diciembre, 2016 por nbro

9

2Resp

275Vistas

Hay naturales conocidos problemas de intermedio grados de unsolvability?

Resuelta

Preguntado el 4 de Febrero, 2013 por bendewey

8

1Resp

297Vistas

Cuántos ocupado castores con el mismo número de estados

Resuelta

Preguntado el 13 de Diciembre, 2013 por Faiz

Preguntas de computabilidad

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Un conjunto homogéneo de algún tipo

La madre de todos los problemas indecidibles

Algoritmo para responder a preguntas existenciales de Reducción de la

Consecuencias de resolver el problema de Halting

¿Caracterización prueba teórica de las funciones primitivas recursivas?

La existencia de una función de utilidad sobre los reales

Hay un "computable" contables modelo de ZFC?

Una memoria de la computadora es finito, así que ¿cómo puede haber idiomas más potente que el resto?

¿Tiene un problema de decisión indecidible una instancia independiente de ZFC?

¿Por qué isn ' t hay un lema bombeo idiomas recurrentemente enumerable?

Decidability de la consistencia para completar finitely axiomatized teorías?

Significado intuitivo del concepto de "computable"

¿El teorema de recursión da quines?

El reconocimiento y Uso de la Constante de Chaitin

$F[t]$ tiene teoría existencial positiva indecidible en el % de lenguaje $\{+, \cdot , 0, 1, t\}$

Es el total de funciones recursivas recursivamente enumerable?

Es el límite de una secuencia recursiva de recursivas ordinales en sí mismo un recursiva ordinal?

¿Por qué $\Delta_1$ ¿frases de aritmética llamadas recursivas?

Pregunta sobre la definición de "Prefijo libre"

Recursión primitiva y $\Delta^0_0$

¿Cuál es la relación entre la ZFC y la máquina de Turing?

Complejidad del conjunto de ordinales computables

¿Cuál es la relación entre "recursiva" o "recurrentemente enumerable" conjuntos y el concepto de recursividad?

Gödel de la función beta, sin el teorema del resto Chino

Es allí cualquier generalización de la hyperarithmetical jerarquía uso de la analítica de la jerarquía de fórmulas pertenecientes a la tercera orden de la lógica y de arriba?

Son computables reales finitary?

¿Existe un conjunto infinito de cadenas cuyas complejidades de Kolmogorov sean computables?

¿Qué son los "oracle resultados"?

Hay naturales conocidos problemas de intermedio grados de unsolvability?

Cuántos ocupado castores con el mismo número de estados

Etiquetas mas usadas

i-Ciencias.com

Powered by: