Searching_for_a_foundation es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 3 resp
¿Están los números naturales implícitos en la construcción de la lógica de primer orden? Si es así, ¿por qué es esto aceptable?
el 6 de Diciembre, 2016 22 votos - 1 resp
¿Cuál es el estado actual de la matemática formal?
el 28 de Septiembre, 2016 25 votos
Últimas Respuestas
- 1 votos
Ayuda para comprender la prueba de " $\sum |a_n|$ converge $\Rightarrow$ $\sum a_n$ converge"
el 27 de Enero, 2021 1 votos - 2 votos
Espacios de dimensión infinita distintos de los espacios funcionales
el 11 de Junio, 2020 2 votos
Etiquetas favoritas
- 2 x lógica
- 1 x pregunta-teórica
- 1 x en-computación
- 1 x pruebas-asistida-por-computadora
- 1 x conjunto-teórico
- 1 x first-order-lógica
- 1 x functional-analysis