Dana Scott

US-amerikanischer Mathematiker, Logiker, Informatiker und Philosoph

Lebensdaten: 11. Oktober 1932

Verknüpfte Einträge

• Tätigkeit: Hochschullehrer – Person, die an einer Hochschule lehrt und forscht
• Tätigkeit: Ingenieur – Berufsbezeichnung für wissenschaftlich ausgebildete Fachleute auf technischem Gebiet
• Tätigkeit: Mathematiker – Person mit weitreichenden mathematischen Kenntnissen
• Mitglied von: American Academy of Arts and Sciences (4. Mai 1780) – US-Akademie für Kunst und Wissenschaften
• Auszeichnung: Guggenheim-Stipendium (1925)
• Arbeitgeber: University of California, Berkeley (23. März 1868) – Universität in Berkeley, Kalifornien
• Tätigkeit: Informatiker – Berufsbezeichnung
• besuchte Bildungseinrichtung: Princeton University (1746) – Universität in New Jersey
• Arbeitgeber: University of Chicago (1890) – Universität in den Vereinigten Staaten
• Mitglied von: National Academy of Sciences (3. März 1863) – Teil der US-amerikanischen National Academies of Sciences, Engineering, and Medicine
• akademischer Grad: Doktor der Philosophie – höchster akademischer Grad im Bereich der Philosophischen Fakultäten
• Mitglied von: Academia Europaea (1988) – europaeische Wissenschaftsgesellschaft
• Geburtsort: Berkeley (1866) – Stadt in Kalifornien
• Mitglied von: American Mathematical Society (1888) – Vereinigung der Mathematiker in den USA
• Auszeichnung: Fellow of the Association for Computing Machinery
• Mitglied von: Association for Computing Machinery (15. September 1947) – wissenschaftliche Gesellschaft für Informatik
• Arbeitsgebiet: Topologie – Teilgebiet der Mathematik
• Tätigkeit: Topologe – Mathematiker auf dem Gebiet der Topologie
• Mitglied von: Finnische Akademie der Wissenschaften (1908) – die 1908 in Helsinki gegründete allgemeine Wissenschaftsgesellschaft Finnlands
• Arbeitsgebiet: mathematische Logik – Teilgebiet der Mathematik
• Auszeichnung: Turing Award (1966) – Informatikpreis
• Auszeichnung: Leroy P. Steele Prize (1970) – Auszeichnung der American Mathematical Society
• Auszeichnung: Harold Pender Award (1972)
• Arbeitsgebiet: Modelltheorie – Teilgebiet der mathematischen Logik
• Auszeichnung: Gödel-Lecturer (1990) – Auszeichnung
• Auszeichnung: EATCS-Award (2000) – Auszeichnung
• Promotionsbetreuer: Alonzo Church (14. Juni 1903 – 11. August 1995) – US-amerikanischer Mathematiker und einer der Begründer der theoretischen Informatik
• Arbeitsgebiet: Programmierung – Tätigkeit der Erstellung von Computerprogrammen
• Arbeitsgebiet: Verband – Struktur in der Mathematik
• Doktorand: David Turner (1946)
• Doktorand: Kenneth Kunen (2. August 1943) – US-amerikanischer Mathematiker, Professor für Mathematik
• Doktorand: Angus Macintyre (10. Oktober 1941) – britischer Logiker
• Doktorand: Ketan Mulmuley
• Doktorand: Marko Petkovšek (9. April 1955)
• Doktorand: Fred S. Roberts (19. Juni 1943)
• Auszeichnung: Rolf-Schock-Preis (1993)
• Doktorand: Jack Copeland (1950) – britischer Historiker
• Doktorand: Michael Fourman (12. September 1950)