Preguntas ciencias de computabilidad04

6

3Resp

285Vistas

¿Aprovechable = probadamente accesible?

Resuelta

Preguntado el 7 de Marzo, 2011 por Brian Ramsay

5

2Resp

217Vistas

Ejecución de programas en modelos no estándar de AP

Resuelta

Preguntado el 29 de Julio, 2013 por ak2

6

2Resp

268Vistas

¿Necesitas la verdadera aleatoriedad para ganar el juego de los dos sobres?

Abierta

Preguntado el 21 de Abril, 2015 por Mike

5

2Resp

141Vistas

$\alpha$-computable subconjunto acotado de $\alpha$ $L_\alpha$

Resuelta

Preguntado el 16 de Diciembre, 2015 por Dávid Tóth

5

3Resp

310Vistas

Función recursiva que salidas de su propio código

Resuelta

Preguntado el 15 de Mayo, 2011 por Jim Schafer

5

3Resp

598Vistas

¿Qué significa realmente el concepto de computación?

Abierta

Preguntado el 29 de Agosto, 2012 por Kyle

7

1Resp

208Vistas

Asintóticas funciones ligadas a todo computable inferior la función Castor ocupado

Abierta

Preguntado el 21 de Junio, 2016 por Dani

4

1Resp

148Vistas

¿Es todo conjunto recursivamente enumerable muchos-uno reducible a $L_\text{b}$ ?

Abierta

Preguntado el 13 de Diciembre, 2016 por user388407

8

1Resp

184Vistas

¿Todo lenguaje libre de contexto es equivalente a uno cuya gramática sólo tiene un símbolo no terminal?

Resuelta

Preguntado el 21 de Noviembre, 2012 por Carl

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

5

2Resp

298Vistas

Realidades aleatorias y aleatoriedad Martin-Löf

Abierta

Preguntado el 21 de Julio, 2013 por ZiglioNZ

5

1Resp

258Vistas

El problema de impresión: ¿Cómo demostrar que no decidable?

Resuelta

Preguntado el 6 de Agosto, 2012 por Jozef

6

3Resp

395Vistas

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

Resuelta

Preguntado el 9 de Febrero, 2012 por A Walker

6

1Resp

335Vistas

Cómo calcular el isomorfismo $V \simeq V^{**}$ (en Haskell)?

Resuelta

Preguntado el 28 de Marzo, 2012 por Drasko

10

1Resp

222Vistas

¿Es esto una función incomputables?

Abierta

Preguntado el 10 de Septiembre, 2017 por dave

6

2Resp

506Vistas

¿Todos los infinitos $\Sigma^1_1$ conjunto tienen un infinito $\Delta^1_1$ ¿subconjunto?

Resuelta

Preguntado el 20 de Julio, 2011 por Mridang Agarwalla

7

2Resp

256Vistas

¿Cómo se relaciona la lógica de segundo orden cálculo lambda?

Abierta

Preguntado el 18 de Febrero, 2013 por hwe

6

2Resp

711Vistas

¿Ejemplo de una Teoría Lógica Indecidible que es una extensión de una Teoría Lógica Decidible?

Resuelta

Preguntado el 30 de Enero, 2011 por boumol

6

2Resp

226Vistas

¿Cómo la indecidibilidad de la "teoría" implica que el ingenio humano es necesario en matemáticas?

Abierta

Preguntado el 24 de Abril, 2014 por user2800708

10

2Resp

848Vistas

¿Hay una teoría efectiva que "soluciona" el problema de parada?

Abierta

Preguntado el 29 de Julio, 2017 por PyRulez

6

2Resp

363Vistas

¿Hay una función que sólo genera números primos?

Abierta

Preguntado el 16 de Diciembre, 2012 por casperOne

5

2Resp

956Vistas

¿Esta función es una función primitiva recursiva?

Resuelta

Preguntado el 30 de Marzo, 2011 por Jim Schafer

7

1Resp

141Vistas

$\Delta_n^0$-juegos completos en la jerarquía aritmética

Resuelta

Preguntado el 6 de Marzo, 2017 por blk

7

3Resp

208Vistas

Funciones no computables de rápido crecimiento

Resuelta

Preguntado el 14 de Enero, 2016 por Gro-Tsen

5

2Resp

180Vistas

Se puede implementar $\omega^{CK}_1$ $\omega^{CK}_1+1$ como un oráculo?

Resuelta

Preguntado el 12 de Febrero, 2012 por Vladimir Reshetnikov

5

1Resp

152Vistas

Omitir tipos... recursivamente

Resuelta

Preguntado el 28 de Junio, 2013 por Johan

9

1Resp

492Vistas

Son continuos sistemas caóticos necesariamente uncomputable?

Abierta

Preguntado el 27 de Enero, 2014 por juiceh

7

2Resp

1899Vistas

¿Es este número computable?

Resuelta

Preguntado el 15 de Junio, 2017 por Krumelur

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

6

1Resp

214Vistas

Un ejemplo topológico de la iglesia ' papel de indecidibilidad s

Abierta

Preguntado el 24 de Marzo, 2013 por Jacopo Notarstefano

Preguntas ciencias computabilidad

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

¿Aprovechable = probadamente accesible?

Ejecución de programas en modelos no estándar de AP

¿Necesitas la verdadera aleatoriedad para ganar el juego de los dos sobres?

$\alpha$-computable subconjunto acotado de $\alpha$ $L_\alpha$

Función recursiva que salidas de su propio código

¿Qué significa realmente el concepto de computación?

Asintóticas funciones ligadas a todo computable inferior la función Castor ocupado

¿Es todo conjunto recursivamente enumerable muchos-uno reducible a $L_\text{b}$ ?

¿Todo lenguaje libre de contexto es equivalente a uno cuya gramática sólo tiene un símbolo no terminal?

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

Realidades aleatorias y aleatoriedad Martin-Löf

El problema de impresión: ¿Cómo demostrar que no decidable?

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

Cómo calcular el isomorfismo $V \simeq V^{**}$ (en Haskell)?

¿Es esto una función incomputables?

¿Todos los infinitos $\Sigma^1_1$ conjunto tienen un infinito $\Delta^1_1$ ¿subconjunto?

¿Cómo se relaciona la lógica de segundo orden cálculo lambda?

¿Ejemplo de una Teoría Lógica Indecidible que es una extensión de una Teoría Lógica Decidible?

¿Cómo la indecidibilidad de la "teoría" implica que el ingenio humano es necesario en matemáticas?

¿Hay una teoría efectiva que "soluciona" el problema de parada?

¿Hay una función que sólo genera números primos?

¿Esta función es una función primitiva recursiva?

$\Delta_n^0$-juegos completos en la jerarquía aritmética

Funciones no computables de rápido crecimiento

Se puede implementar $\omega^{CK}_1$ $\omega^{CK}_1+1$ como un oráculo?

Omitir tipos... recursivamente

Son continuos sistemas caóticos necesariamente uncomputable?

¿Es este número computable?

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

Un ejemplo topológico de la iglesia ' papel de indecidibilidad s

Etiquetas mas usadas

i-Ciencias.com

Powered by: