elgrego es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 5 resp
¿Existe algún enunciado cuya indecidibilidad sea indecidible?
el 28 de Febrero, 2022 26 votos - 1 resp
Hay una razón intuitiva para una determinada operación asociativa?
el 27 de Febrero, 2018 71 votos - 5 resp
¿Cómo frenar 'bellamente'?
el 27 de Diciembre, 2016 15 votos - 1 resp
Cada miembro de un número ordinal ordinal
el 17 de Diciembre, 2016 14 votos
Últimas Respuestas
- 4 votos
Lo complicado es el conjunto de tautologías?
el 17 de Octubre, 2011 4 votos - -2 votos
"Prueba" de que ZFC es contradictorio el uso de máquinas de Turing
el 23 de Diciembre, 2010 -2 votos
Etiquetas favoritas
- 2 x lógica
- 2 x conjunto-teórico
- 1 x pruebas-falsas
- 1 x la-computabilidad
- 1 x cinemática
- 1 x la-aceleración
- 1 x velocidad