Chris Pressey es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 3 resp
Tiene esta estructura algebraica sido nombrado o estudió?
el 29 de Mayo, 2016 11 votos
Últimas Respuestas
- 3 votos
¿Cómo se codifica un programa en una categoría?
el 4 de Diciembre, 2012 3 votos - 4 votos
¿Demostrando que el problema de parada es indecidible sin reducciones ni Diagonalización?
el 8 de Diciembre, 2012 4 votos - 4 votos
¿Cómo puede Busy beaver($10 \uparrow \uparrow 10$) no tienen comprobable límite superior?
el 7 de Diciembre, 2012 4 votos
Etiquetas favoritas
- 2 x la-computabilidad
- 1 x turing-máquinas
- 1 x abstract-algebra
- 1 x terminología
- 1 x formal-idiomas
- 1 x en-computación
- 1 x computer-science