Ντέινα Σκοτ
(Ανακατεύθυνση από Dana Scott)
Το λήμμα δεν περιέχει πηγές ή αυτές που περιέχει δεν επαρκούν. |
Ο Ντέινα Σκοτ (Dana Stewart Scott, 11 Οκτωβρίου, 1932) είναι ομότιμος καθηγητής Πληροφορικής, Φιλοσοφίας και Μαθηματικής Λογικής, στο Πανεπιστήμιο Κάρνεγκι Μέλον, που πλέον ζει στο Μπέρκλεϊ της Καλιφόρνια.
Εκπόνησε τη διδακτορική του διατριβή υπό τον Αλόνζο Τσερτς, την οποία υποστήριξε στο Πανεπιστήμιο Πρίνστον το 1958. Ερευνητικά έχει εντρυφήσει στη θεωρία υπολογισμού, και γενικότερα στα μαθηματικά και τη φιλοσοφία, με θεμελιώδεις συνεισφορές στη θεωρία αυτομάτων και τη σημασιολογία γλωσσών προγραμματισμού, καθώς και στην τροπική λογική, την τοπολογία και τη θεωρία κατηγοριών.
Για το έργο του έχει τιμηθεί μεταξύ άλλων και με το βραβείο Τούρινγκ.
Δείτε ακόμη
ΕπεξεργασίαΠαραπομπές
Επεξεργασία- ↑ Τσεχική Εθνική Βάση Δεδομένων Καθιερωμένων Όρων. xx0267847. Ανακτήθηκε στις 1 Μαρτίου 2022.
- ↑ Ανακτήθηκε στις 3 Ιουλίου 2019.
- ↑ Ανακτήθηκε στις 4 Ιουλίου 2019.
- ↑ 4,0 4,1 MacTutor History of Mathematics archive. mathshistory
.st-andrews .ac .uk /Biographies /Schreier /. - ↑ amturing
.acm .org /award _winners /scott _1193622 .cfm. - ↑ awards
.acm .org /award _winners /scott _1193622 #140. - ↑ dana-s-scott.
- ↑ events
.seas .upenn .edu /distinguished-lectures /pender-lecture /. - ↑ www
.ams .org /prizes-awards /pabrowse .cgi?parent _id=28. - ↑ awards
.acm .org /award _winners /scott _1193622 #158. - ↑ www
.ams .org /fellows _by _year .cgi?year=2013. Ανακτήθηκε στις 24 Νοεμβρίου 2022. - ↑ www
.ams .org /news?news _id=1680. Ανακτήθηκε στις 24 Νοεμβρίου 2022.
Εξωτερικοί σύνδεσμοι
Επεξεργασία- Προσωπική ιστοσελίδα
- Η σελίδα του στο Mathematics Genealogy Project
Αυτό το λήμμα σχετικά με έναν μαθηματικό χρειάζεται επέκταση. Μπορείτε να βοηθήσετε την Βικιπαίδεια επεκτείνοντάς το. |