Preguntas de computabilidad

9

1Resp

492Vistas

Son continuos sistemas caóticos necesariamente uncomputable?

Abierta

Preguntado el 27 de Enero, 2014 por juiceh

7

2Resp

238Vistas

La comparación de los diferentes relativizations en la computabilidad

Resuelta

Preguntado el 15 de Mayo, 2015 por Allen Bauer

6

1Resp

153Vistas

Hay una noción universal de la computabilidad?

Abierta

Preguntado el 25 de Abril, 2018 por Angel115

6

3Resp

1160Vistas

Demuestra que los números trascendentales existen: ¿Hay formas menos panfletarias de hacerlo?

Abierta

Preguntado el 15 de Septiembre, 2013 por Andrew

5

4Resp

169Vistas

¿Por qué es la numeración de las funciones computables significativo?

Resuelta

Preguntado el 17 de Mayo, 2015 por feil

4

1Resp

100Vistas

$\alpha$-computable es $\alpha$-finito si $\alpha^*<\alpha$

Abierta

Preguntado el 21 de Junio, 2018 por Dávid Tóth

5

1Resp

133Vistas

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

Resuelta

Preguntado el 17 de Agosto, 2018 por Stella Biderman

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

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

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

8

5Resp

859Vistas

Texto de teoría de la recursión, alternativa a Soare

Abierta

Preguntado el 28 de Marzo, 2011 por philrabin

6

3Resp

395Vistas

¿Números que son "Provablemente Difíciles de Calcular"?

Resuelta

Preguntado el 9 de Febrero, 2012 por A Walker

6

1Resp

128Vistas

Ejemplo natural de un conjunto estrictamente enumerable recursivamente debajo del problema de detención

Abierta

Preguntado el 31 de Octubre, 2016 por Jędrek

4

2Resp

399Vistas

¿El $k$th adelante diferencia de Radó $\Sigma$ finalmente dominan cada función computable?

Abierta

Preguntado el 14 de Noviembre, 2011 por dave

5

2Resp

180Vistas

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

126Vistas

¿Por qué isn ' t el enfoque de funciones medibles (casi) duplicados en el enfoque de funciones computables?

Resuelta

Preguntado el 25 de Julio, 2017 por Michael Kniskern

4

1Resp

136Vistas

Débil y fuerte computabilidad de números reales.

Resuelta

Preguntado el 24 de Diciembre, 2015 por Wojowu

7

2Resp

228Vistas

Es $\Delta_0=\Delta_1$ en jerarquía aritmética?

Resuelta

Preguntado el 2 de Febrero, 2015 por Dávid Tóth

5

1Resp

481Vistas

Cómo probar funciones recursivas primitivas son definibles en la Aritmética de Peano?

Resuelta

Preguntado el 5 de Julio, 2013 por Martin KS

4

3Resp

464Vistas

Una pregunta sobre lenguajes libres de contexto del libro de computación de Sipser.

Resuelta

Preguntado el 26 de Enero, 2012 por RPK

4

2Resp

144Vistas

Indiscutibilidad de la relación de subconjunto.

Resuelta

Preguntado el 20 de Julio, 2014 por Geek

43

5Resp

1313Vistas

¿Por qué creemos en la tesis de Church-Turing?

Resuelta

Preguntado el 26 de Mayo, 2013 por Esben Skov Pedersen

27

4Resp

3412Vistas

Son algunos de los números reales "uncomputable"?

Resuelta

Preguntado el 17 de Agosto, 2011 por Philip Rieck

22

5Resp

2908Vistas

Hay un subconjunto de enteros positivos que ningún programa de computadora puede imprimir

Resuelta

Preguntado el 30 de Diciembre, 2014 por Meitar

21

5Resp

2116Vistas

Dado cualquier número computable, ¿hay algún algoritmo para decidir si es trascendental?

Abierta

Preguntado el 29 de Octubre, 2014 por mfriedman

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

Preguntas de computabilidad

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Son continuos sistemas caóticos necesariamente uncomputable?

La comparación de los diferentes relativizations en la computabilidad

Hay una noción universal de la computabilidad?

Demuestra que los números trascendentales existen: ¿Hay formas menos panfletarias de hacerlo?

¿Por qué es la numeración de las funciones computables significativo?

$\alpha$-computable es $\alpha$-finito si $\alpha^*<\alpha$

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

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

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

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

Texto de teoría de la recursión, alternativa a Soare

¿Números que son "Provablemente Difíciles de Calcular"?

Ejemplo natural de un conjunto estrictamente enumerable recursivamente debajo del problema de detención

¿El $k$th adelante diferencia de Radó $\Sigma$ finalmente dominan cada función computable?

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

¿Por qué isn ' t el enfoque de funciones medibles (casi) duplicados en el enfoque de funciones computables?

Débil y fuerte computabilidad de números reales.

Es $\Delta_0=\Delta_1$ en jerarquía aritmética?

Cómo probar funciones recursivas primitivas son definibles en la Aritmética de Peano?

Una pregunta sobre lenguajes libres de contexto del libro de computación de Sipser.

Indiscutibilidad de la relación de subconjunto.

¿Por qué creemos en la tesis de Church-Turing?

Son algunos de los números reales "uncomputable"?

Hay un subconjunto de enteros positivos que ningún programa de computadora puede imprimir

Dado cualquier número computable, ¿hay algún algoritmo para decidir si es trascendental?

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?

Etiquetas mas usadas

i-Ciencias.com

Powered by: