Earls es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
-
Todavía no ha hecho preguntas
Últimas Respuestas
- 21 votos
¿La formalización de las matemáticas requiere búsqueda y creatividad, o es casi mecánica?
el 23 de Junio, 2014 21 votos - 17 votos
¿Alguien duda aún seriamente de la coherencia de $ZFC$ ?
el 25 de Diciembre, 2022 17 votos - 10 votos
¿Qué axiomas se utilizan para demostrar los Teoremas de Incompletitud de Godel?
el 24 de Diciembre, 2013 10 votos
Etiquetas favoritas
- 3 x matemáticas
- 2 x lo.logic
- 2 x set-theory
- 1 x lo.lógica
- 1 x pregunta-teórica
- 1 x proof-teoría
- 1 x prueba-asistentes