Feratile es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 2 resp
Mapeo de problemas simples de primer orden a la teoría de tipos
el 18 de Diciembre, 2015 2 votos - 2 resp
Ejemplo de lógica en la que una prueba por contradicción no implica una prueba directa.
el 18 de Diciembre, 2015 1 votos - 1 resp
¿Existen lógicas no triviales que exiban solidez y completitud que no sean de primer orden?
el 1 de Enero, 2016 2 votos - 3 resp
Axiomas de Peano expresados en la teoría de tipos
el 22 de Abril, 2017 8 votos
Últimas Respuestas
- 7 votos
¿Cómo empezar con la demostración automatizada de teoremas?
el 26 de Marzo, 2013 7 votos - 0 votos
Axiomas de Peano expresados en la teoría de tipos
el 31 de Julio, 2013 0 votos
Etiquetas favoritas
- 4 x logic
- 2 x first-order-logic
- 1 x axiomas-de-peano
- 1 x type-teoría
- 1 x soft-question
- 1 x computer-science
- 1 x automated-theorem-proving