GreyCloud es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 1 resp
¿Por qué el principio de Markov es un axioma?
el 5 de Noviembre, 2018 6 votos - 3 resp
Verificación de la prueba en análisis constructivo
el 2 de Octubre, 2018 5 votos - 2 resp
Teorema del valor intermedio constructiva
el 26 de Septiembre, 2018 4 votos
Últimas Respuestas
- 0 votos
Verificación de la prueba en análisis constructivo
el 24 de Septiembre, 2018 0 votos - 1 votos
Verificación de la prueba en análisis constructivo
el 26 de Septiembre, 2018 1 votos
Etiquetas favoritas
- 3 x matemáticas-constructivas
- 2 x lógica
- 1 x análisis
- 1 x prueba-de-verificación
- 1 x análisis-convexo
- 1 x intuitionistic-lógica
- 1 x axioma