notandy 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
- 8 votos
Teoremas a cambio de nada (y las pruebas gratis)
el 22 de Noviembre, 2009 8 votos - 6 votos
Una pregunta sobre el análisis ordinal
el 4 de Febrero, 2018 6 votos - 1 votos
¿Existe algún asistente de pruebas basado en la lógica de primer orden?
el 18 de Febrero, 2010 1 votos - 8 votos
¿Es demostrable cualquier frase verdadera de los Axiomas de Peano de segundo orden
el 7 de Febrero, 2010 8 votos
Etiquetas favoritas
- 4 x matemáticas
- 2 x lo.lógica
- 1 x nt.teoría-numérica
- 1 x prueba-asistentes
- 1 x set-theory
- 1 x lo.logic
- 1 x ordinal-numbers