masterxilo es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 2 resp
Lista finita de axiomas de $\mathsf{ACA}_0$ - ¿referencia?
el 27 de Diciembre, 2015 3 votos - 2 resp
Prueba $\forall x (A\to B) \to(A \to \forall x B):x\notin \mbox{free}(A)$ en un sistema de Hilbert donde no es un axioma
el 28 de Diciembre, 2015 0 votos
Últimas Respuestas
- 5 votos
¿Cómo empezar con la demostración automatizada de teoremas?
el 3 de Agosto, 2016 5 votos - 2 votos
Encontrar un conjunto de extensión para un espacio nulo
el 4 de Octubre, 2016 2 votos - 0 votos
Prueba $\forall x (A\to B) \to(A \to \forall x B):x\notin \mbox{free}(A)$ en un sistema de Hilbert donde no es un axioma
el 24 de Octubre, 2014 0 votos - -3 votos
Encontrar la base de un espacio nulo
el 4 de Octubre, 2016 -3 votos - 1 votos
Para resolver una ecuación
el 14 de Junio, 2015 1 votos
Etiquetas favoritas
- 3 x logic
- 1 x álgebra-lineal
- 1 x lógica
- 1 x predicate-lógica
- 1 x proof-writing
- 1 x proof-theory
- 1 x first-order-logic