Μαθηματική Λογική (μεταπτυχιακό μάθημα Μ.Π. Θεωρητικών Μαθηματικών και μεταπτυχιακό μάθημα Μ.Π. Εφαρμοσμένων Μαθηματικών του Τμήματος Μαθηματικών) και Λογική (μεταπτυχιακό μάθημα Μ.Π. Α.Λ.Μ.Α.)

Ημερολόγιο

Απρίλιος 2013
Μάθημα 15ο   (Διάρκεια: 2:00 ώρες)
Παρασκευή, 19 Απριλίου 2013 - 4:00 μ.μ.

Αριθμητικοποίηση Gödel

Θεώρημα 30Α

Σκιαγράφηση Απόδειξης

Πόρισμα 30Β

Διαγωνιοποιητική Προσέγγιση

Θεώρημα 30C

 

(Enderton: Κεφάλαιο 3, σελ.184-186)