Κουρτ Γκέντελ
Αυστρο-αμερικάνος επιστήμονας της λογικής, μαθηματικός και φιλόσοφος / From Wikipedia, the free encyclopedia
Ο Κουρτ Γκέντελ (γερμ.: Kurt Friedrich Gödel, 28 Απριλίου 1906 – 14 Ιανουαρίου 1978) ήταν Αυστρο-Αμερικανός επιστήμονας της λογικής, μαθηματικός και φιλόσοφος, ένας από τους πιο σημαντικούς επιστήμονες της λογικής όλων των εποχών. Ο Γκέντελ είχε τεράστια επιρροή στην επιστημονική και φιλοσοφική σκέψη του 20ού αιώνα, σε μια εποχή που πολλοί, όπως ο Μπέρτραντ Ράσελ, ο Α. Ν. Γουάιτχεντ και ο Νταβίντ Χίλμπερτ, πρωτοπορούσαν στη χρήση της λογικής και της θεωρίας συνόλων για την κατανόηση των θεμελίων των μαθηματικών.[19]
Ο Γκέντελ είναι περισσότερο γνωστός για τα δύο του θεωρήματα μη-πληρότητας, δημοσιευμένα το 1931, όταν ήταν 25 ετών, έναν χρόνο μετά το τέλος του διδακτορικού του στο πανεπιστήμιο της Βιέννης. Το πιο διάσιμο θεώρημα μη-πληρότητας διατυπώνει ότι για κάθε αυτο-συνεπές αναδρομικό αξιωματικό σύστημα αρκετά ισχυρό ώστε να περιγράφει την αριθμητική των φυσικών αριθμών (αριθμητική Πεάνο), υπάρχουν αληθείς προτάσεις για τους φυσικούς που δεν μπορούν να αποδειχθούν από τα αξιώματα. Για να αποδείξει το θεώρημα αυτό, ο Γκέντελ ανέπτυξε μια τεχνική γνωστή ως γκεντελοποίηση, η οποία κωδικοποιεί τυπικές εκφράσεις ως φυσικούς αριθμούς.
Έδειξε ακόμα ότι η υπόθεση του συνεχούς δεν μπορεί να διαψευσθεί από τα δεκτά αξιώματα της θεωρίας συνόλων, αν τα αξιώματα αυτά είναι συνεπή. Έκανε σημαντικές συνεισφορές στην θεωρία αποδείξεων με το να ξεκαθαρίσει τις σχέσεις μεταξύ κλασικής λογικής, διαισθητικής λογικής και τροπικής λογικής.