Preguntas ciencias de computability-teoría

17

7Resp

1674Vistas

¿Pruebas no constructivas de decidibilidad?

Abierta

Preguntado el 10 de Febrero, 2010 por Draemon

30

0Resp

5552Vistas

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

2629Vistas

Indecidibilidad en el juego de la vida de Conway

Resuelta

Preguntado el 9 de Noviembre, 2010 por Draemon

12

0Resp

574Vistas

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

Abierta

Preguntado el 2 de Agosto, 2012 por Drew Noakes

9

0Resp

915Vistas

Anticadena de Turing no nulo

Abierta

Preguntado el 22 de Septiembre, 2015 por Peter Humphries

11

1Resp

467Vistas

Secuencia decreciente infinita por el salto de Turing

Abierta

Preguntado el 9 de Julio, 2014 por Andrey

12

0Resp

699Vistas

Calcular los diferenciales en la secuencia espectral de Adams

Abierta

Preguntado el 30 de Mayo, 2019 por Henrique de Sousa

12

0Resp

724Vistas

Funciones continuas y árboles de 2 arbustos

Abierta

Preguntado el 8 de Marzo, 2015 por Peter Humphries

13

0Resp

985Vistas

Un isomorfismo eficiente entre campos finitos

Abierta

Preguntado el 3 de Julio, 2016 por uji

16

0Resp

804Vistas

La función de Ackermann sobre los reales

Abierta

Preguntado el 3 de Noviembre, 2013 por Peter

15

0Resp

802Vistas

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

Abierta

Preguntado el 5 de Julio, 2011 por gonzalon

17

0Resp

538Vistas

¿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

2036Vistas

¿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

999Vistas

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

1623Vistas

¿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

1248Vistas

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

Abierta

Preguntado el 22 de Septiembre, 2013 por uji

21

2Resp

1008Vistas

Antirandom reales

Abierta

Preguntado el 27 de Septiembre, 2015 por Venkata Koppaka

22

1Resp

1082Vistas

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

3082Vistas

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

Abierta

Preguntado el 6 de Noviembre, 2019 por Anthony

25

1Resp

969Vistas

Busy Beaver módulo 2

Resuelta

Preguntado el 22 de Julio, 2013 por Van Gale

34

1Resp

961Vistas

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

Abierta

Preguntado el 27 de Marzo, 2019 por Henk

25

3Resp

2479Vistas

¿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

980Vistas

¿Son decidibles las sumas de secuencias?

Resuelta

Preguntado el 9 de Junio, 2013 por apg

27

5Resp

3313Vistas

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

Resuelta

Preguntado el 29 de Diciembre, 2013 por Kirk Broadhurst

26

2Resp

1052Vistas

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

Resuelta

Preguntado el 9 de Mayo, 2018 por Abdelraouf Adjal

27

1Resp

1363Vistas

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

Resuelta

Preguntado el 6 de Mayo, 2014 por Ryan McCue

30

3Resp

2115Vistas

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