SSequence es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 1 resp
Pregunta específica sobre $\omega_1$ jerarquías
el 6 de Octubre, 2018 1 votos
Últimas Respuestas
- 1 votos
Si $L \notin RE$ y $L' \notin RE$ entonces $L \cup L' \notin RE$
el 28 de Febrero, 2018 1 votos - 6 votos
Qué ordinal es mayor, $\omega^\omega\omega$ o $\omega\omega^\omega$ ?
el 22 de Agosto, 2017 6 votos - 1 votos
Un conjunto es recursivamente enumerable de la fib es el rango de un total de función recursiva
el 3 de Noviembre, 2017 1 votos - 2 votos
¿Hay una "solución" al juego ordinal?
el 6 de Diciembre, 2018 2 votos - 0 votos
Busy Beaver función de la tasa de crecimiento en comparación con funciones computables
el 16 de Abril, 2018 0 votos
Etiquetas favoritas
- 2 x la-computabilidad
- 2 x lógica
- 2 x computability
- 1 x turing-máquinas
- 1 x pregunta-teórica
- 1 x números-ordinales
- 1 x análisis-ordinal