Bert Zangle es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 2 resp
¿Qué error(es) en mi argumento sobre la representabilidad, la definibilidad y el problema de detención?
el 9 de Enero, 2016 3 votos - 1 resp
- 1 resp
¿Todos los modelos de aritmética de Peano son equivalentes elementales?
el 12 de Abril, 2019 5 votos - 2 resp
¿Por qué es $\omega$ -consistencia necesaria en la prueba original de Incompletitud de Gödel?
el 4 de Agosto, 2016 13 votos
Últimas Respuestas
-
Todavía no ha respondido nada
Etiquetas favoritas
- 3 x lógica
- 2 x axiomas-de-peano
- 1 x estado-incompleto
- 1 x logic
- 1 x computability