Preguntas ciencias de computability-teoría02

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

38

1Resp

1053Vistas

¿Es el área de Mandelbrot demostrable computable?

Abierta

Preguntado el 11 de Septiembre, 2016 por davidsmalley

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

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

44

5Resp

46188Vistas

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

Resuelta

Preguntado el 12 de Abril, 2012 por Drew Noakes

36

3Resp

1993Vistas

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

Resuelta

Preguntado el 5 de Octubre, 2016 por Guillermo

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

4

5Resp

1060Vistas

¿Hay aleatoriedades no equivalentes?

Resuelta

Preguntado el 9 de Febrero, 2010 por Renaud Bompuis

6

5Resp

6340Vistas

Probar que una función es recursiva primitiva

Resuelta

Preguntado el 2 de Marzo, 2010 por Throsby

8

1Resp

524Vistas

una prueba de que L_min no está en el núcleo?

Abierta

Preguntado el 12 de Enero, 2010 por Aistina

12

3Resp

871Vistas

Sistema dinámico vivo

Abierta

Preguntado el 28 de Febrero, 2010 por crashmstr

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

12

2Resp

1016Vistas

¿Cuál es la razón más convincente para creer iglesia ' tesis de s?

Cerrada

Preguntado el 30 de Octubre, 2009 por jwalkerjr

17

5Resp

1292Vistas

No constructiva pruebas de decidability?

Resuelta

Preguntado el 10 de Febrero, 2010 por Draemon

16

1Resp

581Vistas

¿Finito que presentan grupos puede distinguirse por propiedades decidibles?

Abierta

Preguntado el 5 de Marzo, 2010 por thedeeno

15

3Resp

656Vistas

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

Abierta

Preguntado el 27 de Febrero, 2010 por sickgemini

21

3Resp

2115Vistas

Es la teoría de categorías decidable?

Resuelta

Preguntado el 23 de Enero, 2010 por David Hicks

70

5Resp

4608Vistas

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

Abierta

Preguntado el 9 de Febrero, 2010 por thedeeno

Preguntas ciencias computability-teoría

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

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

¿Es el área de Mandelbrot demostrable computable?

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

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

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

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

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

¿Hay aleatoriedades no equivalentes?

Probar que una función es recursiva primitiva

una prueba de que L_min no está en el núcleo?

Sistema dinámico vivo

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

¿Cuál es la razón más convincente para creer iglesia ' tesis de s?

No constructiva pruebas de decidability?

¿Finito que presentan grupos puede distinguirse por propiedades decidibles?

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

Es la teoría de categorías decidable?

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

Etiquetas mas usadas

i-Ciencias.com

Powered by: