Ντέινα Σκοτ

Ντέινα Σκοτ
Γενικές πληροφορίες
Όνομα στη; μητρική γλώσσα	Dana Stewart Scott (Αγγλικά)
Γέννηση	11 Οκτωβρίου 1932; Μπέρκλι
Χώρα πολιτογράφησης	Ηνωμένες Πολιτείες Αμερικής
Εκπαίδευση και γλώσσες
Ομιλούμενες γλώσσες	Αγγλικά
Εκπαίδευση	διδάκτωρ φιλοσοφίας
Σπουδές	Πανεπιστήμιο του Πρίνστον; Πανεπιστήμιο της Καλιφόρνιας, Μπέρκλεϋ
Πληροφορίες ασχολίας
Ιδιότητα	μαθηματικός; επιστήμονας υπολογιστών; μηχανικός; τοπολόγος; διδάσκων πανεπιστημίου
Εργοδότης	Πανεπιστήμιο της Καλιφόρνιας, Μπέρκλεϋ; Πανεπιστήμιο του Σικάγου; Πανεπιστήμιο Κάρνεγκι Μέλον; Johannes Kepler University Linz
Οικογένεια
Σύζυγος	Irene Schreier Scott
Συγγενείς	Ότο Σράιερ (πεθερός)
Αξιώματα και βραβεύσεις
Βραβεύσεις	Βραβείο Τούρινγκ (1976); Υποτροφία Γκούγκενχαϊμ (1978); βραβείο Χάρολντ Πέντερ (1990); Βραβείο Ρολφ Σοκ στην λογική και φιλοσοφία (1997); Gödel Lecturer (1991); EATCS award (2007); βραβείο Λιρόϊ Π. Στιλ (1972); Βραβείο Σοκ (1997); ACM Fellow (1994); honorary doctor of the University of Utrecht; επίτιμος διδάκτωρ του Πανεπιστημίου του Εδιμβούργου; εταίρος της Αμερικανικής Μαθηματικής Εταιρίας (2013)
Ιστότοπος
	www.cs.cmu.edu/~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

Αυτό το λήμμα σχετικά με έναν μαθηματικό χρειάζεται επέκταση. Μπορείτε να βοηθήσετε την Βικιπαίδεια επεκτείνοντάς το.

[9f2e056404c479aaac222e887a8e9a3a492cf701-1] Τσεχική Εθνική Βάση Δεδομένων Καθιερωμένων Όρων. xx0267847. Ανακτήθηκε στις 1 Μαρτίου 2022.

[7024379f72121c06a2a9f20a4e42232288989f9c-2] Ανακτήθηκε στις 3 Ιουλίου 2019.

[60c5adc9dd6cdc81a0a1d3ee657c72cd9cbb3d7d-3] Ανακτήθηκε στις 4 Ιουλίου 2019.

[aa3958a3e854f5d9cd5124f434f48423ee226da3-4] 4,0 ^4,1 MacTutor History of Mathematics archive. mathshistory.st-andrews.ac.uk/Biographies/Schreier/.

[7b45ed13ba3523ce44e2d8559befa76f6553fc17-5] turing.acm.org/award_winners/scott_1193622.cfm.

[7f429054a26964d5d3ee9566941b5d01493e1b26-6] wards.acm.org/award_winners/scott_1193622#140.

[c3761fb37a14664b99de7394cac1b19ff19314ba-7] -s-scott.

[83f9d28d55d8884761900b0201362fedfa9ab874-8] vents.seas.upenn.edu/distinguished-lectures/pender-lecture/.

[777fd2c69b834b94cd001bc7eca7dbc066798428-9] www.ams.org/prizes-awards/pabrowse.cgi?parent_id=28.

[b945f3df5cf72b94a040f8b9c621b897cee6fe66-10] wards.acm.org/award_winners/scott_1193622#158.

[3ec331832ded164c01ffc9739635207f341ecdb5-11] www.ams.org/fellows_by_year.cgi?year=2013. Ανακτήθηκε στις 24 Νοεμβρίου 2022.

[45c47b26de342d0a0c29a5f1561537ea0b9f64ba-12] www.ams.org/news?news_id=1680. Ανακτήθηκε στις 24 Νοεμβρίου 2022.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]