LorenzCK es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 1 resp
¿Qué se deduce de suponer que no Con(ZF)?
el 12 de Junio, 2021 2 votos
Últimas Respuestas
- 4 votos
¿Pruebas no constructivas de decidibilidad?
el 26 de Septiembre, 2013 4 votos - 2 votos
¿Cuál es la opinión general sobre la Hipótesis del Continuo Generalizado?
el 8 de Febrero, 2010 2 votos - 3 votos
¿Independencia de P = NP?
el 21 de Diciembre, 2010 3 votos - 4 votos
Impredicativity
el 28 de Mayo, 2010 4 votos - 3 votos
No constructiva pruebas de decidability?
el 26 de Septiembre, 2013 3 votos
Etiquetas favoritas
- 6 x matemáticas
- 3 x lo.lógica
- 3 x set-theory
- 2 x computability-teoría
- 2 x lo.logic
- 1 x gran-lista
- 1 x model-theory