lorenzo-s es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 3 resp
¿Por qué los cuantificadores apilados en PA corresponden a ordinales hasta$\epsilon_0$?
el 7 de Noviembre, 2019 38 votos
Últimas Respuestas
- 5 votos
¿Cuáles son algunas pruebas del Teorema de Godel que son *esencialmente diferentes* de la prueba original?
el 5 de Octubre, 2013 5 votos
Etiquetas favoritas
- 2 x matemáticas
- 1 x lo.lógica
- 1 x análisis-ordinal
- 1 x peano-aritmética
- 1 x lo.logic
- 1 x model-theory
- 1 x alternative-proof