marimo es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 1 resp
Cómo construir conjuntos cocientes (¿tipos?) en la teoría de tipos de Martin-Löf
el 3 de Octubre, 2018 1 votos - 1 resp
Hay un ejemplo interesante de pseudo-Riemann colector de otros que el espacio-tiempo del colector?
el 28 de Marzo, 2019 6 votos - 3 resp
¿Por qué se acepta el principio de explosión en la matemática constructiva?
el 27 de Septiembre, 2018 9 votos - 2 resp
Aplicación de mundo real de la medida de Lebesgue en contraposición a medida Jordania
el 31 de Julio, 2018 8 votos
Últimas Respuestas
-
Todavía no ha respondido nada
Etiquetas favoritas
- 2 x pregunta-teórica
- 1 x analisis-real
- 1 x measure-teoría
- 1 x lebesgue-medida
- 1 x aplicaciones
- 1 x lógica
- 1 x fundaciones