Final del 22/02/23 (Lógica y Computabilidad)

Final LyC primer fecha febrero 2023 (22/2/2023), tomó Sergio, éramos 6 creo, escrito 2hs, enunciado:

1) definir halt y probar que no es computable

2) enunciar y demostrar el teorema de rice

3) demostrar que si un conjunto gamma de formulas proposicionales es satisfacible entonces es consistente

4) demostrar que existen modelos no estándar (en lógica de primer orden) de la aritmética

Cada ejercicio valía lo mismo