Ντέινα Σκοτ
Το λήμμα δεν περιέχει πηγές ή αυτές που περιέχει δεν επαρκούν. Μπορείτε να βοηθήσετε προσθέτοντας την κατάλληλη τεκμηρίωση. Υλικό που είναι ατεκμηρίωτο μπορεί να αμφισβητηθεί και να αφαιρεθεί.
Η σήμανση τοποθετήθηκε στις 02/10/2015.
Ο Ντέινα Σκοτ (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 . Ανακτήθηκε στις 24 Νοεμβρίου 2022..org /fellows _by _year .cgi?year=2013 - ↑ www
.ams . Ανακτήθηκε στις 24 Νοεμβρίου 2022..org /news?news _id=1680
Εξωτερικοί σύνδεσμοι
[Επεξεργασία | επεξεργασία κώδικα]- Προσωπική ιστοσελίδα
- Η σελίδα του στο Mathematics Genealogy Project
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.
Cover photo is available under {{::mainImage.info.license.name || 'Unknown'}} license.
Cover photo is available under {{::mainImage.info.license.name || 'Unknown'}} license.
Credit:
(see original file).
