Preguntas ciencias de computabilidad

66

0Resp

96513Vistas

Reconocible vs Decidible

Abierta

Preguntado el 8 de Marzo, 2011 por Sirish

4

2Resp

292Vistas

problema de gramática libre de contexto

Resuelta

Preguntado el 3 de Octubre, 2013 por Lemmings19

4

2Resp

144Vistas

Indiscutibilidad de la relación de subconjunto.

Resuelta

Preguntado el 20 de Julio, 2014 por Geek

5

1Resp

134Vistas

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

Resuelta

Preguntado el 17 de Agosto, 2018 por Stella Biderman

5

4Resp

618Vistas

¿Ejemplos de funciones parciales fuera de la teoría de funciones recursivas?

Resuelta

Preguntado el 14 de Septiembre, 2012 por Jon Bright

4

1Resp

107Vistas

¿Es la partición de un conjunto múltiple, M, en dos subconjuntos iguales equivalente a la partición (M $\cup$ M) en cuatro subconjuntos iguales?

Resuelta

Preguntado el 14 de Marzo, 2017 por Daniel

8

2Resp

300Vistas

¿Por qué termina este procedimiento? ¿O hay números para los que no?

Abierta

Preguntado el 1 de Mayo, 2019 por Omited

4

1Resp

128Vistas

Correspondencia uno a uno entre números transcendentales e indiscutibles.

Abierta

Preguntado el 20 de Abril, 2019 por Exclu

5

1Resp

172Vistas

¿Por qué la función computable está en$\Delta_{1}^0$?

Resuelta

Preguntado el 23 de Febrero, 2013 por UQT

6

4Resp

644Vistas

Cuántas cpu necesario para comprobar de 100 millones de dígitos de los números primos de una manera eficiente?

Abierta

Preguntado el 22 de Julio, 2011 por Adam F

4

1Resp

148Vistas

Estructura de la función recursiva parcial sobre recursivamente enumerable de la guardia

Resuelta

Preguntado el 15 de Enero, 2014 por biniamf

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

320Vistas

¿Y si una conjetura fuera indemostrable?

Abierta

Preguntado el 15 de Agosto, 2014 por Paul

5

1Resp

164Vistas

¿Existe un par de máquinas de Turing 'ortogonales' que no se detienen?

Resuelta

Preguntado el 1 de Marzo, 2015 por Bill Trok

5

1Resp

150Vistas

La complejidad de Kolmogorov frente a la noción intuitiva de simplicidad

Abierta

Preguntado el 13 de Julio, 2017 por FFF

6

1Resp

106Vistas

Un conjunto es recursivamente enumerable de la fib es el rango de un total de función recursiva

Abierta

Preguntado el 2 de Noviembre, 2017 por Sid Caroline

16

2Resp

813Vistas

¿Es computable la teoría de la categoría de espacios topológicos?

Resuelta

Preguntado el 3 de Marzo, 2019 por ManuelSchneid3r

4

3Resp

345Vistas

Conjunto recursivamente enumerable? ¿Alguna pista?

Resuelta

Preguntado el 13 de Agosto, 2012 por PapaFreud

4

2Resp

258Vistas

¿Cómo sabemos que cada Máquina Turing que se detiene puede expresarse como una función recursiva?

Resuelta

Preguntado el 19 de Junio, 2013 por Esben Skov Pedersen

6

1Resp

153Vistas

¿Cuál es el grado de verdad de Turing?

Resuelta

Preguntado el 11 de Enero, 2019 por TenPlus1

7

2Resp

127Vistas

¿Es posible poner una topología en idiomas reconocibles por Turing para expresar densidad entre todos los idiomas?

Resuelta

Preguntado el 12 de Enero, 2019 por Bermudes

5

1Resp

482Vistas

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

Resuelta

Preguntado el 5 de Julio, 2013 por Martin KS

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

190Vistas

Extender las funciones recursivas a clases superiores en la jerarquía aritmética

Resuelta

Preguntado el 5 de Mayo, 2013 por DanV

4

2Resp

147Vistas

Prueba de inducción de lema básica recursividad

Resuelta

Preguntado el 28 de Febrero, 2013 por zrbecker

4

2Resp

146Vistas

Fibonacci algoritmo recursivo rendimientos resultado interesante

Resuelta

Preguntado el 2 de Febrero, 2015 por Dan

4

1Resp

203Vistas

Decidible recursiva y predicados

Abierta

Preguntado el 3 de Septiembre, 2013 por Bob R.

15

2Resp

827Vistas

El teorema de completitud de Gödel y la indecidibilidad de la lógica de primer orden

Resuelta

Preguntado el 19 de Noviembre, 2018 por Pavel Sayekat

7

1Resp

149Vistas

Una teoría que parece tener prueba teórica ordinal $\omega_1^{CK}$

Abierta

Preguntado el 9 de Noviembre, 2018 por Elliot Glazer

6

1Resp

160Vistas

¿Una paradoja relacionada con los reales computables?

Resuelta

Preguntado el 24 de Marzo, 2013 por MikeV

Preguntas ciencias computabilidad

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Reconocible vs Decidible

problema de gramática libre de contexto

Indiscutibilidad de la relación de subconjunto.

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

¿Ejemplos de funciones parciales fuera de la teoría de funciones recursivas?

¿Es la partición de un conjunto múltiple, M, en dos subconjuntos iguales equivalente a la partición (M $\cup$ M) en cuatro subconjuntos iguales?

¿Por qué termina este procedimiento? ¿O hay números para los que no?

Correspondencia uno a uno entre números transcendentales e indiscutibles.

¿Por qué la función computable está en$\Delta_{1}^0$?

Cuántas cpu necesario para comprobar de 100 millones de dígitos de los números primos de una manera eficiente?

Estructura de la función recursiva parcial sobre recursivamente enumerable de la guardia

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

¿Y si una conjetura fuera indemostrable?

¿Existe un par de máquinas de Turing 'ortogonales' que no se detienen?

La complejidad de Kolmogorov frente a la noción intuitiva de simplicidad

Un conjunto es recursivamente enumerable de la fib es el rango de un total de función recursiva

¿Es computable la teoría de la categoría de espacios topológicos?

Conjunto recursivamente enumerable? ¿Alguna pista?

¿Cómo sabemos que cada Máquina Turing que se detiene puede expresarse como una función recursiva?

¿Cuál es el grado de verdad de Turing?

¿Es posible poner una topología en idiomas reconocibles por Turing para expresar densidad entre todos los idiomas?

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

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

Extender las funciones recursivas a clases superiores en la jerarquía aritmética

Prueba de inducción de lema básica recursividad

Fibonacci algoritmo recursivo rendimientos resultado interesante

Decidible recursiva y predicados

El teorema de completitud de Gödel y la indecidibilidad de la lógica de primer orden

Una teoría que parece tener prueba teórica ordinal $\omega_1^{CK}$

¿Una paradoja relacionada con los reales computables?

Etiquetas mas usadas

i-Ciencias.com

Powered by: