Dan Velleman 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
- 0 votos
La naturaleza de las variables en las pruebas
el 26 de Enero, 2021 0 votos - 1 votos
¿La integración por sustitución es siempre la regla de la cadena inversa?
el 23 de Abril, 2021 1 votos - 4 votos
Supongamos que $X$ es infinito y $A$ es un subconjunto finito de $X$ . Entonces $X$ y $X \setminus A$ son equívocos
el 10 de Septiembre, 2018 4 votos - 4 votos
Demostración de una vinculación tautológica en la Introducción a la Lógica Formal de Peter Smith
el 1 de Noviembre, 2021 4 votos
Etiquetas favoritas
- 2 x proof-writing
- 1 x logic
- 1 x elementary-set-theory
- 1 x proof-verification
- 1 x infinity
- 1 x calculus
- 1 x integration