XXXVII - XXXVIII ora
Si è provato il teorema di correttezza per il sistema assiomatico H, e di conseguenza la correttezza della Deduzione Naturale.
Si sono poi dimostrati il teorema di completezza debole e il teorema di completezza per H. Come corollario si è ottenuta la completezza di DN. [In figura il matematico Kurt Gödel, che affrontò la questione negli anni ‘20.]
Oltre agli esercizi lasciati lo scorso 11 maggio, si consiglia di svolgere in vista della prossima lezione gli esercizi del file Esercizi110517.pdf
Lezione del 17 maggio 2011
martedì 17 maggio 2011
