secr 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
- 3 votos
Los teoremas extensionales se utilizan sobre todo de forma intensionada
el 28 de Junio, 2010 3 votos - 1 votos
Redacción de pruebas "semiformales
el 20 de Febrero, 2011 1 votos - 17 votos
¿Por qué es tan difícil escribir pruebas completas (verificables por ordenador)?
el 20 de Febrero, 2011 17 votos - 29 votos
¿Es la Hipótesis de Riemann equivalente a una $\Pi_1$ ¿sentencia?
el 15 de Julio, 2010 29 votos - 0 votos
Aproximar un conjunto con un número fijo de elementos
el 19 de Febrero, 2010 0 votos - 7 votos
Puede dependiente de las sumas que ser codificada como dependiente de productos?
el 26 de Febrero, 2010 7 votos
Etiquetas favoritas
- 6 x matemáticas
- 2 x lo.logic
- 1 x lo.lógica
- 1 x matemáticas-constructivas
- 1 x type-teoría
- 1 x lambda-cálculo
- 1 x na.numerical-analysis