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

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

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

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

Δείτε ακόμηΕπεξεργασία

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



  1. Czech National Authority Database. xx0267847. Ανακτήθηκε στις 1  Μαρτίου 2022.
  2. Ανακτήθηκε στις 3  Ιουλίου 2019.
  3. Ανακτήθηκε στις 4  Ιουλίου 2019.
  4. MacTutor History of Mathematics archive. mathshistory.st-andrews.ac.uk/Biographies/Schreier/.