Βικιπαίδεια

Ντέινα Σκοτ: Διαφορά μεταξύ των αναθεωρήσεων

Περιήγηση ιστορικού διαδραστικά
Επόμενη διαφορά →
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
ΟπτικήΚώδικας wiki
Νέα σελίδα: {{Πληροφορίες προσώπου |όνομα = Ντέινα Σκοτ |εικόνα = Scott Dana small.jpg |πλάτος εικόνας...
 
μ ορθοτυπογραφικά, σύνδεσμοι
Γραμμή 28:
Ο '''Ντέινα Σκοτ''' (Dana Stewart Scott, 11 Οκτωβρίου, [[1932]]) είναι ομότιμος καθηγητής [[Πληροφορική | Πληροφορικής]], [[Φιλοσοφία | Φιλοσοφίας]] και [[Μαθηματική λογική | Μαθηματικής Λογικής]], στο [[Πανεπιστήμιο Κάρνεγκι Μέλον]], που πλέον ζει στο Μπέρκλεϊ της [[Καλιφόρνια | Καλιφόρνια]].
 
Εκπόνησε τη διδακτορική του διατριβή υπό τον [[Αλόνζο ΤσέρτςΤσερτς]], την οποία υποστήριξε στο [[Πανεπιστήμιο Πρίνστον]] το 1958. Ερευνητικά έχει εντρυφήσει στη [[θεωρία υπολογισμού]], και γενικότερα στα [[μαθηματικά]] και τη φιλοσοφία, με θεμελιώδεις συνεισφορές στη [[θεωρία αυτομάτων]] και τη [[Τυπική σημασιολογία των γλωσσών προγραμματισμού | σημασιολογία γλωσσών προγραμματισμού]], καθώς και στην [[Λογική#.CE.A4.CF.81.CE.BF.CF.80.CE.B9.CE.BA.CE.AE_.CE.BB.CE.BF.CE.B3.CE.B9.CE.BA.CE.AE | τροπική λογική]], την [[τοπολογία]] και τη [[θεωρία κατηγοριών]].
 
Για το έργο του έχει τιμηθεί μεταξύ άλλων και με το [[βραβείο Τούρινγκ | βραβείο Τιούρινγκ]].
Ανακτήθηκε από "https://el.wikipedia.org/wiki/Ντέινα_Σκοτ"