Pavel Sayekat es un usuario de Stack Exchange, si haces click en el enlace verás su perfil en inglés.
Últimas Preguntas
- 2 resp
El teorema de completitud de Gödel y la indecidibilidad de la lógica de primer orden
el 26 de Noviembre, 2018 15 votos
Últimas Respuestas
- 7 votos
El teorema de completitud de Gödel y la indecidibilidad de la lógica de primer orden
el 19 de Noviembre, 2018 7 votos
Etiquetas favoritas
- 1 x lógica
- 1 x first-order-lógica
- 1 x la-computabilidad
- 1 x estado-incompleto
- 1 x decidability