david6 es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 3 resp
¿Puede la FPA demostrar realmente su coherencia?
el 12 de Junio, 2021 20 votos - 2 resp
Prueba de $(2n)!/(n!)^2\le2^{2n}$ por inducción matemática?
el 11 de Julio, 2018 4 votos
Últimas Respuestas
- 11 votos
Listas como base de las matemáticas
el 18 de Octubre, 2023 11 votos - 0 votos
¿Puede la FPA demostrar realmente su coherencia?
el 22 de Febrero, 2019 0 votos - 5 votos
¿Puede la FPA demostrar realmente su coherencia?
el 23 de Enero, 2019 5 votos - 2 votos
Explicación intuitiva y/o filosófica de las paradojas de la teoría de conjuntos
el 15 de Abril, 2012 2 votos - -1 votos
Interpretación del Segundo Teorema de Incompletitud
el 3 de Marzo, 2016 -1 votos - 13 votos
¿Qué axiomas se utilizan para demostrar los Teoremas de Incompletitud de Godel?
el 6 de Enero, 2013 13 votos - 12 votos
¿Teorías de conjuntos sin teoremas "basura"?
el 11 de Marzo, 2012 12 votos
Etiquetas favoritas
- 8 x matemáticas
- 5 x lo.logic
- 5 x set-theory
- 1 x binomio-coeficientes-de
- 1 x inducción
- 1 x peano-aritmética
- 1 x foundations