Preguntas ciencias de computabilidad07

13

1Resp

413Vistas

Gödel del Segundo Teorema de la Incompletitud y Aritméticamente No Definible Teorías

Abierta

Preguntado el 7 de Febrero, 2015 por Burak

9

2Resp

785Vistas

¿Por qué es indecidible si dos transductores de estado finito son equivalentes?

Resuelta

Preguntado el 13 de Junio, 2012 por znq

9

5Resp

1299Vistas

Ejemplo de un número que no es el límite de una secuencia computable

Resuelta

Preguntado el 21 de Enero, 2012 por AboSami

10

2Resp

1259Vistas

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

Resuelta

Preguntado el 2 de Junio, 2015 por Lee

13

4Resp

408Vistas

Contables de la elección y la extracción de términos

Resuelta

Preguntado el 8 de Septiembre, 2015 por MilanG

12

3Resp

2027Vistas

¿Demostrando que el problema de parada es indecidible sin reducciones ni Diagonalización?

Abierta

Preguntado el 27 de Mayo, 2012 por znq

10

1Resp

291Vistas

¿Existe un subconjunto denso de $\mathbb{R}^2$ con todas las distancias están inconmensurables?

Resuelta

Preguntado el 29 de Noviembre, 2011 por Vladimir Reshetnikov

14

3Resp

1058Vistas

¿Qué es undecidability

Resuelta

Preguntado el 7 de Abril, 2011 por FrostedMint

13

1Resp

258Vistas

Cada secuencia no aumento de polinomios Torres estabiliza--prueba de Finitary

Abierta

Preguntado el 23 de Julio, 2015 por Vladimir Reshetnikov

11

3Resp

314Vistas

¿Debe ser computable una función que 'preserva la e.r.' por sí misma?

Resuelta

Preguntado el 25 de Junio, 2012 por Josef van Niekerk

11

2Resp

673Vistas

Los buenos libros de introducción de funciones recursivas primitivas

Resuelta

Preguntado el 30 de Diciembre, 2012 por Kiwi

16

1Resp

311Vistas

La consistencia de la fuerza de Turing mensurabilidad

Resuelta

Preguntado el 29 de Enero, 2014 por T Walder

14

1Resp

338Vistas

Un resultado de van der Waerden dice la teoría de Galois "necesidades" incomputable conjuntos - ¿qué significa esto exactamente?

Resuelta

Preguntado el 3 de Febrero, 2014 por Xenph Yan

36

3Resp

2410Vistas

¿Puede alguien explicar el Y Combinator?

Resuelta

Preguntado el 13 de Julio, 2011 por Knox

16

1Resp

247Vistas

¿Cuándo es normal la constante de Chaitin?

Resuelta

Preguntado el 4 de Junio, 2015 por sewo

16

1Resp

414Vistas

Que no es la función recursiva primitiva ' t $\Delta_0$

Resuelta

Preguntado el 17 de Abril, 2013 por Njax3SmmM2x2a0Zf7Hpd

25

4Resp

3394Vistas

¿Cuál es el de más rápido crecimiento total computable función se puede describir en unas pocas líneas?

Resuelta

Preguntado el 29 de Noviembre, 2011 por ChristopheCVB

17

4Resp

1464Vistas

"Prueba" de que ZFC es contradictorio el uso de máquinas de Turing

Resuelta

Preguntado el 24 de Septiembre, 2010 por kcrumley

16

5Resp

2109Vistas

¿Qué consecuencia filosófica tienen los teoremas de incompletitud de Goedel?

Abierta

Preguntado el 13 de Abril, 2012 por Dane

29

1Resp

979Vistas

Cómo interpretar "computable de los números reales no son numerables, y se completa"?

Resuelta

Preguntado el 12 de Junio, 2013 por Stephen

17

1Resp

575Vistas

Explícita automorphisms del campo de números algébricos

Resuelta

Preguntado el 3 de Agosto, 2013 por Michael Caron

15

1Resp

311Vistas

Tennenbaum del teorema sin que se derrame

Resuelta

Preguntado el 24 de Enero, 2014 por sewo

78

3Resp

4091Vistas

Hay ejemplos de no-computable de los números reales?

Resuelta

Preguntado el 8 de Agosto, 2013 por Dims

20

3Resp

767Vistas

La notación matemática y su importancia

Abierta

Preguntado el 4 de Febrero, 2014 por Bruno Alessi

22

2Resp

2333Vistas

Densidad de detener máquinas de Turing

Resuelta

Preguntado el 16 de Octubre, 2011 por easycheese

22

3Resp

980Vistas

Es la conjetura de Collatz en $\Sigma_1 / \Pi_1$?

Abierta

Preguntado el 18 de Enero, 2012 por Mike

21

3Resp

762Vistas

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

Resuelta

Preguntado el 21 de Octubre, 2012 por ronno

30

5Resp

2427Vistas

Es posible resolver cualquier geometría Euclidiana problema con un ordenador?

Resuelta

Preguntado el 5 de Abril, 2011 por UloPe

23

4Resp

2045Vistas

Es el ajedrez de Turing-completo?

Abierta

Preguntado el 11 de Octubre, 2011 por bryceadams

26

2Resp

2078Vistas

¿Son computables números transcendental?

Resuelta

Preguntado el 6 de Febrero, 2014 por Longchao Dong

Preguntas ciencias computabilidad

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Gödel del Segundo Teorema de la Incompletitud y Aritméticamente No Definible Teorías

¿Por qué es indecidible si dos transductores de estado finito son equivalentes?

Ejemplo de un número que no es el límite de una secuencia computable

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

Contables de la elección y la extracción de términos

¿Demostrando que el problema de parada es indecidible sin reducciones ni Diagonalización?

¿Existe un subconjunto denso de $\mathbb{R}^2$ con todas las distancias están inconmensurables?

¿Qué es undecidability

Cada secuencia no aumento de polinomios Torres estabiliza--prueba de Finitary

¿Debe ser computable una función que 'preserva la e.r.' por sí misma?

Los buenos libros de introducción de funciones recursivas primitivas

La consistencia de la fuerza de Turing mensurabilidad

Un resultado de van der Waerden dice la teoría de Galois "necesidades" incomputable conjuntos - ¿qué significa esto exactamente?

¿Puede alguien explicar el Y Combinator?

¿Cuándo es normal la constante de Chaitin?

Que no es la función recursiva primitiva ' t $\Delta_0$

¿Cuál es el de más rápido crecimiento total computable función se puede describir en unas pocas líneas?

"Prueba" de que ZFC es contradictorio el uso de máquinas de Turing

¿Qué consecuencia filosófica tienen los teoremas de incompletitud de Goedel?

Cómo interpretar "computable de los números reales no son numerables, y se completa"?

Explícita automorphisms del campo de números algébricos

Tennenbaum del teorema sin que se derrame

Hay ejemplos de no-computable de los números reales?

La notación matemática y su importancia

Densidad de detener máquinas de Turing

Es la conjetura de Collatz en $\Sigma_1 / \Pi_1$?

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

Es posible resolver cualquier geometría Euclidiana problema con un ordenador?

Es el ajedrez de Turing-completo?

¿Son computables números transcendental?

Etiquetas mas usadas

i-Ciencias.com

Powered by: