rindPHI 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
- 1 votos
Declaraciones de bicondicional con una dirección "fácil".
el 19 de Julio, 2014 1 votos - 4 votos
¿Cuáles son diversas pruebas?
el 13 de Febrero, 2014 4 votos - 2 votos
Probar la indecidibilidad de la lógica de primer orden sin probarla primero para la aritmética.
el 1 de Julio, 2014 2 votos
Etiquetas favoritas
- 2 x proof-teoría
- 1 x lógica
- 1 x prueba-de-verificación
- 1 x predicate-lógica
- 1 x estado-incompleto
- 1 x prueba-de-alternativa
- 1 x pregunta-teórica