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

PropertyValue
dbpedia-owl:abstract
  • Ο Κουρτ Γκέντελ (γερμ. Kurt Friedrich Gödel), (28 Απριλίου, 1906 Μπρνο – 14 Ιανουαρίου, -1978 Πρίνστον, Νιού Τζέρσεϊ) ήταν Αυστρο-αμερικάνος επιστήμονας της λογικής, μαθηματικός και φιλόσοφος. Ένας από τους πιο σημαντικούς επιστήμονες της λογικής όλων των εποχών, ο Γκέντελ είχε τεράστια επιρροή στην επιστημονική και φιλοσοφική σκέψη του 20ου αιώνα, σε μια εποχή όταν πολλοί, όπως ο Μπέρτραντ Ράσελ, ο Α. Ν. Γουάιτχεντ, και ο Νταβίντ Χίλμπερτ, πρωτοπορούσαν στη χρήση της λογικής και της θεωρίας συνόλων για την κατανόηση των θεμελίων των μαθηματικώνΟ Γκέντελ είναι περισσότερο γνωστός για τα δυο του θεωρήματα μη-πληρότητας, δημοσιευμένα το 1931 όταν ήταν 25 χρονών, ένα χρόνο μετά το τέλος του διδακτορικού του στο πανεπιστήμιο της Βιέννης. Το πιο διάσιμο θεώρημα μη-πληρότητας διατυπώνει ότι για κάθε αυτο-συνεπές αναδρομικό αξιωματικό σύστημα αρκετά ισχυρό ώστε να περιγράφει την αριθμητική των φυσικών αριθμών (αριθμητική Πεάνο), υπάρχουν αληθείς προτάσεις για τους φυσικούς που δεν μπορούν να αποδειχθούν από τα αξιώματα. Για να αποδείξει το θεώρημα αυτό, ο Γκέντελ ανέπτυξε μια τεχνική γνωστή ως Γκεντελοποίηση, η οποία κωδικοποιεί τυπικές εκφράσεις ως φυσικούς αριθμούς.Έδειξε ακόμα ότι η υπόθεση του συνεχούς δεν μπορεί να διαψευσθεί από τα δεκτά αξιώματα της θεωρίας συνόλων, αν τα αξιώματα αυτά είναι συνεπή. Έκανε σημαντικές συνεισφορές στην θεωρία αποδείξεων με το να ξεκαθαρίσει τις σχέσεις μεταξύ κλασσικής λογικής, διαισθητικής λογικής και τροπικής λογικής.
dbpedia-owl:wikiPageExternalLink
dbpedia-owl:wikiPageID
  • 139952 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 5225029 (xsd:integer)
dbpprop-el:ίδρυμαΕργασίας
dbpprop-el:βραβεία
dbpprop-el:γνωστόςΓια
dbpprop-el:διδακτορικόςΚαθηγητής
dbpprop-el:ερευνητικόςΤομέας
dbpprop-el:ημερομηνίαΓέννησης
  • 1906-04-28 (xsd:date)
dbpprop-el:ημερομηνίαΘανάτου
  • 1978-01-14 (xsd:date)
dbpprop-el:σπουδές
dbpprop-el:τόποςΓέννησης
  • Μπριν, Αυστροουγγαρία
dbpprop-el:τόποςΘανάτου
dcterms:subject
rdfs:comment
  • Ο Κουρτ Γκέντελ (γερμ. Kurt Friedrich Gödel), (28 Απριλίου, 1906 Μπρνο – 14 Ιανουαρίου, -1978 Πρίνστον, Νιού Τζέρσεϊ) ήταν Αυστρο-αμερικάνος επιστήμονας της λογικής, μαθηματικός και φιλόσοφος. Ένας από τους πιο σημαντικούς επιστήμονες της λογικής όλων των εποχών, ο Γκέντελ είχε τεράστια επιρροή στην επιστημονική και φιλοσοφική σκέψη του 20ου αιώνα, σε μια εποχή όταν πολλοί, όπως ο Μπέρτραντ Ράσελ, ο Α. Ν.
rdfs:label
  • Κουρτ Γκέντελ
owl:sameAs
foaf:isPrimaryTopicOf
is dbpedia-owl:influenced of
is dbpedia-owl:wikiPageRedirects of
is dbpprop-el:επηρέασε of
is owl:sameAs of
is foaf:primaryTopic of