Z. A. K. es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 1 resp
Una propiedad de monotonicidad de la teoría de tipos de Martin-Löf
el 10 de Agosto, 2019 2 votos - 2 resp
Manifold actuado por cada grupo finito
el 26 de Febrero, 2019 8 votos
Últimas Respuestas
- 2 votos
Cálculo secuencial y cambio de nombre de variables
el 30 de Diciembre, 2019 2 votos - 7 votos
Modelos "naturales" no estándar de Peano.
el 30 de Agosto, 2021 7 votos - 7 votos
¿Son válidos los argumentos geométricos que utilizan infinitesimales?
el 6 de Junio, 2020 7 votos - 3 votos
división por números primos en modelos no estándar
el 20 de Octubre, 2020 3 votos - 3 votos
¿Existe algún sistema deductivo finito para la lógica proposicional que sólo utilice reglas unarias?
el 6 de Noviembre, 2020 3 votos - 3 votos
Discrepancia entre las metodologías de cálculo: ¿es significativa?
el 28 de Febrero, 2019 3 votos
Etiquetas favoritas
- 4 x logic
- 2 x nonstandard-analysis
- 2 x proof-theory
- 1 x type-theory
- 1 x colectores-de
- 1 x acciones-de-grupo
- 1 x análisis-no-estándar