Κουρτ Γκέντελ
Ο Κουρτ Γκέντελ (γερμ.: "Kurt Friedrich Gödel", 28 Απριλίου 1906 – 14 Ιανουαρίου 1978) ήταν Αυστρο-Αμερικανός επιστήμονας της λογικής, μαθηματικός και φιλόσοφος. Ένας από τους πιο σημαντικούς επιστήμονες της λογικής όλων των εποχών, ο Γκέντελ είχε τεράστια επιρροή στην επιστημονική και φιλοσοφική σκέψη του 20ου αιώνα, σε μια εποχή όταν πολλοί, όπως ο Μπέρτραντ Ράσελ, ο Α. Ν. Γουάιτχεντ και ο Νταβίντ Χίλμπερτ, πρωτοπορούσαν στη χρήση της λογικής και της θεωρίας συνόλων για την κατανόηση των θεμελίων των μαθηματικών.

Ο Γκέντελ είναι περισσότερο γνωστός για τα δύο του θεωρήματα μη-πληρότητας, δημοσιευμένα το 1931 όταν ήταν 25 χρονών, ένα χρόνο μετά το τέλος του διδακτορικού του στο πανεπιστήμιο της Βιέννης. Το πιο διάσιμο θεώρημα μη-πληρότητας διατυπώνει ότι για κάθε αυτο-συνεπές αναδρομικό αξιωματικό σύστημα αρκετά ισχυρό ώστε να περιγράφει την αριθμητική των φυσικών αριθμών (αριθμητική Πεάνο), υπάρχουν αληθείς προτάσεις για τους φυσικούς που δεν μπορούν να αποδειχθούν από τα αξιώματα. Για να αποδείξει το θεώρημα αυτό, ο Γκέντελ ανέπτυξε μια τεχνική γνωστή ως Γκεντελοποίηση, η οποία κωδικοποιεί τυπικές εκφράσεις ως φυσικούς αριθμούς.

Έδειξε ακόμα ότι η υπόθεση του συνεχούς δεν μπορεί να διαψευσθεί από τα δεκτά αξιώματα της θεωρίας συνόλων, αν τα αξιώματα αυτά είναι συνεπή. Έκανε σημαντικές συνεισφορές στην θεωρία αποδείξεων με το να ξεκαθαρίσει τις σχέσεις μεταξύ κλασικής λογικής, διαισθητικής λογικής και τροπικής λογικής.
Q2534
28 Απριλίου
TIME
Q2049
1906
TIME
Q2257
14 Ιανουαρίου
TIME
Q2483
1978
TIME
Q40
Αυστρο
LOC
Q30
Αμερικανός
LOC
Q8078
λογική
Concept
Q170790
μαθηματικός
Concept
Q5891
φιλόσοφος
Concept
Q33760
Μπέρτραντ Ράσελ
PER
None
Α. Ν. Γουάιτχεντ
UNK
Q41585
Νταβίντ Χίλμπερτ
PER
Q8078
λογική
Concept
Q12482
θεωρίας συνόλων
Concept
Q395
μαθηματικών
Concept
Q200787
θεωρήματα μη-πληρότητας
EVE
Q165980
πανεπιστήμιο της Βιέννης
LOC
Q877945
αναδρομικό
Concept
None
αξιωματικό σύστημα
UNK
Q21199
φυσικών αριθμών
Concept
Q21199
αριθμητική Πεάνο
Concept
Q1451046
Γκεντελοποίηση
Concept
Q208416
υπόθεση του συνεχούς
Concept
None
αξιώματα της θεωρίας συνόλων
UNK
None
θεωρία αποδείξεων
UNK
None
κλασικής λογικής
UNK
None
διαισθητικής λογικής
UNK
None
τροπικής λογικής
UNK
Q41390
Κουρτ Γκέντελ
PER
1906-04-28T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
28 Απριλίου 1906
DATE
1978-01-14T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
14 Ιανουαρίου 1978
DATE
+20^^http://www.w3.org/2001/XMLSchema#decimal
20
NUMBER
+25^^http://www.w3.org/2001/XMLSchema#decimal
25
NUMBER
country of citizenship
country of citizenship
occupation
date of birth
date of death
field of work
notable work
employer
field of work
field of work
field of work
part of