Mark es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 1 resp
¿Implica el teorema de Tychonoff el principio de tercero excluido?
el 22 de Julio, 2024 24 votos
Últimas Respuestas
- 5 votos
¿Implica el teorema de Tychonoff el principio de tercero excluido?
el 15 de Diciembre, 2023 5 votos - 4 votos
Funciones ordinarias vs. funciones de lenguaje de primer orden
el 29 de Octubre, 2021 4 votos - 12 votos
¿Tiene sentido definir la función delta de Dirac como infinito en cero?
el 15 de Marzo, 2021 12 votos - 0 votos
∀
el 18 de Octubre, 2021 0 votos - 6 votos
¿Dónde y cómo se utiliza el cálculo lambda?
el 22 de Agosto, 2021 6 votos - 4 votos
Hipótesis de continuidad en L
el 17 de Enero, 2023 4 votos - 9 votos
¿Existen reales computables que no sean Dedekind-computables?
el 12 de Abril, 2021 9 votos
Etiquetas favoritas
- 5 x logic
- 4 x solution-verification
- 3 x set-theory
- 2 x elementary-set-theory
- 2 x constructive-mathematics
- 2 x linear-algebra
- 2 x category-theory