Preguntas ciencias de computability-theory02

8

2Resp

625Vistas

Enumeración de los niveles de la jerarquía de Grzegorczyk

Resuelta

Preguntado el 20 de Enero, 2011 por Usuario no registrado

5

2Resp

845Vistas

¿Es computable la función de distancia de un punto al conjunto de Mandelbrot?

Resuelta

Preguntado el 12 de Octubre, 2010 por Usuario no registrado

81

4Resp

10986Vistas

¿Puede un grupo ser una máquina de Turing universal?

Resuelta

Preguntado el 13 de Febrero, 2012 por steevc

40

3Resp

4467Vistas

¿Existe un modelo computable de ZFC?

Resuelta

Preguntado el 20 de Enero, 2010 por Hates_

9

2Resp

1296Vistas

¿Cuáles son los límites de la no-calificación?

Resuelta

Preguntado el 30 de Mayo, 2010 por Utah_Dave

94

2Resp

5321Vistas

¿Encontrará esta máquina de Turing una prueba de su detención?

Resuelta

Preguntado el 4 de Agosto, 2022 por clawrence

40

3Resp

4194Vistas

¿Enunciados "más sencillos" equivalentes a Con(PA) o Con(ZFC)?

Resuelta

Preguntado el 24 de Abril, 2011 por Ryan McCue

4

1Resp

1135Vistas

La homología es computable porque es estable bajo suspensión

Resuelta

Preguntado el 7 de Octubre, 2010 por mcaulay

75

7Resp

10132Vistas

Nombrar sucintamente los grandes números: ZFC frente a Busy-Beaver

Resuelta

Preguntado el 6 de Agosto, 2010 por Ryan McCue

75

6Resp

8127Vistas

¿Qué grafos son de Cayley?

Resuelta

Preguntado el 10 de Febrero, 2010 por thedeeno

5

1Resp

621Vistas

Cómo es el teorema de la forma normal de Kleene para $\Sigma^1_1$ ¿relaciones probadas en RCA0?

Resuelta

Preguntado el 16 de Septiembre, 2013 por George Gaál

26

4Resp

2998Vistas

Ackermann inverso: ¿recursivo primitivo o no?

Resuelta

Preguntado el 21 de Septiembre, 2011 por Traveling Tech Guy

6

3Resp

1119Vistas

complejidad computacional de las funciones recursivas primitivas

Resuelta

Preguntado el 25 de Mayo, 2012 por kdenney

3

2Resp

512Vistas

¿Desigualdades numéricas indecidibles?

Resuelta

Preguntado el 11 de Abril, 2020 por Jan H

9

0Resp

543Vistas

Modelos computables de los números ordinales

Resuelta

Preguntado el 9 de Septiembre, 2019 por James Tuttle

17

4Resp

1986Vistas

Lenguajes más allá de los enumerables

Resuelta

Preguntado el 21 de Abril, 2016 por Peter

9

1Resp

418Vistas

¿Progreso hacia una interpretación computacional del axioma de univalencia?

Resuelta

Preguntado el 23 de Octubre, 2018 por Brendan Dowling

7

2Resp

520Vistas

La domesticación topológica más allá de la topología de Gandy-Harrington

Resuelta

Preguntado el 16 de Junio, 2015 por Venkata Koppaka

4

1Resp

450Vistas

¿Aplicaciones sencillas del forzamiento en la teoría de la recursión?

Resuelta

Preguntado el 22 de Enero, 2018 por Michael Weiss

23

1Resp

518Vistas

¿Tiene "toda" teoría de primer orden una extensión conservadora finitamente axiomatizable?

Resuelta

Preguntado el 20 de Marzo, 2019 por kevtrout

26

2Resp

1396Vistas

Decidibilidad del problema de los 3 cuerpos

Resuelta

Preguntado el 16 de Octubre, 2021 por Ellery Newcomer

2

1Resp

395Vistas

Cómo demostrar que los siguientes conjuntos son equinuméricos

Resuelta

Preguntado el 21 de Octubre, 2018 por Leb_Broth

1

1Resp

134Vistas

¿Son isomorfos los pozos de la misma longitud recursiva?

Resuelta

Preguntado el 4 de Noviembre, 2014 por Keith

8

3Resp

1282Vistas

Problemas indecidibles en geometría

Resuelta

Preguntado el 21 de Septiembre, 2011 por xtreye

12

1Resp

715Vistas

¿Probabilidad de que una máquina de Turing sea universal?

Resuelta

Preguntado el 24 de Julio, 2011 por yfeldblum

3

1Resp

61Vistas

son todos términos lambda simplemente tipados de tipo $(A\to A) \to A \to A$ ¿números de la iglesia?

Resuelta

Preguntado el 16 de Noviembre, 2017 por CheeseConQueso

2

1Resp

71Vistas

Demostración de la indecidibilidad del problema de isomorfismo de grupo a partir de un problema de palabras irresoluble

Resuelta

Preguntado el 2 de Mayo, 2019 por 2.38423103

5

1Resp

276Vistas

Compañero de la clase de puntos de los conjuntos inductivos

Resuelta

Preguntado el 6 de Agosto, 2012 por Ian Kelling

7

1Resp

330Vistas

Máquinas de Turing no deterministas y el teorema de recursión

Resuelta

Preguntado el 19 de Octubre, 2013 por Venkata Koppaka

Preguntas ciencias computability-theory

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Enumeración de los niveles de la jerarquía de Grzegorczyk

¿Es computable la función de distancia de un punto al conjunto de Mandelbrot?

¿Puede un grupo ser una máquina de Turing universal?

¿Existe un modelo computable de ZFC?

¿Cuáles son los límites de la no-calificación?

¿Encontrará esta máquina de Turing una prueba de su detención?

¿Enunciados "más sencillos" equivalentes a Con(PA) o Con(ZFC)?

La homología es computable porque es estable bajo suspensión

Nombrar sucintamente los grandes números: ZFC frente a Busy-Beaver

¿Qué grafos son de Cayley?

Cómo es el teorema de la forma normal de Kleene para $\Sigma^1_1$ ¿relaciones probadas en RCA0?

Ackermann inverso: ¿recursivo primitivo o no?

complejidad computacional de las funciones recursivas primitivas

¿Desigualdades numéricas indecidibles?

Modelos computables de los números ordinales

Lenguajes más allá de los enumerables

¿Progreso hacia una interpretación computacional del axioma de univalencia?

La domesticación topológica más allá de la topología de Gandy-Harrington

¿Aplicaciones sencillas del forzamiento en la teoría de la recursión?

¿Tiene "toda" teoría de primer orden una extensión conservadora finitamente axiomatizable?

Decidibilidad del problema de los 3 cuerpos

Cómo demostrar que los siguientes conjuntos son equinuméricos

¿Son isomorfos los pozos de la misma longitud recursiva?

Problemas indecidibles en geometría

¿Probabilidad de que una máquina de Turing sea universal?

son todos términos lambda simplemente tipados de tipo $(A\to A) \to A \to A$ ¿números de la iglesia?

Demostración de la indecidibilidad del problema de isomorfismo de grupo a partir de un problema de palabras irresoluble

Compañero de la clase de puntos de los conjuntos inductivos

Máquinas de Turing no deterministas y el teorema de recursión

Etiquetas mas usadas

i-Ciencias.com

Powered by: