Ντέινα Σκοτ: Διαφορά μεταξύ των αναθεωρήσεων
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
Νέα σελίδα: {{Πληροφορίες προσώπου |όνομα = Ντέινα Σκοτ |εικόνα = Scott Dana small.jpg |πλάτος εικόνας... |
(Καμία διαφορά)
|
Έκδοση από την 22:19, 11 Ιουνίου 2014
Ο Ντέινα Σκοτ (Dana Stewart Scott, 11 Οκτωβρίου, 1932) είναι ομότιμος καθηγητής Πληροφορικής, Φιλοσοφίας και Μαθηματικής Λογικής, στο Πανεπιστήμιο Κάρνεγκι Μέλον, που πλέον ζει στο Μπέρκλεϊ της Καλιφόρνια.
| Ντέινα Σκοτ | |
|---|---|
 | |
| Γενικές πληροφορίες | |
| Όνομα στη μητρική γλώσσα | Dana Stewart Scott (Αγγλικά) |
| Γέννηση | 11 Οκτωβρίου 1932 Μπέρκλεϊ, Καλιφόρνια |
| Εθνικότητα | Αμερικανός  |
| Χώρα πολιτογράφησης | Ηνωμένες Πολιτείες Αμερικής |
| Εκπαίδευση και γλώσσες | |
| Ομιλούμενες γλώσσες | Αγγλικά[1] |
| Εκπαίδευση | διδάκτωρ φιλοσοφίας |
| Σπουδές | Πανεπιστήμιο του Πρίνστον Πανεπιστήμιο της Καλιφόρνιας, Μπέρκλεϋ |
| Πληροφορίες ασχολίας | |
| Ιδιότητα | Μαθηματικός |
| Εργοδότης | Πανεπιστήμιο της Καλιφόρνιας, Μπέρκλεϋ Πανεπιστήμιο του Σικάγου Πανεπιστήμιο Κάρνεγκι Μέλον[2] Johannes Kepler University Linz[3] |
| Συγγενείς | Ότο Σράιερ (πεθερός)[4] |
 Σχετικά πολυμέσα | |
Εκπόνησε τη διδακτορική του διατριβή υπό τον Αλόνζο Τσέρτς, την οποία υποστήριξε στο Πανεπιστήμιο Πρίνστον το 1958. Ερευνητικά έχει εντρυφήσει στη θεωρία υπολογισμού, και γενικότερα στα μαθηματικά και τη φιλοσοφία, με θεμελιώδεις συνεισφορές στη θεωρία αυτομάτων και τη σημασιολογία γλωσσών προγραμματισμού, καθώς και στην τροπική λογική, την τοπολογία και τη θεωρία κατηγοριών.
Για το έργο του έχει τιμηθεί μεταξύ άλλων και με το βραβείο Τιούρινγκ.
Δείτε ακόμη
Σύνδεσμοι
- Προσωπική ιστοσελίδα
- Η σελίδα του στο Mathematics Genealogy Project
- ↑ Τσεχική Εθνική Βάση Δεδομένων Καθιερωμένων Όρων. xx0267847. Ανακτήθηκε στις 1 Μαρτίου 2022.
- ↑ Ανακτήθηκε στις 3 Ιουλίου 2019.
- ↑ Ανακτήθηκε στις 4 Ιουλίου 2019.
- ↑ MacTutor History of Mathematics archive. mathshistory
.st-andrews .ac .uk /Biographies /Schreier /.