374
Reputación
Reputación
Nombre : davidsmalley
Miembro desde : 11 de Mayo, 2015
davidsmalley es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 1 resp
Solicitud de referencia: Descomposiciones Martingale (positivas/negativas y u.i./singulares)
el 4 de Septiembre, 2019 7 votos - 1 resp
Las perspectivas para revertir las matemáticas en Homotopy Tipo de Teoría
el 13 de Mayo, 2020 22 votos - 1 resp
¿Es el área de Mandelbrot demostrable computable?
el 8 de Diciembre, 2019 38 votos
Últimas Respuestas
- 22 votos
¿Existen resultados de indecidibilidad que no se saben que tengan una demostración por argumento diagonal?
el 6 de Septiembre, 2023 22 votos - 6 votos
¿La formalización de las matemáticas requiere búsqueda y creatividad, o es casi mecánica?
el 15 de Mayo, 2014 6 votos - 2 votos
Páginas web para comunidades especializadas
el 14 de Febrero, 2011 2 votos - 24 votos
¿Puede un grupo ser una máquina de Turing universal?
el 13 de Febrero, 2012 24 votos - 13 votos
¿Cómo podemos expresar medibles espacios utilizando el tipo de teoría?
el 19 de Junio, 2013 13 votos - 3 votos
Un modelo donde los Reales Dedekind y los Reales Cauchy son diferentes
el 24 de Abril, 2013 3 votos - 4 votos
Infinito de las matemáticas como no estándar finito de matemáticas?
el 3 de Marzo, 2012 4 votos
Etiquetas favoritas
- 12 x matemáticas
- 6 x lo.lógica
- 3 x pregunta-teórica
- 2 x pr.probability
- 2 x type-teoría
- 1 x decidability
- 1 x filosofía-matemática
