Preguntas de computabilidad07

4

1Resp

160Vistas

Determinar si dos funciones recursivas primitivas son iguales

Resuelta

Preguntado el 5 de Mayo, 2013 por beardedprojamz

9

4Resp

3421Vistas

Ejemplo de conjunto no enumerable recursivamente $A \subseteq \mathbb{N}$

Resuelta

Preguntado el 9 de Mayo, 2011 por LarryN

4

1Resp

223Vistas

expresividad de la lógica infinita computable

Abierta

Preguntado el 18 de Mayo, 2012 por mmw

4

1Resp

127Vistas

¿Limitada de la adición y la multiplicación pueden computables en un modelo no estándar de la aritmética?

Abierta

Preguntado el 6 de Junio, 2018 por PyRulez

5

1Resp

150Vistas

Eliminación de cuantificadores

Resuelta

Preguntado el 10 de Diciembre, 2015 por Mary Star

4

1Resp

195Vistas

¿Es el análisis ordinal un proyecto no-recursiva?

Resuelta

Preguntado el 6 de Octubre, 2013 por Keshav Srinivasan

15

3Resp

1076Vistas

¿Por qué el teorema del punto fijo justifica la existencia de la función factorial?

Abierta

Preguntado el 3 de Octubre, 2018 por Pinocchio

4

1Resp

474Vistas

¿Hay una teoría decidible en lógica proposicional, cuyas consecuencias no son decidibles?

Resuelta

Preguntado el 26 de Noviembre, 2012 por Mirror318

4

1Resp

185Vistas

Arma grupos

Resuelta

Preguntado el 20 de Febrero, 2013 por patros

4

1Resp

142Vistas

Una función de acuerdo con una función primitiva recursiva en todos sino finito muchos puntos es recursiva primitiva

Resuelta

Preguntado el 6 de Octubre, 2013 por davidlegendmc

4

1Resp

183Vistas

¿Existe un algoritmo que probablemente resuelva el problema de Halting?

Abierta

Preguntado el 25 de Abril, 2015 por egl

8

2Resp

379Vistas

¿Es posible deducir Godel ' primer teorema de incompletitud s de Chaitin ' Teorema del estado incompleto de s?

Resuelta

Preguntado el 2 de Noviembre, 2014 por ray247

4

1Resp

122Vistas

¿Puede haber un conjunto contable sin función de conteo computable?

Resuelta

Preguntado el 9 de Septiembre, 2016 por Mark Fischler

5

1Resp

221Vistas

Una máquina de Turing para que detener es fuera de ZFC

Resuelta

Preguntado el 3 de Agosto, 2013 por Rakesh

6

1Resp

160Vistas

¿Una paradoja relacionada con los reales computables?

Resuelta

Preguntado el 24 de Marzo, 2013 por MikeV

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

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

4

2Resp

146Vistas

Fibonacci algoritmo recursivo rendimientos resultado interesante

Resuelta

Preguntado el 2 de Febrero, 2015 por Dan

4

2Resp

147Vistas

Prueba de inducción de lema básica recursividad

Resuelta

Preguntado el 28 de Febrero, 2013 por zrbecker

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

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

6

1Resp

153Vistas

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

Resuelta

Preguntado el 11 de Enero, 2019 por TenPlus1

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

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

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

5

1Resp

150Vistas

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

Abierta

Preguntado el 13 de Julio, 2017 por FFF

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

4

2Resp

320Vistas

¿Y si una conjetura fuera indemostrable?

Abierta

Preguntado el 15 de Agosto, 2014 por Paul

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

1Resp

128Vistas

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

Abierta

Preguntado el 20 de Abril, 2019 por Exclu

Preguntas de computabilidad

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Determinar si dos funciones recursivas primitivas son iguales

Ejemplo de conjunto no enumerable recursivamente $A \subseteq \mathbb{N}$

expresividad de la lógica infinita computable

¿Limitada de la adición y la multiplicación pueden computables en un modelo no estándar de la aritmética?

Eliminación de cuantificadores

¿Es el análisis ordinal un proyecto no-recursiva?

¿Por qué el teorema del punto fijo justifica la existencia de la función factorial?

¿Hay una teoría decidible en lógica proposicional, cuyas consecuencias no son decidibles?

Arma grupos

Una función de acuerdo con una función primitiva recursiva en todos sino finito muchos puntos es recursiva primitiva

¿Existe un algoritmo que probablemente resuelva el problema de Halting?

¿Es posible deducir Godel ' primer teorema de incompletitud s de Chaitin ' Teorema del estado incompleto de s?

¿Puede haber un conjunto contable sin función de conteo computable?

Una máquina de Turing para que detener es fuera de ZFC

¿Una paradoja relacionada con los reales computables?

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

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

Fibonacci algoritmo recursivo rendimientos resultado interesante

Prueba de inducción de lema básica recursividad

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

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

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

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

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

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

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

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

¿Y si una conjetura fuera indemostrable?

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

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

Etiquetas mas usadas

i-Ciencias.com

Powered by: