Preguntas ciencias de computabilidad03

4

1Resp

177Vistas

Títulos Turing en $\Sigma_3^0$ y $\Pi_1^0$ conjuntos.

Abierta

Preguntado el 24 de Junio, 2017 por Viriato

4

1Resp

146Vistas

¿Qué significa que un álgebra libre tenga un problema de palabras irresoluble?

Abierta

Preguntado el 15 de Diciembre, 2015 por Arctictern

4

1Resp

310Vistas

La teoría existencial es indecidible

Resuelta

Preguntado el 27 de Julio, 2015 por Mary Star

4

1Resp

136Vistas

Total de Turing reducibilidad

Resuelta

Preguntado el 16 de Agosto, 2015 por ManuelSchneid3r

5

4Resp

169Vistas

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

Resuelta

Preguntado el 17 de Mayo, 2015 por feil

4

2Resp

179Vistas

Podemos encontrar una fórmula de la definición de un recursivamente enumerable?

Resuelta

Preguntado el 23 de Enero, 2014 por bsamek

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

7

1Resp

243Vistas

¿Existe una relación entre el teorema de detención de Turing y la incompletitud de Gödel?

Resuelta

Preguntado el 8 de Marzo, 2015 por 11Kilobytes

6

1Resp

153Vistas

Hay una noción universal de la computabilidad?

Abierta

Preguntado el 25 de Abril, 2018 por Angel115

7

1Resp

656Vistas

¿Por qué la diagonalización no demuestra que los enteros no son contables?

Resuelta

Preguntado el 9 de Septiembre, 2013 por nelix

9

3Resp

139Vistas

Busy Beaver función de la tasa de crecimiento en comparación con funciones computables

Abierta

Preguntado el 15 de Abril, 2018 por Asvin

4

1Resp

217Vistas

Un Obsesivo máquina de Turing problema

Abierta

Preguntado el 5 de Agosto, 2012 por Refactor

3

2Resp

193Vistas

Cómo debe ser la relativizada Kleene pointclass $\Sigma^1_1(A)$ ser definido?

Resuelta

Preguntado el 23 de Abril, 2015 por Trevor Wilson

5

2Resp

249Vistas

Sobre el teorema de la prueba de longitud en el cálculo proposicional

Resuelta

Preguntado el 31 de Diciembre, 2013 por andy

4

2Resp

601Vistas

Un "innumerables" Máquina de Turing?

Resuelta

Preguntado el 11 de Junio, 2011 por Andre Holzner

4

1Resp

226Vistas

La notación en Sacks Superior de la Teoría de la Recursividad'

Resuelta

Preguntado el 2 de Mayo, 2012 por noah

4

1Resp

203Vistas

Una técnica para decidir satisfiability en los fragmentos de la lógica de primer orden

Resuelta

Preguntado el 4 de Julio, 2011 por Levon Haykazyan

4

1Resp

345Vistas

(Semi)Decidibilidad de la completitud de Turing de los autómatas celulares

Abierta

Preguntado el 13 de Noviembre, 2010 por aleksandar

4

1Resp

135Vistas

Hacer la prueba como asistentes Coq realmente necesario para realizar los cálculos para demostrar que n <= m, o es que hay un más óptimo algoritmo?

Resuelta

Preguntado el 15 de Agosto, 2015 por Will Sargent

5

1Resp

209Vistas

¿Cómo se puede saber si una prueba técnica puede demostrar algo? Específicamente, la inducción

Resuelta

Preguntado el 1 de Agosto, 2016 por steelbytes

5

1Resp

140Vistas

Modelos no estándares de PA con una relación de orden decidible.

Abierta

Preguntado el 3 de Junio, 2014 por Acaciadragoon

5

1Resp

320Vistas

¿Cuál es la potencia de un lenguaje recursivo frente a la de uno que es recurrentemente enumerable?

Resuelta

Preguntado el 26 de Abril, 2011 por Vince

