AULA 28
25 Maio 2017, 09:30 • Fernando Ferreira
Consistência ómega. O primeiro teorema da incompletude de Gödel (versão original).
Condições de dedutibilidade de Hilbert-Bernays. O segundo teorema da incompletude de Gödel.
25 Maio 2017, 09:30 • Fernando Ferreira
Consistência ómega. O primeiro teorema da incompletude de Gödel (versão original).