David Sykes es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 3 resp
¿Es la programación funcional una rama de las matemáticas?
el 10 de Junio, 2021 13 votos - 1 resp
Scott en la consistencia del cálculo lambda
el 7 de Febrero, 2017 7 votos
Últimas Respuestas
- 4 votos
- 2 votos
eliminación de cortes
el 11 de Enero, 2010 2 votos - 2 votos
Equilibrio general para matemáticos
el 19 de Abril, 2010 2 votos - 7 votos
¿Existe alguna relación entre la teoría de modelos y la teoría de categorías?
el 16 de Enero, 2010 7 votos - 0 votos
¿Qué subcampos de las matemáticas se prestan mejor a la visualización?
el 6 de Julio, 2010 0 votos - 5 votos
¿Cuándo es algo demasiado grande para ser un conjunto?
el 20 de Julio, 2010 5 votos - 3 votos
Puntos y comas en la escritura matemática
el 12 de Enero, 2010 3 votos
Etiquetas favoritas
- 29 x matemáticas
- 11 x lo.lógica
- 7 x lo.logic
- 4 x pregunta-teórica
- 4 x soft-question
- 3 x proof-teoría
- 3 x conjunto-teórico