5

2Resp

297Vistas

Puede ser decidable para cualquier polinomios para tener el punto de intersección?

Resuelta

Preguntado el 12 de Noviembre, 2014 por mfriedman

4

1Resp

205Vistas

¿De recursivo primitivo a recursivo al iterar sobre más de un argumento?

Resuelta

Preguntado el 25 de Agosto, 2015 por befzz

7

2Resp

187Vistas

Prueba-búsqueda de meta

Resuelta

Preguntado el 18 de Julio, 2016 por frogeyedpeas

5

1Resp

377Vistas

¿Recursivamente enumerables idiomas están cerrados bajo la operación de min(L)?

Resuelta

Preguntado el 26 de Junio, 2012 por Mohamed Eissa

4

1Resp

151Vistas

Primera reflexión teorema de $\Pi_1^1$ $\Pi_1^1$ propiedades

Resuelta

Preguntado el 24 de Febrero, 2017 por Viriato

6

3Resp

302Vistas

Ecuaciones diofánticas y décimo problema de Hilbert, ¿cómo lo hizo MRDP?

Resuelta

Preguntado el 15 de Mayo, 2014 por sudheer

5

2Resp

185Vistas

Ejemplo de sistemas $A, B$ tal que $A', B'$ son Turing equivalente pero $A, B$ no.

Abierta

Preguntado el 16 de Marzo, 2012 por Darius Bacon

6

2Resp

203Vistas

¿Hay un turing para que detener es equivalente al axioma de elección o su negación?

Resuelta

Preguntado el 7 de Agosto, 2015 por PyRulez

Preguntas ciencias computabilidad

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Títulos Turing en $\Sigma_3^0$ y $\Pi_1^0$ conjuntos.

¿Qué significa que un álgebra libre tenga un problema de palabras irresoluble?

La teoría existencial es indecidible

Total de Turing reducibilidad

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

Podemos encontrar una fórmula de la definición de un recursivamente enumerable?

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

¿Existe una relación entre el teorema de detención de Turing y la incompletitud de Gödel?

Hay una noción universal de la computabilidad?

¿Por qué la diagonalización no demuestra que los enteros no son contables?

Busy Beaver función de la tasa de crecimiento en comparación con funciones computables

Un Obsesivo máquina de Turing problema

Cómo debe ser la relativizada Kleene pointclass $\Sigma^1_1(A)$ ser definido?

Sobre el teorema de la prueba de longitud en el cálculo proposicional

Un "innumerables" Máquina de Turing?

La notación en Sacks Superior de la Teoría de la Recursividad'

Una técnica para decidir satisfiability en los fragmentos de la lógica de primer orden

(Semi)Decidibilidad de la completitud de Turing de los autómatas celulares

Hacer la prueba como asistentes Coq realmente necesario para realizar los cálculos para demostrar que n <= m, o es que hay un más óptimo algoritmo?

¿Cómo se puede saber si una prueba técnica puede demostrar algo? Específicamente, la inducción

Modelos no estándares de PA con una relación de orden decidible.

¿Cuál es la potencia de un lenguaje recursivo frente a la de uno que es recurrentemente enumerable?

Puede ser decidable para cualquier polinomios para tener el punto de intersección?

¿De recursivo primitivo a recursivo al iterar sobre más de un argumento?

Prueba-búsqueda de meta

¿Recursivamente enumerables idiomas están cerrados bajo la operación de min(L)?

Primera reflexión teorema de $\Pi_1^1$ $\Pi_1^1$ propiedades

Ecuaciones diofánticas y décimo problema de Hilbert, ¿cómo lo hizo MRDP?

Ejemplo de sistemas $A, B$ tal que $A', B'$ son Turing equivalente pero $A, B$ no.

¿Hay un turing para que detener es equivalente al axioma de elección o su negación?

Etiquetas mas usadas

i-Ciencias.com

Powered by: