Preguntas de computability-theory

Puntuación Visitas Fecha
Foto de perfil de James Tuttle

9

0Resp
543Vistas

Modelos computables de los números ordinales

Resuelta
Preguntado el 9 de Septiembre, 2019 por James Tuttle
Etiquetas :
Foto de perfil de Venkata Koppaka

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
Etiquetas :
Imagen de perfil de thedeeno

75

6Resp
8127Vistas

¿Qué grafos son de Cayley?

Resuelta
Preguntado el 10 de Febrero, 2010 por thedeeno
Etiquetas :
Imagen de perfil de Thomas Jespersen

33

15Resp
6259Vistas

¿Qué es un teorema mágico en lógica?

Resuelta
Preguntado el 30 de Agosto, 2011 por Thomas Jespersen
Etiquetas :
Imagen de perfil de Ian Kelling

5

1Resp
276Vistas

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

Resuelta
Preguntado el 6 de Agosto, 2012 por Ian Kelling
Etiquetas :
Foto de perfil de Brendan Dowling

9

1Resp
418Vistas

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

Resuelta
Preguntado el 23 de Octubre, 2018 por Brendan Dowling
Etiquetas :
Foto de perfil de Ellery Newcomer

26

2Resp
1396Vistas

Decidibilidad del problema de los 3 cuerpos

Resuelta
Preguntado el 16 de Octubre, 2021 por Ellery Newcomer
Etiquetas :
Imagen de perfil de kdenney

6

3Resp
1119Vistas

complejidad computacional de las funciones recursivas primitivas

Resuelta
Preguntado el 25 de Mayo, 2012 por kdenney
Etiquetas :
Imagen de perfil de Ryan McCue

75

7Resp
10132Vistas

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

Resuelta
Preguntado el 6 de Agosto, 2010 por Ryan McCue
Etiquetas :
Imagen de perfil de Ryan McCue

40

3Resp
4194Vistas

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

Resuelta
Preguntado el 24 de Abril, 2011 por Ryan McCue
Etiquetas :
Imagen de perfil de Hates_

40

3Resp
4467Vistas

¿Existe un modelo computable de ZFC?

Resuelta
Preguntado el 20 de Enero, 2010 por Hates_
Etiquetas :
Foto de perfil de steevc

81

4Resp
10986Vistas

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

Resuelta
Preguntado el 13 de Febrero, 2012 por steevc
Etiquetas :
Foto de perfil de 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
Etiquetas :
Imagen de perfil de MunkiPhD

17

1Resp
935Vistas

Algoritmo de tiempo polinómico para comparar números en la notación de flechas encadenadas de Conway

Resuelta
Preguntado el 21 de Enero, 2013 por MunkiPhD
Etiquetas :
Foto de perfil de thedeeno

34

5Resp
1236Vistas

¿Se da el fenómeno del par exacto para los órdenes parciales en su área de matemáticas?

Resuelta
Preguntado el 20 de Abril, 2010 por thedeeno
Etiquetas :
Foto de perfil de David Hicks

29

3Resp
3033Vistas

¿Es decidible la teoría de las categorías?

Resuelta
Preguntado el 23 de Enero, 2010 por David Hicks
Etiquetas :
Imagen de perfil de Richard Szalay

20

2Resp
3629Vistas

Categorías de funciones recursivas

Resuelta
Preguntado el 4 de Abril, 2013 por Richard Szalay
Etiquetas :
Imagen de perfil de Ryan McCue

20

3Resp
4135Vistas

¿Pi1- oración independiente de ZF, ZF+Con(ZF), ZF+Con(ZF)+Con(ZF+Con(ZF)), etc.?

Resuelta
Preguntado el 8 de Junio, 2011 por Ryan McCue
Etiquetas :
Foto de perfil de thedeeno

19

4Resp
1324Vistas

¿Cualquier pregunta decidible sobre grupos finitamente presentados equivale a una pregunta sobre grupos abelianos?

Resuelta
Preguntado el 26 de Febrero, 2010 por thedeeno
Etiquetas :
Imagen de perfil de twigofa

18

4Resp
1793Vistas

Teoremas de la teoría de conjuntos que utilizan herramientas de la teoría de la computabilidad, y viceversa.

Resuelta
Preguntado el 18 de Abril, 2023 por twigofa
Etiquetas :
Foto de perfil de Venkata Koppaka

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
Etiquetas :
Imagen de perfil de yfeldblum

12

1Resp
715Vistas

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

Resuelta
Preguntado el 24 de Julio, 2011 por yfeldblum
Etiquetas :
Imagen de perfil de xtreye

8

3Resp
1282Vistas

Problemas indecidibles en geometría

Resuelta
Preguntado el 21 de Septiembre, 2011 por xtreye
Etiquetas :
Imagen de perfil de Peter

17

4Resp
1986Vistas

Lenguajes más allá de los enumerables

Resuelta
Preguntado el 21 de Abril, 2016 por Peter
Etiquetas :
Foto de perfil de Jan H

3

2Resp
512Vistas

¿Desigualdades numéricas indecidibles?

Resuelta
Preguntado el 11 de Abril, 2020 por Jan H
Etiquetas :
Foto de perfil de Traveling Tech Guy

26

4Resp
2998Vistas

Ackermann inverso: ¿recursivo primitivo o no?

Resuelta
Preguntado el 21 de Septiembre, 2011 por Traveling Tech Guy
Etiquetas :
Foto de perfil de mcaulay

4

1Resp
1135Vistas

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

Resuelta
Preguntado el 7 de Octubre, 2010 por mcaulay
Etiquetas :
Foto de perfil de clawrence

94

2Resp
5321Vistas

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

Resuelta
Preguntado el 4 de Agosto, 2022 por clawrence
Etiquetas :
Foto de perfil de Utah_Dave

9

2Resp
1296Vistas

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

Resuelta
Preguntado el 30 de Mayo, 2010 por Utah_Dave
Etiquetas :
Imagen de perfil de Usuario no registrado

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
Etiquetas :

Etiquetas mas usadas

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

Yandex
X