Ντέινα Σκοτ

Από τη Βικιπαίδεια, την ελεύθερη εγκυκλοπαίδεια
Πήδηση στην πλοήγηση Πήδηση στην αναζήτηση


Ντέινα Σκοτ
Scott Dana small.jpg
Γενικές πληροφορίες
Όνομα στη
μητρική γλώσσα
Dana Stewart Scott (Αγγλικά)
Γέννηση 11 Οκτωβρίου 1932
Μπέρκλεϊ, Καλιφόρνια
Εθνικότητα Αμερικανός Country flag
Χώρα πολιτογράφησης Ηνωμένες Πολιτείες Αμερικής
Εκπαίδευση και γλώσσες
Εκπαίδευση Διδάκτωρ
Σπουδές Πανεπιστήμιο Πρίνστον
Πανεπιστήμιο Μπέρκλεϋ
Πληροφορίες ασχολίας
Ιδιότητα Μαθηματικός
Εργοδότης Πανεπιστήμιο Μπέρκλεϋ
Πανεπιστήμιο του Σικάγου
Commons page Σχετικά πολυμέσα

Ο Ντέινα Σκοτ (Dana Stewart Scott, 11 Οκτωβρίου, 1932) είναι ομότιμος καθηγητής Πληροφορικής, Φιλοσοφίας και Μαθηματικής Λογικής, στο Πανεπιστήμιο Κάρνεγκι Μέλον, που πλέον ζει στο Μπέρκλεϊ της Καλιφόρνια.

Εκπόνησε τη διδακτορική του διατριβή υπό τον Αλόνζο Τσερτς, την οποία υποστήριξε στο Πανεπιστήμιο Πρίνστον το 1958. Ερευνητικά έχει εντρυφήσει στη θεωρία υπολογισμού, και γενικότερα στα μαθηματικά και τη φιλοσοφία, με θεμελιώδεις συνεισφορές στη θεωρία αυτομάτων και τη σημασιολογία γλωσσών προγραμματισμού, καθώς και στην τροπική λογική, την τοπολογία και τη θεωρία κατηγοριών.

Για το έργο του έχει τιμηθεί μεταξύ άλλων και με το βραβείο Τούρινγκ.

Δείτε ακόμη[Επεξεργασία | επεξεργασία κώδικα]

Εξωτερικοί σύνδεσμοι[Επεξεργασία | επεξεργασία κώδικα]


Στο λήμμα αυτό έχει ενσωματωθεί κείμενο από το λήμμα Dana Scott της Αγγλικής Βικιπαίδειας, η οποία διανέμεται υπό την GNU FDL και την CC-BY-SA 3.0. (ιστορικό/συντάκτες).