Preguntas de computabilidad06

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

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

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

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

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

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

226Vistas

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

Resuelta

Preguntado el 2 de Mayo, 2012 por noah

4

2Resp

601Vistas

Un "innumerables" Máquina de Turing?

Resuelta

Preguntado el 11 de Junio, 2011 por Andre Holzner

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

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

4

1Resp

217Vistas

Un Obsesivo máquina de Turing problema

Abierta

Preguntado el 5 de Agosto, 2012 por Refactor

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

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

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

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

1Resp

136Vistas

Total de Turing reducibilidad

Resuelta

Preguntado el 16 de Agosto, 2015 por ManuelSchneid3r

4

1Resp

310Vistas

La teoría existencial es indecidible

Resuelta

Preguntado el 27 de Julio, 2015 por Mary Star

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

177Vistas

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

Abierta

Preguntado el 24 de Junio, 2017 por Viriato

4

1Resp

159Vistas

Una codificación efectiva de $\mathbb N^*$

Resuelta

Preguntado el 9 de Noviembre, 2013 por Endy Tjahjono

4

1Resp

233Vistas

El método de permiso

Resuelta

Preguntado el 5 de Abril, 2013 por Chris

10

3Resp

175Vistas

Libros de texto de lógica de matemática nivel posgrado

Resuelta

Preguntado el 18 de Octubre, 2017 por Foobanana

6

2Resp

694Vistas

Subconjunto de no-recursiva que es recurrentemente enumerable

Resuelta

Preguntado el 3 de Marzo, 2012 por Maria

4

2Resp

197Vistas

Demostrar que una función no es computable.

Resuelta

Preguntado el 11 de Marzo, 2014 por trojan

9

3Resp

358Vistas

¿qué es un número real "definible"?

Resuelta

Preguntado el 4 de Agosto, 2018 por Can Berk Güder

7

1Resp

123Vistas

Filas de los reales en el universo construible $L$

Resuelta

Preguntado el 11 de Agosto, 2018 por Cody S

4

1Resp

166Vistas

¿Es el ordinal $\omega \uparrow^\omega \omega$ todavía recurrente?

Resuelta

Preguntado el 21 de Diciembre, 2013 por user2249675

4

5Resp

225Vistas

De dónde viene este argumento muestra que hay una cantidad no numerable de TMs no?

Abierta

Preguntado el 6 de Julio, 2015 por Marco

4

2Resp

167Vistas

¿Existe una fórmula válida de primer orden cuya Skolemization es solicitado solamente con funciones incomputables?

Abierta

Preguntado el 31 de Octubre, 2015 por Vatine

5

3Resp

169Vistas

¿Puedes resolver el problema de parada para una única máquina de Turing no universal?

Abierta

Preguntado el 10 de Mayo, 2015 por Xevrex

Preguntas de computabilidad

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

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

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

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

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?

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

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

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

Un "innumerables" Máquina de Turing?

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

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

Un Obsesivo máquina de Turing problema

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

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

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

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

Total de Turing reducibilidad

La teoría existencial es indecidible

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

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

Una codificación efectiva de $\mathbb N^*$

El método de permiso

Libros de texto de lógica de matemática nivel posgrado

Subconjunto de no-recursiva que es recurrentemente enumerable

Demostrar que una función no es computable.

¿qué es un número real "definible"?

Filas de los reales en el universo construible $L$

¿Es el ordinal $\omega \uparrow^\omega \omega$ todavía recurrente?

De dónde viene este argumento muestra que hay una cantidad no numerable de TMs no?

¿Existe una fórmula válida de primer orden cuya Skolemization es solicitado solamente con funciones incomputables?

¿Puedes resolver el problema de parada para una única máquina de Turing no universal?

Etiquetas mas usadas

i-Ciencias.com

Powered by: