aphorisme es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 2 resp
Prueba por iteración
el 26 de Septiembre, 2018 7 votos - 1 resp
$\beta$ la desigualdad en $\lambda$-cálculo
el 4 de Julio, 2018 4 votos
Últimas Respuestas
- 10 votos
¿Por qué es $\omega$ -consistencia necesaria en la prueba original de Incompletitud de Gödel?
el 2 de Junio, 2015 10 votos - 6 votos
¿Cómo se puede mostrar el teorema de la incompletitud de Gödel el uso de símbolos matemáticos?
el 2 de Junio, 2015 6 votos
Etiquetas favoritas
- 4 x lógica
- 1 x pregunta-teórica
- 1 x estado-incompleto
- 1 x lambda-cálculo
- 1 x elementary-conjunto-teórico
- 1 x inducción
- 1 x recursividad