0
Your Καλαθι
Το θεώρημα του Godel
Περιγραφή
ΠΕΡΙΕΧΟΜΕΝΑ
Εισαγωγή
Το πρόβλημα της συνέπειας
Απόλυτες αποδείξεις συνέπειας
Η συστηματική κωδικοποίηση της τυπικής λογικής
Ένα παράδειγμα μιας πετυχημένης απόλυτης απόδειξης συνέπειας
Η ιδέα της απεικόνισης και η χρήση της στα μαθηματικά
Οι αποδείξεις του Godel
Αρίθμηση Godel
Η αριθμητικοποίηση των μαθηματικών
Η καρδιά του επιχειρήματος του Godel
Συμπερασματικές σκέψεις
Παραρτήματα
Σύντομη βιβλιογραφία
Εισαγωγή
Το πρόβλημα της συνέπειας
Απόλυτες αποδείξεις συνέπειας
Η συστηματική κωδικοποίηση της τυπικής λογικής
Ένα παράδειγμα μιας πετυχημένης απόλυτης απόδειξης συνέπειας
Η ιδέα της απεικόνισης και η χρήση της στα μαθηματικά
Οι αποδείξεις του Godel
Αρίθμηση Godel
Η αριθμητικοποίηση των μαθηματικών
Η καρδιά του επιχειρήματος του Godel
Συμπερασματικές σκέψεις
Παραρτήματα
Σύντομη βιβλιογραφία
Κριτικές
Δεν βρέθηκαν δημοσιεύσεις
