Schneller Zugriff als Browser!
68 Beziehungen: Academia Europaea, Akademie der Wissenschaften der Tschechischen Republik, Alexander-von-Humboldt-Stiftung, Alfred Tarski, Alonzo Church, American Academy of Arts and Sciences, American Association for the Advancement of Science, American Mathematical Society, Angus Macintyre, Association for Computing Machinery, Automatentheorie, Berkeley, Boolean, British Academy, Carnegie Mellon University, Christopher Strachey, EATCS-Award, Finnische Akademie der Wissenschaften, Gödel Lecturer, Guggenheim-Stipendium, Herbert A. Simon, IBM, Informatiker, Kalifornien, Kategorientheorie, Kenneth Kunen, Kontinuumshypothese, Leroy P. Steele Prize, Logik, Mathematiker, Michael O. Rabin, Mittag-Leffler-Institut, Modallogik, Modelltheorie, National Academy of Sciences, New York Academy of Sciences, Nichtdeterministischer endlicher Automat, Paul Cohen (Mathematiker), Petr Vopěnka, Philosophie, Pittsburgh, Princeton University, Programmiersprache, Promotion (Doktor), Robert M. Solovay, Rolf-Schock-Preis, Scott-Topologie, Scottsches Axiomensystem, Sloan Research Fellowship, Stanford University, ..., Tarski Lectures, Technische Universität Darmstadt, Thomas J. Watson Research Center, Topologie (Mathematik), Turing Award, Universität Linz, Universität Ljubljana, Universität Utrecht, Universiteit van Amsterdam, University of California, Berkeley, University of Chicago, University of Edinburgh, University of Oxford, Vereinigte Staaten, Xerox PARC, Zermelo-Fraenkel-Mengenlehre, 11. Oktober, 1932. Erweitern Sie Index (18 mehr) »
Academia Europaea
Die Academia Europaea ist eine europäische regierungsunabhängige wissenschaftliche Gesellschaft, die im Jahr 1988 gegründet wurde.
Neu!!: Dana Scott und Academia Europaea · Mehr sehen »
Akademie der Wissenschaften der Tschechischen Republik
Hauptgebäude der Akademie in der ''Národní'' in Prag Die Akademie der Wissenschaften der Tschechischen Republik (tschechisch Akademie věd České republiky, kurz AV ČR) ist die führende außeruniversitäre Forschungseinrichtung in Tschechien.
Neu!!: Dana Scott und Akademie der Wissenschaften der Tschechischen Republik · Mehr sehen »
Alexander-von-Humboldt-Stiftung
Die Alexander-von-Humboldt-Stiftung (AvH, in eigener Schreibung Alexander von Humboldt-Stiftung) ist eine gemeinnützige Stiftung der Bundesrepublik Deutschland zur Förderung der internationalen Zusammenarbeit in der Forschung.
Neu!!: Dana Scott und Alexander-von-Humboldt-Stiftung · Mehr sehen »
Alfred Tarski
Berkeley Alfred Tarski bzw.
Neu!!: Dana Scott und Alfred Tarski · Mehr sehen »
Alonzo Church
Alonzo Church (* 14. Juni 1903 in Washington, D.C.; † 11. August 1995 in Hudson, Ohio) war ein US-amerikanischer Mathematiker, Logiker und Philosoph und einer der Begründer der theoretischen Informatik.
Neu!!: Dana Scott und Alonzo Church · Mehr sehen »
American Academy of Arts and Sciences
Die American Academy of Arts and Sciences (kurz American Academy) ist eine der ältesten und angesehensten Ehrengesellschaften der Vereinigten Staaten.
Neu!!: Dana Scott und American Academy of Arts and Sciences · Mehr sehen »
American Association for the Advancement of Science
Logo Zentrale in Washington Die American Association for the Advancement of Science, auch genannt „Triple A-S“ (AAAS), ist die weltweit größte wissenschaftliche Gesellschaft und Herausgeberin mehrerer Zeitschriften, darunter Science und Science Advances.
Neu!!: Dana Scott und American Association for the Advancement of Science · Mehr sehen »
American Mathematical Society
Logo der American Mathematical Society Die American Mathematical Society (AMS) ist eine Vereinigung der Mathematiker in den USA, vergleichbar mit der Deutschen Mathematiker-Vereinigung (DMV) in Deutschland.
Neu!!: Dana Scott und American Mathematical Society · Mehr sehen »
Angus Macintyre
Angus John Macintyre ist ein britischer mathematischer Logiker, der sich neben Logik und Modelltheorie auch mit Algebra und Kombinatorik beschäftigt.
Neu!!: Dana Scott und Angus Macintyre · Mehr sehen »
Association for Computing Machinery
Die Association for Computing Machinery (ACM) wurde 1947 als erste wissenschaftliche Gesellschaft für Informatik gegründet.
Neu!!: Dana Scott und Association for Computing Machinery · Mehr sehen »
Automatentheorie
Die Automatentheorie ist ein Teilgebiet der theoretischen Informatik, das sich mit dem Studium von Automaten (Modellrechnern) und mit den von diesen Automaten lösbaren Problemen beschäftigt.
Neu!!: Dana Scott und Automatentheorie · Mehr sehen »
Berkeley
Berkeley ist eine US-amerikanische Stadt im Alameda County in der nordkalifornischen San Francisco Bay Area.
Neu!!: Dana Scott und Berkeley · Mehr sehen »
Boolean
Ein Boolean, benannt nach George Boole, ist ein Element einer booleschen Algebra.
Neu!!: Dana Scott und Boolean · Mehr sehen »
British Academy
Logo der British Academy Das Gebäude der British Academy (2011) Die British Academy (deutsch Britische Akademie) ist eine britische Gelehrtengesellschaft zur Wissenschaftspflege mit über 1000 gewählten Mitgliedern.
Neu!!: Dana Scott und British Academy · Mehr sehen »
Carnegie Mellon University
Hamerschlag Hall Wean Hall University Center Die Carnegie Mellon University (CMU) ist eine private Forschungsuniversität in Pittsburgh, Pennsylvania, USA.
Neu!!: Dana Scott und Carnegie Mellon University · Mehr sehen »
Christopher Strachey
Christopher Strachey (* 16. November 1916 in Hampstead, England; † 18. Mai 1975 in Oxford, England) war ein britischer Informatiker.
Neu!!: Dana Scott und Christopher Strachey · Mehr sehen »
EATCS-Award
Der EATCS-Award der European Association for Theoretical Computer Science ist ein seit 2000 jährlich vergebener Preis für herausragende theoretische Informatiker.
Neu!!: Dana Scott und EATCS-Award · Mehr sehen »
Finnische Akademie der Wissenschaften
Die Finnische Akademie der Wissenschaften (offiziell finnisch: Suomalainen Tiedeakatemia, lateinisch: Academia Scientiarum Fennica, englisch: Finnish Academy of Science and Letters) ist eine 1908 in Helsinki gegründete allgemeine Wissenschaftsgesellschaft.
Neu!!: Dana Scott und Finnische Akademie der Wissenschaften · Mehr sehen »
Gödel Lecturer
Als Gödel Lecturer ehrt die Association for Symbolic Logic (ASL) Personen, die sich auf dem Gebiet der mathematischen Logik hervorgetan haben.
Neu!!: Dana Scott und Gödel Lecturer · Mehr sehen »
Guggenheim-Stipendium
Das Guggenheim-Stipendium ist ein Stipendium, das von der US-amerikanischen John-Simon-Guggenheim-Gedächtnis-Stiftung (engl. John Simon Guggenheim Memorial Foundation) an Amerikaner (im Sinne von Einwohnern des Kontinents Amerika) vergeben wird, die sich in der Naturwissenschaft, den Sozialwissenschaften, den Geisteswissenschaften oder der Kunst hervorgetan haben.
Neu!!: Dana Scott und Guggenheim-Stipendium · Mehr sehen »
Herbert A. Simon
Herbert A. Simon (Gemälde von Richard Rappaport) Simon (links) in einer Schachpartie gegen Allen Newell um 1958 Herbert Alexander Simon (* 15. Juni 1916 in Milwaukee, Wisconsin; † 9. Februar 2001 in Pittsburgh, Pennsylvania) war ein US-amerikanischer Sozialwissenschaftler.
Neu!!: Dana Scott und Herbert A. Simon · Mehr sehen »
IBM
Die International Business Machines Corporation (IBM) ist ein börsennotiertes US-amerikanisches IT- und Beratungsunternehmen mit Sitz in Armonk im Bundesstaat New York.
Neu!!: Dana Scott und IBM · Mehr sehen »
Informatiker
Informatiker ist eine allgemeine Berufsbezeichnung für Personen, die im Bereich der Informationstechnik (IT) tätig sind, dort forschen oder die Erkenntnisse der Informatik anwenden.
Neu!!: Dana Scott und Informatiker · Mehr sehen »
Kalifornien
Kalifornien (und) ist der flächenmäßig drittgrößte und mit Abstand bevölkerungsreichste Bundesstaat der Vereinigten Staaten.
Neu!!: Dana Scott und Kalifornien · Mehr sehen »
Kategorientheorie
Die Kategorientheorie oder die kategorielle Algebra ist ein Zweig der Mathematik, der Anfang der 1940er Jahre zuerst im Rahmen der Topologie entwickelt wurde; Saunders MacLane nennt seine 1945 in Zusammenarbeit mit Samuel Eilenberg entstandene „General Theory of Natural Equivalences“ (in Trans. Amer. Math. Soc. 58, 1945) die erste explizit kategorientheoretische Arbeit.
Neu!!: Dana Scott und Kategorientheorie · Mehr sehen »
Kenneth Kunen
Herbert Kenneth Kunen (* 2. August 1943 in New York City; † 14. August 2020) war ein US-amerikanischer Mathematiker.
Neu!!: Dana Scott und Kenneth Kunen · Mehr sehen »
Kontinuumshypothese
Die Mächtigkeit des Kontinuums bleibt in ZFC unbestimmt Die Kontinuumshypothese wurde 1878 vom Mathematiker Georg Cantor aufgestellt und beinhaltet eine Vermutung über die Mächtigkeit des Kontinuums, das heißt der Menge der reellen Zahlen.
Neu!!: Dana Scott und Kontinuumshypothese · Mehr sehen »
Leroy P. Steele Prize
Der Leroy P. Steele Prize wird aus dem Vermächtnis von Leroy P. Steele seit 1970 von der American Mathematical Society zu Ehren von George David Birkhoff, William Fogg Osgood und William Caspar Graustein verliehen.
Neu!!: Dana Scott und Leroy P. Steele Prize · Mehr sehen »
Logik
Mit Logik (von logikè téchnē ‚Kunst des Denkens‘, ‚Kunst des Argumentierens‘) wird im Allgemeinen das vernünftige Schlussfolgern und im Besonderen dessen Lehre – die Schlussfolgerungslehre oder auch Denklehre – bezeichnet.
Neu!!: Dana Scott und Logik · Mehr sehen »
Mathematiker
Archimedes, einer der bekanntesten Mathematiker der Antike Leonhard Euler, einer der produktivsten Mathematiker der Neuzeit russische Mathematikerin, die 1884 an der Universität Stockholm die weltweit erste Professorin für Mathematik wurde Mathematiker beschäftigen sich mit der Bewahrung und Weiterentwicklung des Fachgebiets der Mathematik und mit der Anwendung der Erkenntnisse auf praktische Belange.
Neu!!: Dana Scott und Mathematiker · Mehr sehen »
Michael O. Rabin
Michael O. Rabin Michael Oser Rabin (* 1. September 1931 in Breslau) ist ein israelischer Informatiker.
Neu!!: Dana Scott und Michael O. Rabin · Mehr sehen »
Mittag-Leffler-Institut
Das Mittag-Leffler-Institut der Königlich Schwedischen Akademie der Wissenschaften in Stockholm ist ein Forschungsinstitut für Mathematik.
Neu!!: Dana Scott und Mittag-Leffler-Institut · Mehr sehen »
Modallogik
Die Modallogik ist derjenige Zweig der Logik, der sich mit den Folgerungen um die Modalbegriffe möglich und notwendig befasst.
Neu!!: Dana Scott und Modallogik · Mehr sehen »
Modelltheorie
Die Modelltheorie ist ein Teilgebiet der mathematischen Logik.
Neu!!: Dana Scott und Modelltheorie · Mehr sehen »
National Academy of Sciences
Gebäude der National Academy of Sciences in Washington Die National Academy of Sciences (NAS) ist Teil der US-amerikanischen National Academies of Sciences, Engineering, and Medicine.
Neu!!: Dana Scott und National Academy of Sciences · Mehr sehen »
New York Academy of Sciences
Die New York Academy of Sciences (NYAS) ist eine Gesellschaft mit zirka 26.000 Mitgliedern aus 140 Ländern.
Neu!!: Dana Scott und New York Academy of Sciences · Mehr sehen »
Nichtdeterministischer endlicher Automat
Grafische Darstellung eines NEA Ein nichtdeterministischer endlicher Automat (NEA;, NFA) ist ein endlicher Automat, bei dem es für den Zustandsübergang mehrere gleichwertige Möglichkeiten gibt.
Neu!!: Dana Scott und Nichtdeterministischer endlicher Automat · Mehr sehen »
Paul Cohen (Mathematiker)
Paul Joseph Cohen (* 2. April 1934 in Long Branch, New Jersey, USA; † 23. März 2007 in Stanford, Kalifornien) war ein US-amerikanischer Logiker und Mathematiker.
Neu!!: Dana Scott und Paul Cohen (Mathematiker) · Mehr sehen »
Petr Vopěnka
Petr Vopěnka (2009) Petr Vopěnka (* 16. Mai 1935 in Prag; † 20. März 2015) war ein tschechischer Mathematiker, der sich mit Mengenlehre, mathematischer Logik, Philosophie der Mathematik und Mathematikgeschichte befasste.
Neu!!: Dana Scott und Petr Vopěnka · Mehr sehen »
Philosophie
Raffaels Schule von Athen mit den idealisierten Darstellungen der Gründerväter der abendländischen Philosophie. Obwohl seit Platon vor allem eine Sache der schriftlichen Abhandlung, ist das angeregte Gespräch bis heute ein wichtiger Bestandteil des philosophischen Lebens. In der Philosophie (philosophía, latinisiert philosophia, wörtlich „Liebe zur Weisheit“) wird versucht, die Welt und die menschliche Existenz zu ergründen, zu deuten und zu verstehen.
Neu!!: Dana Scott und Philosophie · Mehr sehen »
Pittsburgh
Pittsburgh ist eine Großstadt im Südwesten des US-Bundesstaates Pennsylvania.
Neu!!: Dana Scott und Pittsburgh · Mehr sehen »
Princeton University
Die ''Nassau Hall'', ältestes Gebäude auf dem Campus (1756) Die Blair Hall (1896) Das Konzerthaus der Universität, die ''Alexander Hall'' (1894) Die ''Firestone Library'' (1948) Carl C. Icahn Laboratory'' (2005; Die großen Lamellen dienen der Beschattung, sie folgen dem Stand der Sonne) Die Princeton University ist eine in der Stadt Princeton im US-Bundesstaat New Jersey gelegene Privatuniversität.
Neu!!: Dana Scott und Princeton University · Mehr sehen »
Programmiersprache
Quelltext eines Programms in der Programmiersprache C++. Scratch. Eine Programmiersprache ist eine formale Sprache zur Formulierung von Datenstrukturen und Algorithmen, d. h.
Neu!!: Dana Scott und Programmiersprache · Mehr sehen »
Promotion (Doktor)
Promotionsurkunde der Medizinischen Fakultät der Universität Leipzig, 1887 Die Promotion ist die Verleihung des akademischen Grades eines Doktors oder einer Doktorin in einem bestimmten Studienfach und in Form einer Promotionsurkunde.
Neu!!: Dana Scott und Promotion (Doktor) · Mehr sehen »
Robert M. Solovay
Robert Solovay, 1983 Robert Martin Solovay (* 1938 in Brooklyn) ist ein US-amerikanischer Mathematiker, der sich mit axiomatischer Mengenlehre beschäftigt.
Neu!!: Dana Scott und Robert M. Solovay · Mehr sehen »
Rolf-Schock-Preis
Die Rolf-Schock-Preise wurden von 1993 bis 2005 alle zwei Jahre, seit 2008 alle drei Jahre und seit 2017 jedes Jahr von der Königlich Schwedischen Akademie der Künste, der Königlich Schwedischen Musikakademie und der Königlich Schwedischen Akademie der Wissenschaften in Stockholm an internationale Wissenschaftler und Künstler in den Bereichen Mathematik, Philosophie, Bildende Kunst und Musik verliehen.
Neu!!: Dana Scott und Rolf-Schock-Preis · Mehr sehen »
Scott-Topologie
Die Scott-Topologie, benannt nach Dana Scott, ist eine Topologie, die sich aus der Halbordnung auf einer halbgeordneten Menge ergibt.
Neu!!: Dana Scott und Scott-Topologie · Mehr sehen »
Scottsches Axiomensystem
Das Scottsche Axiomensystem, benannt nach dem Mathematiker Dana Scott, ist ein Axiomensystem der Mengenlehre, das als alternativer Zugang zum Axiomensystem der Zermelo-Fraenkel-Mengenlehre, kurz ZF, angesehen werden kann.
Neu!!: Dana Scott und Scottsches Axiomensystem · Mehr sehen »
Sloan Research Fellowship
Die Sloan Research Fellowship wird von der Alfred P. Sloan Foundation jährlich an 126 junge, graduierte Wissenschaftler vergeben, die das Potenzial haben, führende Wissenschaftler in ihrem Gebiet zu werden.
Neu!!: Dana Scott und Sloan Research Fellowship · Mehr sehen »
Stanford University
Haupteingang der ''Stanford University'' Memorial Church'' Bogengang Die Leland Stanford Junior University (kurz Stanford University oder Stanford, Spitzname „Die Farm“) ist eine private US-amerikanische Universität in Stanford, Kalifornien.
Neu!!: Dana Scott und Stanford University · Mehr sehen »
Tarski Lectures
Die Tarski Lectures der University of California, Berkeley sind eine Ehrung in mathematischer Logik im Andenken an Alfred Tarski.
Neu!!: Dana Scott und Tarski Lectures · Mehr sehen »
Technische Universität Darmstadt
Die Fachbereiche Elektrotechnik (links) und Chemie (rechts) der damaligen TH Darmstadt, gegen Ende des 19. Jahrhunderts Die Technische Universität Darmstadt ist die erste vollständig autonome Universität der Bundesrepublik Deutschland.
Neu!!: Dana Scott und Technische Universität Darmstadt · Mehr sehen »
Thomas J. Watson Research Center
Thomas J. Watson Research Center, Hauptgebäude in Yorktown Heights Luftaufnahme des Hauptgebäudes, 1993 Das Thomas J. Watson Research Center ist die Zentrale der IBM-Forschung mit insgesamt acht Laboren in sechs Ländern.
Neu!!: Dana Scott und Thomas J. Watson Research Center · Mehr sehen »
Topologie (Mathematik)
Tasse und Volltorus sind zueinander homöomorph. ''Anmerkung'': Ein Homöomorphismus ist eine direkte Abbildung zwischen den Punkten der Tasse und des Volltorus, die Zwischenstufen im zeitlichen Verlauf dienen nur der Illustration der Stetigkeit dieser Abbildung. Die Topologie (von „Ort, Platz, Stelle“ und -logie) ist die Lehre von der Lage und Anordnung geometrischer Gebilde im Raum und damit ein fundamentales Teilgebiet der Mathematik.
Neu!!: Dana Scott und Topologie (Mathematik) · Mehr sehen »
Turing Award
Der nach Alan Turing benannte A. M. Turing Award wird jährlich von der Association for Computing Machinery (ACM) an Personen verliehen, die sich besonders um die Entwicklung der Informatik verdient gemacht haben.
Neu!!: Dana Scott und Turing Award · Mehr sehen »
Universität Linz
JKU Campus und Teichwerk Hauptbibliothek & Learning Center der JKU Die Universität Linz (Langname: Johannes Kepler Universität Linz, kurz: JKU) ist mit mehr als 21.000 Studierenden die größte Bildungs- und Forschungseinrichtung in Oberösterreich.
Neu!!: Dana Scott und Universität Linz · Mehr sehen »
Universität Ljubljana
Die Universität Ljubljana in Ljubljana (Laibach) ist die älteste, größte und international am besten bewertete Universität in Slowenien.
Neu!!: Dana Scott und Universität Ljubljana · Mehr sehen »
Universität Utrecht
Die Universität Utrecht (niederländisch: Universiteit Utrecht – UU, vormals Rijksuniversiteit Utrecht – RUU) ist die größte Universität in den Niederlanden mit Sitz in Utrecht.
Neu!!: Dana Scott und Universität Utrecht · Mehr sehen »
Universiteit van Amsterdam
Die Universiteit van Amsterdam (deutsch: Universität von Amsterdam), kurz UvA, ist eine konfessionell nicht gebundene Universität in Amsterdam.
Neu!!: Dana Scott und Universiteit van Amsterdam · Mehr sehen »
University of California, Berkeley
Die University of California, Berkeley (auch bekannt als Cal oder UC Berkeley) ist eine staatliche Universität in Berkeley im US-Bundesstaat Kalifornien und gehört seit vielen Jahren zu den renommiertesten Universitäten der Welt.
Neu!!: Dana Scott und University of California, Berkeley · Mehr sehen »
University of Chicago
University of Chicago Joseph-Regenstein-Bibliothek Tor der University of Chicago University of Chicago Midway Plaisance Halle der Graduate School of Business Hallendach der Graduate School of Business Robie House im Stil der Prairie-Schule von Frank Lloyd Wright Die Universität Chicago ist eine private Universität in den USA.
Neu!!: Dana Scott und University of Chicago · Mehr sehen »
University of Edinburgh
Die University of Edinburgh (Universität Edinburgh) ist ein Forschungs- und Lehrinstitut in Edinburgh.
Neu!!: Dana Scott und University of Edinburgh · Mehr sehen »
University of Oxford
Die University of Oxford (rechtlich The Chancellor, Masters and Scholars of the University of Oxford), deutsch Universität Oxford, in Oxford (England) ist eine der ältesten und renommiertesten Universitäten der Welt.
Neu!!: Dana Scott und University of Oxford · Mehr sehen »
Vereinigte Staaten
Die Vereinigten Staaten von Amerika (abgekürzt USA), auch Vereinigte Staaten (englisch United States; abgekürzt US) oder umgangssprachlich einfach Amerika (englisch America) genannt, sind eine demokratische, föderal aufgebaute Republik in Nordamerika und mit einigen Inseln auch in Ozeanien.
Neu!!: Dana Scott und Vereinigte Staaten · Mehr sehen »
Xerox PARC
Xerox Palo Alto Research Center (Eingangsbereich) Maus Das Forschungszentrum Xerox Palo Alto Research Center (kurz auch: Xerox PARC bzw. nur PARC) wurde 1970 auf Anregung des Xerox-Chefwissenschaftlers Jack Goldman im kalifornischen Palo Alto gegründet.
Neu!!: Dana Scott und Xerox PARC · Mehr sehen »
Zermelo-Fraenkel-Mengenlehre
Die Zermelo-Fraenkel-Mengenlehre ist eine verbreitete axiomatische Mengenlehre, die nach Ernst Zermelo und Abraham Adolf Fraenkel benannt ist.
Neu!!: Dana Scott und Zermelo-Fraenkel-Mengenlehre · Mehr sehen »
11. Oktober
Der 11.
Neu!!: Dana Scott und 11. Oktober · Mehr sehen »
1932
Keine Beschreibung.
Neu!!: Dana Scott und 1932 · Mehr sehen »
Leitet hier um:
Dana S. Scott, Dana Stewart Scott.
