Preguntas de computability-teoría

4

5Resp

1060Vistas

¿Hay aleatoriedades no equivalentes?

Resuelta

Preguntado el 9 de Febrero, 2010 por Renaud Bompuis

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

70

5Resp

4608Vistas

Que los gráficos son de Cayley gráficos?

Abierta

Preguntado el 9 de Febrero, 2010 por thedeeno

21

3Resp

2115Vistas

Es la teoría de categorías decidable?

Resuelta

Preguntado el 23 de Enero, 2010 por David Hicks

32

2Resp

1531Vistas

Godel en jerarquías recursivas de teoría de la computación

Abierta

Preguntado el 26 de Marzo, 2013 por Venkata Koppaka

15

0Resp

799Vistas

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

Abierta

Preguntado el 5 de Julio, 2011 por gonzalon

18

4Resp

980Vistas

¿Hace todas las preguntas sobre cantidad de grupos finitamente presentados a una pregunta sobre grupos abelianos decidible?

Resuelta

Preguntado el 26 de Febrero, 2010 por thedeeno

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

21

2Resp

1007Vistas

Antirandom reales

Abierta

Preguntado el 27 de Septiembre, 2015 por Venkata Koppaka

18

1Resp

1750Vistas

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

Resuelta

Preguntado el 20 de Mayo, 2013 por Venkata Koppaka

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

15

3Resp

655Vistas

Hacer decidable propiedades de finitely presentado los grupos dependen sólo de la profinitization?

Abierta

Preguntado el 27 de Febrero, 2010 por sickgemini

16

1Resp

581Vistas

¿Finito que presentan grupos puede distinguirse por propiedades decidibles?

Abierta

Preguntado el 5 de Marzo, 2010 por thedeeno

6

5Resp

6340Vistas

Probar que una función es recursiva primitiva

Resuelta

Preguntado el 2 de Marzo, 2010 por Throsby

101

3Resp

3073Vistas

¿Qué tan factible es probar la propiedad de Kazhdan (T) por una computadora?

Resuelta

Preguntado el 13 de Enero, 2014 por goldPseudo

36

3Resp

1993Vistas

¿Es decidible verificar si un elemento tiene un orden finito o no?

Resuelta

Preguntado el 5 de Octubre, 2016 por Guillermo

44

5Resp

46188Vistas

¿Qué tan grande es el ÁRBOL (3)?

Resuelta

Preguntado el 12 de Abril, 2012 por Drew Noakes

33

3Resp

3486Vistas

¿Son la subjetividad y la inyectividad de las funciones polinómicas de $\mathbb{Q}^n$ a $\mathbb{Q}$ ¿se puede decidir algorítmicamente?

Resuelta

Preguntado el 29 de Julio, 2013 por pfyon

38

1Resp

1053Vistas

¿Es el área de Mandelbrot demostrable computable?

Abierta

Preguntado el 11 de Septiembre, 2016 por davidsmalley

29

1Resp

1105Vistas

¿Se puede definir la sofisticación de una cuerda de una manera poco sofisticada?

Resuelta

Preguntado el 31 de Julio, 2012 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

26

2Resp

1051Vistas

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

Resuelta

Preguntado el 9 de Mayo, 2018 por Abdelraouf Adjal

24

1Resp

978Vistas

¿Son decidibles las sumas de secuencias?

Resuelta

Preguntado el 9 de Junio, 2013 por apg

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

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

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

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

13

0Resp

984Vistas

Un isomorfismo eficiente entre campos finitos

Abierta

Preguntado el 3 de Julio, 2016 por uji

12

0Resp

692Vistas

Calcular los diferenciales en la secuencia espectral de Adams

Abierta

Preguntado el 30 de Mayo, 2019 por Henrique de Sousa

9

0Resp

383Vistas

Cobertura mínima v.s reales aleatorios

Abierta

Preguntado el 3 de Marzo, 2017 por Loren

Preguntas de computability-teoría

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

¿Hay aleatoriedades no equivalentes?

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

Que los gráficos son de Cayley gráficos?

Es la teoría de categorías decidable?

Godel en jerarquías recursivas de teoría de la computación

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

¿Hace todas las preguntas sobre cantidad de grupos finitamente presentados a una pregunta sobre grupos abelianos decidible?

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

Antirandom reales

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

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

Hacer decidable propiedades de finitely presentado los grupos dependen sólo de la profinitization?

¿Finito que presentan grupos puede distinguirse por propiedades decidibles?

Probar que una función es recursiva primitiva

¿Qué tan factible es probar la propiedad de Kazhdan (T) por una computadora?

¿Es decidible verificar si un elemento tiene un orden finito o no?

¿Qué tan grande es el ÁRBOL (3)?

¿Son la subjetividad y la inyectividad de las funciones polinómicas de $\mathbb{Q}^n$ a $\mathbb{Q}$ ¿se puede decidir algorítmicamente?

¿Es el área de Mandelbrot demostrable computable?

¿Se puede definir la sofisticación de una cuerda de una manera poco sofisticada?

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

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

¿Son decidibles las sumas de secuencias?

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

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

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

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

Un isomorfismo eficiente entre campos finitos

Calcular los diferenciales en la secuencia espectral de Adams

Cobertura mínima v.s reales aleatorios

Etiquetas mas usadas

i-Ciencias.com

Powered by: