dan_linder es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
-
Todavía no ha hecho preguntas
Últimas Respuestas
- 4 votos
¿Por qué la noción de algoritmo es primitiva en el intuicionismo de Brouwer?
el 29 de Noviembre, 2016 4 votos - 3 votos
Aproximado teorema del valor intermedio en el más puro constructivo de las matemáticas
el 25 de Noviembre, 2016 3 votos - 6 votos
La teoría matemática de la estética
el 23 de Marzo, 2018 6 votos - 0 votos
¿Qué tan fuerte es el Cantor-Bernstein-Schröder?
el 26 de Diciembre, 2016 0 votos - 10 votos
¿El teorema del punto fijo de Brouwer admite una prueba constructiva?
el 5 de Mayo, 2018 10 votos
Etiquetas favoritas
- 5 x matemáticas
- 2 x constructivo-matemáticas
- 2 x intuitionism
- 1 x gn.general-topología
- 1 x punto-fijo-teoremas
- 1 x matemáticas-constructivas
- 1 x conjunto-teórico