Preguntas ciencias de computability-teoría

17

7Resp

1671Vistas

¿Pruebas no constructivas de decidibilidad?

Abierta

Preguntado el 10 de Febrero, 2010 por Draemon

30

0Resp

5551Vistas

Física y Tesis de Church-Turing

Abierta

Preguntado el 8 de Febrero, 2011 por john

9

0Resp

383Vistas

Cobertura mínima v.s reales aleatorios

Abierta

Preguntado el 3 de Marzo, 2017 por Loren

12

4Resp

2627Vistas

Indecidibilidad en el juego de la vida de Conway

Resuelta

Preguntado el 9 de Noviembre, 2010 por Draemon

12

0Resp

573Vistas

Jerarquía de rápido crecimiento y máquinas de Turing

Abierta

Preguntado el 2 de Agosto, 2012 por Drew Noakes

9

0Resp

913Vistas

Anticadena de Turing no nulo

Abierta

Preguntado el 22 de Septiembre, 2015 por Peter Humphries

11

1Resp

465Vistas

Secuencia decreciente infinita por el salto de Turing

Abierta

Preguntado el 9 de Julio, 2014 por Andrey

12

0Resp

692Vistas

Calcular los diferenciales en la secuencia espectral de Adams

Abierta

Preguntado el 30 de Mayo, 2019 por Henrique de Sousa

12

0Resp

721Vistas

Funciones continuas y árboles de 2 arbustos

Abierta

Preguntado el 8 de Marzo, 2015 por Peter Humphries

13

0Resp

984Vistas

Un isomorfismo eficiente entre campos finitos

Abierta

Preguntado el 3 de Julio, 2016 por uji

16

0Resp

803Vistas

La función de Ackermann sobre los reales

Abierta

Preguntado el 3 de Noviembre, 2013 por Peter

15

0Resp

799Vistas

Teorías indecisos más fáciles que %-%-%

Abierta

Preguntado el 5 de Julio, 2011 por gonzalon

17

0Resp

536Vistas

¿Un oráculo para la función de Rayo le permitiría calcular un modelo de$(V, \in)$?

Abierta

Preguntado el 20 de Enero, 2018 por gsiems

20

2Resp

1526Vistas

Cualquier consecuencia importante con presuposición de $\mathbf{P} \neq \mathbf{NP}$

Resuelta

Preguntado el 17 de Agosto, 2017 por Kagaratsch

18

1Resp

1750Vistas

Teorema del punto fijo de Lawvere y teorema de recursión

Resuelta

Preguntado el 20 de Mayo, 2013 por Venkata Koppaka

22

1Resp

2034Vistas

¿Cuál es la relación entre las máquinas de Turing y el Teorema de Incompletitud de Gödel?

Resuelta

Preguntado el 30 de Diciembre, 2015 por ranger rover

19

3Resp

998Vistas

Que las distribuciones puede que muestra si usted puede tomar una muestra de Gauss?

Resuelta

Preguntado el 30 de Abril, 2014 por Jakub Narębski

34

2Resp

1622Vistas

¿Existe una máquina de Turing conocida que se detiene si y sólo si la conjetura de Collatz tiene un contraejemplo?

Resuelta

Preguntado el 24 de Agosto, 2018 por Tim Koscielski

19

4Resp

1247Vistas

La complejidad de Kolmogorov es el más fuerte noncomputable función

Abierta

Preguntado el 22 de Septiembre, 2013 por uji

21

2Resp

1007Vistas

Antirandom reales

Abierta

Preguntado el 27 de Septiembre, 2015 por Venkata Koppaka

22

1Resp

1081Vistas

La palabra problema para el grupo fundamental de la submanifolds de la 4-esfera

Resuelta

Preguntado el 21 de Julio, 2010 por Matthew Read

34

5Resp

3081Vistas

Problemas de decisión para los que no se sabe si son decidibles

Abierta

Preguntado el 6 de Noviembre, 2019 por Anthony

25

1Resp

967Vistas

Busy Beaver módulo 2

Resuelta

Preguntado el 22 de Julio, 2013 por Van Gale

34

1Resp

959Vistas

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

Abierta

Preguntado el 27 de Marzo, 2019 por Henk

25

3Resp

2478Vistas

¿Decidir si una máquina de Turing * probablemente se ejecuta para siempre es equivalente al problema de detención?

Resuelta

Preguntado el 22 de Mayo, 2013 por Ryan McCue

24

1Resp

978Vistas

¿Son decidibles las sumas de secuencias?

Resuelta

Preguntado el 9 de Junio, 2013 por apg

27

5Resp

3312Vistas

¿Podemos decidir si los pequeños programas de computadora se detienen?

Resuelta

Preguntado el 29 de Diciembre, 2013 por Kirk Broadhurst

26

2Resp

1051Vistas

¿El anillo de cohomología de un grupo finito es computable?

Resuelta

Preguntado el 9 de Mayo, 2018 por Abdelraouf Adjal

27

1Resp

1362Vistas

¿Por qué no es una descripción computable del ordinal de ZF?

Resuelta

Preguntado el 6 de Mayo, 2014 por Ryan McCue

30

3Resp

2114Vistas

¿Es decidible si una colección de matrices enteras genera o no un grupo libre?

Resuelta

Preguntado el 31 de Agosto, 2011 por finnp

Preguntas ciencias computability-teoría

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

¿Pruebas no constructivas de decidibilidad?

Física y Tesis de Church-Turing

Cobertura mínima v.s reales aleatorios

Indecidibilidad en el juego de la vida de Conway

Jerarquía de rápido crecimiento y máquinas de Turing

Anticadena de Turing no nulo

Secuencia decreciente infinita por el salto de Turing

Calcular los diferenciales en la secuencia espectral de Adams

Funciones continuas y árboles de 2 arbustos

Un isomorfismo eficiente entre campos finitos

La función de Ackermann sobre los reales

Teorías indecisos más fáciles que %-%-%

¿Un oráculo para la función de Rayo le permitiría calcular un modelo de$(V, \in)$?

Cualquier consecuencia importante con presuposición de $\mathbf{P} \neq \mathbf{NP}$

Teorema del punto fijo de Lawvere y teorema de recursión

¿Cuál es la relación entre las máquinas de Turing y el Teorema de Incompletitud de Gödel?

Que las distribuciones puede que muestra si usted puede tomar una muestra de Gauss?

¿Existe una máquina de Turing conocida que se detiene si y sólo si la conjetura de Collatz tiene un contraejemplo?

La complejidad de Kolmogorov es el más fuerte noncomputable función

Antirandom reales

La palabra problema para el grupo fundamental de la submanifolds de la 4-esfera

Problemas de decisión para los que no se sabe si son decidibles

Busy Beaver módulo 2

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

¿Decidir si una máquina de Turing * probablemente se ejecuta para siempre es equivalente al problema de detención?

¿Son decidibles las sumas de secuencias?

¿Podemos decidir si los pequeños programas de computadora se detienen?

¿El anillo de cohomología de un grupo finito es computable?

¿Por qué no es una descripción computable del ordinal de ZF?

¿Es decidible si una colección de matrices enteras genera o no un grupo libre?

Etiquetas mas usadas

i-Ciencias.com

Powered by: