Preguntas de computabilidad02

39

5Resp

2575Vistas

Ejemplo de uncomputable pero definibles por el número de

Abierta

Preguntado el 4 de Mayo, 2015 por islamfaisal

26

2Resp

2078Vistas

¿Son computables números transcendental?

Resuelta

Preguntado el 6 de Febrero, 2014 por Longchao Dong

23

4Resp

2045Vistas

Es el ajedrez de Turing-completo?

Abierta

Preguntado el 11 de Octubre, 2011 por bryceadams

30

5Resp

2427Vistas

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

Resuelta

Preguntado el 5 de Abril, 2011 por UloPe

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

22

3Resp

980Vistas

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

Abierta

Preguntado el 18 de Enero, 2012 por Mike

22

2Resp

2333Vistas

Densidad de detener máquinas de Turing

Resuelta

Preguntado el 16 de Octubre, 2011 por easycheese

20

3Resp

767Vistas

La notación matemática y su importancia

Abierta

Preguntado el 4 de Febrero, 2014 por Bruno Alessi

78

3Resp

4091Vistas

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

Resuelta

Preguntado el 8 de Agosto, 2013 por Dims

15

1Resp

311Vistas

Tennenbaum del teorema sin que se derrame

Resuelta

Preguntado el 24 de Enero, 2014 por sewo

17

1Resp

575Vistas

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

Resuelta

Preguntado el 3 de Agosto, 2013 por Michael Caron

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

16

5Resp

2109Vistas

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

Abierta

Preguntado el 13 de Abril, 2012 por Dane

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

1Resp

414Vistas

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

Resuelta

Preguntado el 17 de Abril, 2013 por Njax3SmmM2x2a0Zf7Hpd

16

1Resp

247Vistas

¿Cuándo es normal la constante de Chaitin?

Resuelta

Preguntado el 4 de Junio, 2015 por sewo

36

3Resp

2410Vistas

¿Puede alguien explicar el Y Combinator?

Resuelta

Preguntado el 13 de Julio, 2011 por Knox

16

1Resp

311Vistas

La consistencia de la fuerza de Turing mensurabilidad

Resuelta

Preguntado el 29 de Enero, 2014 por T Walder

11

2Resp

673Vistas

Los buenos libros de introducción de funciones recursivas primitivas

Resuelta

Preguntado el 30 de Diciembre, 2012 por Kiwi

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

13

1Resp

258Vistas

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

Abierta

Preguntado el 23 de Julio, 2015 por Vladimir Reshetnikov

14

3Resp

1058Vistas

¿Qué es undecidability

Resuelta

Preguntado el 7 de Abril, 2011 por FrostedMint

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

13

4Resp

408Vistas

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

Resuelta

Preguntado el 8 de Septiembre, 2015 por MilanG

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

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

9

2Resp

785Vistas

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

Resuelta

Preguntado el 13 de Junio, 2012 por znq

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

10

1Resp

232Vistas

Función no computable que tiene valores computables en un conjunto denso de argumentos computables

Resuelta

Preguntado el 13 de Julio, 2015 por Vladimir Reshetnikov

9

1Resp

568Vistas

La medida de la irracionalidad de la constante de Chaitin $ \Omega $

Resuelta

Preguntado el 13 de Diciembre, 2011 por Vladimir Reshetnikov

Preguntas de computabilidad

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Ejemplo de uncomputable pero definibles por el número de

¿Son computables números transcendental?

Es el ajedrez de Turing-completo?

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

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

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

Densidad de detener máquinas de Turing

La notación matemática y su importancia

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

Tennenbaum del teorema sin que se derrame

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

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

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

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

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

¿Cuándo es normal la constante de Chaitin?

¿Puede alguien explicar el Y Combinator?

La consistencia de la fuerza de Turing mensurabilidad

Los buenos libros de introducción de funciones recursivas primitivas

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

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

¿Qué es undecidability

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

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

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

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

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

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

Función no computable que tiene valores computables en un conjunto denso de argumentos computables

La medida de la irracionalidad de la constante de Chaitin $ \Omega $

Etiquetas mas usadas

i-Ciencias.com

Powered by: