Dave es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 2 resp
¿Qué axiomas Gödel utiliza, si?
el 31 de Enero, 2018 31 votos - 4 resp
Cómo probar un no-comprobable declaración? Eso es raro...
el 17 de Enero, 2018 22 votos
Últimas Respuestas
-
Todavía no ha respondido nada
Etiquetas favoritas
- 2 x lógica
- 1 x teoría-numérica
- 1 x conjunto-teórico
- 1 x axioma
- 1 x estado-incompleto