Preguntas ciencias de computability-theory

6

2Resp

465Vistas

Razonamiento usando subconjuntos contables de números reales

Resuelta

Preguntado el 19 de Febrero, 2018 por Kris_R

34

3Resp

3520Vistas

Usando Busy Beavers para probar conjeturas

Resuelta

Preguntado el 4 de Enero, 2024 por TechShiki

32

0Resp

4404Vistas

Punto de vista de computabilidad del teorema de incompletitud de Godel/Rosser

Resuelta

Preguntado el 23 de Octubre, 2017 por user21820

2

1Resp

2404Vistas

Demuestre que $gcd(x,y)$ y $z = lcm(x,y)$ es primitivo recursivo

Resuelta

Preguntado el 20 de Febrero, 2014 por Toby

3

2Resp

514Vistas

¿Es semicomputable cualquier secuencia de Cauchy para la terminación de racionales?

Resuelta

Preguntado el 20 de Agosto, 2017 por Kagaratsch

18

4Resp

1792Vistas

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

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

2

1Resp

53Vistas

Encontrar caminos 1 genéricos a través de un árbol $T \subseteq 2^{<\omega}$

Resuelta

Preguntado el 6 de Julio, 2020 por Ulil Albab Rabbani

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

20

2Resp

3628Vistas

Categorías de funciones recursivas

Resuelta

Preguntado el 4 de Abril, 2013 por Richard Szalay

7

1Resp

177Vistas

Grados mínimos de estructuras

Resuelta

Preguntado el 15 de Mayo, 2015 por Venkata Koppaka

2

2Resp

156Vistas

¿Qué tamaño debe tener $S(5)$ ser al menos , si no lo es $47,176,870\ $ ?

Resuelta

Preguntado el 1 de Junio, 2016 por Faiz

21

5Resp

4094Vistas

¿Por qué la relativización no puede resolver NP !=P?

Resuelta

Preguntado el 15 de Agosto, 2010 por Chris Driver

22

5Resp

2310Vistas

Teorema del valor intermedio de los reales computables

Resuelta

Preguntado el 15 de Diciembre, 2009 por dr-jan

3

1Resp

282Vistas

Maquinaria de tuplas en I-Sigma_0

Resuelta

Preguntado el 15 de Septiembre, 2010 por Usuario no registrado

28

3Resp

2474Vistas

Problemas "naturales" indecidibles no reducibles al problema de detención

Resuelta

Preguntado el 26 de Diciembre, 2022 por user496934

25

6Resp

8211Vistas

El problema de encontrar la primera cifra del número de Graham

Resuelta

Preguntado el 8 de Abril, 2010 por BlackShift

25

3Resp

2727Vistas

Problemas topológicos sin solución algorítmica

Resuelta

Preguntado el 2 de Junio, 2012 por BZ.

26

1Resp

1713Vistas

¿Es completa la regla 30 de Turing? ¿Hay alguna prueba de que no lo sea?

Resuelta

Preguntado el 27 de Abril, 2014 por AP01

29

3Resp

3033Vistas

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

Resuelta

Preguntado el 23 de Enero, 2010 por David Hicks

27

2Resp

2049Vistas

¿Se conoce algún ejemplo natural de aceleración de Gödel?

Resuelta

Preguntado el 18 de Mayo, 2011 por Shuft

28

8Resp

3715Vistas

Entre la recursión mu- y la primitiva

Resuelta

Preguntado el 17 de Noviembre, 2010 por Usuario no registrado

32

1Resp

1907Vistas

¿Esperamos que los ordinales computables suficientemente grandes resuelvan todas las cuestiones de aritmética?

Resuelta

Preguntado el 15 de Octubre, 2022 por Vetle

10

2Resp

1221Vistas

¿Es el problema del isomorfismo de grupo decidible para grupos abelianos?

Resuelta

Preguntado el 8 de Enero, 2011 por Flatlineato

1

1Resp

88Vistas

Pregunta específica sobre $\omega_1$ jerarquías

Resuelta

Preguntado el 28 de Septiembre, 2018 por SSequence

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

32

3Resp

2757Vistas

Dado un algoritmo de tiempo polinómico, ¿podemos calcular un límite de tiempo polinómico explícito sólo a partir del programa?

Resuelta

Preguntado el 13 de Junio, 2010 por thedeeno

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

1

1Resp

74Vistas

¿Es el conjunto de máquinas de Turing decidible en ZFC no recursivo?

Resuelta

Preguntado el 7 de Mayo, 2022 por Charbel Bejjani

33

15Resp

6259Vistas

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

Resuelta

Preguntado el 30 de Agosto, 2011 por Thomas Jespersen

Preguntas ciencias computability-theory

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Razonamiento usando subconjuntos contables de números reales

Usando Busy Beavers para probar conjeturas

Punto de vista de computabilidad del teorema de incompletitud de Godel/Rosser

Demuestre que $gcd(x,y)$ y $z = lcm(x,y)$ es primitivo recursivo

¿Es semicomputable cualquier secuencia de Cauchy para la terminación de racionales?

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

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

Encontrar caminos 1 genéricos a través de un árbol $T \subseteq 2^{<\omega}$

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

Categorías de funciones recursivas

Grados mínimos de estructuras

¿Qué tamaño debe tener $S(5)$ ser al menos , si no lo es $47,176,870\ $ ?

¿Por qué la relativización no puede resolver NP !=P?

Teorema del valor intermedio de los reales computables

Maquinaria de tuplas en I-Sigma_0

Problemas "naturales" indecidibles no reducibles al problema de detención

El problema de encontrar la primera cifra del número de Graham

Problemas topológicos sin solución algorítmica

¿Es completa la regla 30 de Turing? ¿Hay alguna prueba de que no lo sea?

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

¿Se conoce algún ejemplo natural de aceleración de Gödel?

Entre la recursión mu- y la primitiva

¿Esperamos que los ordinales computables suficientemente grandes resuelvan todas las cuestiones de aritmética?

¿Es el problema del isomorfismo de grupo decidible para grupos abelianos?

Pregunta específica sobre $\omega_1$ jerarquías

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

Dado un algoritmo de tiempo polinómico, ¿podemos calcular un límite de tiempo polinómico explícito sólo a partir del programa?

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

¿Es el conjunto de máquinas de Turing decidible en ZFC no recursivo?

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

Etiquetas mas usadas

i-Ciencias.com

Powered by: