Κουρτ Γκέντελ: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
μ Ρομπότ: Προσθήκη: az:Kurt Qodel |
Λυδία (συζήτηση | συνεισφορές) μ →Σπουδές στη Βιέννη: link |
||
Γραμμή 16:
=== Σπουδές στη Βιέννη ===
Στην ηλικία των 18, ο Κουρτ συνάντησε τον αδελφό του Ρούντολφ στη Βιέννη, και εγγράφηκε στο Πανεπιστήμιο της Βιέννης. Μέχρι τότε, κατείχε ήδη μαθηματικά πανεπιστημιακού επιπέδου. Αν και αρχικά είχε πρόθεση να μελετήσει [[θεωρητική φυσική]], ο Κουρτ παρακολούθησε επίσης μαθήματα μαθηματικών και φιλοσοφίας. Κατά την περίοδο αυτή, υιοθέτησε ιδέες [[μαθηματικός ρεαλισμός|μαθηματικού ρεαλισμού]]. Διάβασε τα ''[[Μεταφυσικά Θεμέλια της Φυσικής Επιστήμης|Metaphysische Anfangsgründe der Naturwissenschaft]]'' του Εμμάνουελ Καντ, και συμμετείχε στον [[Κύκλος της Βιέννης|Κύκλο της Βιέννης]] με τον [[Μόριτζ Σλικ]], τον [[Χανς Χαν]], και τον [[Ρούντολφ Κάρναπ]]. Έπειτα μελέτησε [[θεωρία αριθμών]], αλλά κατά τη συμμετοχή σε ένα σεμινάριο του Μόριτζ Σλικ που μελετούσε το βιβλίο ''Εισαγωγή στη Μαθηματική Φιλοσοφία'' του [[Μπέρτραντ Ράσελ]], του κίνησε το ενδιαφέρον η [[μαθηματική λογική]].
Η παρακολούθηση μιας διάλεξης του [[Νταβίντ Χίλμπερτ]] στη [[Μπολόνια]] περί της πληρότητας και συνέπειας των μαθηματικών συστημάτων, πιθανώς να έθεσε την πορεία της μετέπειτα ζωής του Γκέντελ. Το 1928, ο Χίλμπερτ και ο [[Βίλχελμ Άκερμαν]] δημοσίευσαν το ''Grundzüge der theoretischen Logik'' ([[Αρχές της Μαθηματικής Λογικής]]), μια εισαγωγή στην [[λογική πρώτου βαθμού]], όπου τέθηκε το πρόβλημα της πληρότητας: ''Αρκούν τα αξιώματα ενός τυπικού συστήματος για να παραχθούν όλες οι προτάσεις που είναι αληθείς σε όλα τα μοντέλα του συστήματος;''
| |||