Jason 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
- 2 votos
¿Por qué no podemos formalizar el cálculo lambda en la lógica de primer orden?
el 3 de Febrero, 2022 2 votos - 2 votos
¿Existe un sistema formal para expresar el contexto de las pruebas/problemas matemáticos?
el 7 de Noviembre, 2022 2 votos
Etiquetas favoritas
- 2 x logic
- 1 x algebra-precalculus
- 1 x notation
- 1 x terminology
- 1 x definition
- 1 x first-order-logic
- 1 x lambda-calculus