25:
93:
562:; so it was at that time that we became friends. Scott was clearly in line to do a Ph. D. with Tarski, but they had a falling out for reasons explained in our biography. Upset by that, Scott left for Princeton where he finished with a Ph. D. under Alonzo Church. But it was not long before the relationship between them was mended to the point that Tarski could say to him, "I hope I can call you my student."
681:
John Lemmon and Scott began work on a modal-logic textbook that was interrupted by Lemmon's death in 1966. Scott circulated the incomplete monograph amongst colleagues, introducing a number of important techniques in the semantics of model theory, most importantly presenting a refinement of
802:
his conceptually oriented logical works, especially the creation of domain theory, which has made it possible to extend Tarski's semantic paradigm to programming languages as well as to construct models of Curry's combinatory logic and Church's calculus of lambda
770:, allowing programs involving recursive functions and looping-control constructs to be given denotational semantics. Additionally, he provided a foundation for the understanding of infinitary and continuous information through domain theory and his theory of
758:, and the two managed, despite administrative pressures, to do work on providing a mathematical foundation for the semantics of programming languages, the work for which Scott is best known. Together, their work constitutes the ScottâStrachey approach to
2484:
554:
Scott began his studies in logic at
Berkeley in the early 50s while still an undergraduate. His unusual abilities were soon recognized and he quickly moved on to graduate classes and seminars with
2399:
2409:
2494:
670:(Copeland 2004), whom he had known from his days as an undergraduate at Berkeley. Later, Scott and Montague independently discovered an important generalisation of
2414:
1226:
836:
1847:
1410:
1217:
809:
690:, both of which are core concepts in modern Kripke semantics (Blackburn, de Rijke, and Venema, 2001). Scott eventually published the work as
2539:
2514:
2404:
2419:
2534:
2529:
2499:
2449:
2524:
2519:
2479:
2379:
1048:
2489:
2454:
2294:
1840:
1403:
2509:
1210:
1133:
1016:
848:
2504:
1914:
921:
600:
526:
498:
337:
168:
128:
1081:
1040:
797:
442:
178:
68:
46:
787:
application of concepts from logic and algebra to the development of mathematical semantics of programming languages
39:
2185:
2474:
2434:
2037:
1833:
1396:
588:
2424:
1203:
2469:
2122:
1114:
852:
163:
1103:
962:
Where here Dana Scott counts the category of domains to be the category whose objects are pointed directed-
839:
as a successor theory to domain theory; among its many advantages, the category of equilogical spaces is a
763:
2384:
447:
213:
188:
996:
666:
and the connection to the treatment of time in natural-language semantics, and began collaborating with
2429:
1516:
1002:
832:
723:
478:
356:
840:
813:
718:, in which he used Boolean-valued models to provide an alternate analysis of the independence of the
616:
465:(born October 11, 1932) is an American logician who is the emeritus Hillman University Professor of
2444:
2439:
771:
675:
208:
193:
33:
1434:
1187:
2464:
2394:
1813:
1328:
1022:
963:
759:
743:
347:
218:
50:
2066:
916:. Encyclopedia of Mathematics and its Applications. Vol. 93. Cambridge University Press.
2459:
1646:
727:
655:
568:
332:
239:
223:
1058:
2389:
1765:
1694:
908:
Gierz, G.; Hofmann, K. H.; Keimel, K.; Lawson, J. D.; Mislove, M. W.; Scott, D. S. (2003).
755:
739:
719:
707:
542:
530:
494:
482:
351:
136:
116:
8:
2268:
782:
738:
Scott took up a post as
Professor of Mathematical Logic on the Philosophy faculty of the
620:
263:
173:
2223:
2088:
1970:
1920:
1908:
1807:
1605:
1581:
1563:
1419:
1358:
1304:
1256:
910:
604:
571:, working as an instructor there until 1960. In 1959, he published a joint paper with
474:
279:
1575:
432:
2116:
2094:
1789:
1640:
1077:
1044:
1036:
917:
793:
1510:
2290:
2278:
2252:
2207:
2203:
1948:
1942:
1801:
1658:
1464:
1352:
1054:
1026:
967:
873:
865:
686:
that became standard, and introducing the technique of constructing models through
671:
667:
572:
559:
546:
522:
466:
384:
306:
203:
198:
158:
1741:
1119:
1070:
Denotational
Semantics: The Scott-Strachey Approach to Programming Language Theory
271:
2351:
2304:
2284:
2169:
2155:
2084:
2043:
2021:
1964:
1926:
1885:
1652:
1634:
1569:
1557:
1470:
1440:
1364:
1238:
1123:
630:
During this period he started supervising Ph.D. students, such as James
Halpern (
580:
579:(Scott and Rabin 1959) which introduced the idea of nondeterministic machines to
510:
486:
437:
417:
407:
255:
153:
1712:
1244:
711:
2339:
2274:
2262:
2240:
2217:
2211:
2151:
2078:
2009:
1879:
1825:
1771:
1759:
1753:
1735:
1672:
1599:
1593:
1533:
1500:
1370:
1322:
1286:
1169:
1129:
703:
427:
1388:
1292:
1146:
1143:
1140:
1137:
2373:
2357:
2345:
2314:
2300:
2256:
2197:
2049:
2031:
2027:
2015:
1993:
1891:
1795:
1706:
1700:
1684:
1668:
1611:
1551:
1494:
1482:
1298:
1274:
1250:
1008:
979:
767:
555:
538:
412:
402:
389:
1340:
2318:
2072:
2005:
1999:
1938:
1932:
1856:
1783:
1777:
1747:
1718:
1690:
1628:
1587:
1539:
1488:
1476:
1334:
1268:
1262:
1110:
1030:
1012:
659:
612:
584:
490:
422:
247:
183:
2485:
University of
California, Berkeley College of Letters and Science faculty
2246:
2128:
2110:
2104:
1958:
1873:
1678:
1506:
1458:
1316:
1310:
897:
663:
651:
647:
502:
372:
311:
1195:
843:, whereas the category of domains is not. In 1994, he was inducted as a
714:
did likewise at around the same time. In 1967, Scott published a paper,
599:
Scott took up a post as
Assistant Professor of Mathematics, back at the
2335:
2308:
2191:
2165:
2161:
2145:
1987:
1545:
1452:
1346:
1062:
877:
608:
470:
316:
2181:
2098:
1376:
1152:
1073:
632:
Contributions to the Study of the
Independence of the Axiom of Choice
2175:
1859:
558:
and became part of the group that surrounded him, including me and
506:
342:
92:
1095:
594:
587:
on the two, for the introduction of this fundamental concept of
1177:
844:
697:
366:
746:
while at Oxford and is now an
Honorary Fellow of the college.
497:
in the 1970s laid the foundations of modern approaches to the
1664:
819:
822:
Award for his contribution to theoretical computer science.
636:
Infinitely Long
Formulas with Countable Quantifier Degrees
2400:
Members of the United States
National Academy of Sciences
907:
826:
2410:
1994 fellows of the Association for Computing Machinery
884:
A proof of the independence of the continuum hypothesis
716:
A Proof of the Independence of the Continuum Hypothesis
766:. One of Scott's contributions is his formulation of
749:
980:
List of Fellows of the American Mathematical Society
777:
Scott's work of this period led to the bestowal of:
567:
After completing his Ph.D. studies, he moved to the
909:
733:
2495:UC Berkeley College of Letters and Science alumni
2371:
1855:
603:, and involved himself with classical issues in
1418:
658:, in 1963. Scott was especially interested in
650:in this period, beginning a collaboration with
1136:series of interviews of Turing award winners:
812:for Merit in the Mathematical Sciences by the
1841:
1404:
1211:
966:(DCPOs), and whose morphisms are the strict,
595:University of California, Berkeley, 1960â1963
583:. This work led to the joint bestowal of the
2415:Fellows of the American Mathematical Society
698:Stanford, Amsterdam and Princeton, 1963â1972
762:, an important and seminal contribution to
493:in 1976, while his collaborative work with
1848:
1834:
1411:
1397:
1218:
1204:
870:Finite Automata and Their Decision Problem
577:Finite Automata and Their Decision Problem
91:
1225:
1107:â held in honor of Scott's 70th birthday.
953:Kanamori, The Higher infinite, p. 44, 49.
535:Convergent Sequences of Complete Theories
373:Convergent Sequences of Complete Theories
69:Learn how and when to remove this message
641:
619:is incompatible with the existence of a
32:This article includes a list of general
995:Blackburn, de Rijke and Venema (2001).
886:. Mathematical Systems Theory 1:89â111.
2372:
1059:Tarski's influence on computer science
1829:
1392:
1199:
1104:DOMAIN 2002 Workshop on Domain Theory
827:Carnegie Mellon University, 1981â2003
575:, a colleague from Princeton, titled
2540:21st-century American mathematicians
2515:20th-century American mathematicians
851:. In 2012 he became a fellow of the
726:. This work led to the award of the
702:Following an initial observation of
18:
1134:Association for Computing Machinery
1017:Stanford Encyclopedia of Philosophy
889:1970. 'Advice on modal logic'. In
849:Association for Computing Machinery
754:This period saw Scott working with
545:, and defended his thesis in 1958.
13:
2405:Carnegie Mellon University faculty
989:
750:Semantics of programming languages
706:, Scott formulated the concept of
674:for modal and tense logic, called
601:University of California, Berkeley
527:University of California, Berkeley
499:semantics of programming languages
169:Semantics of programming languages
38:it lacks sufficient corresponding
14:
2551:
2420:Fellows of Merton College, Oxford
1087:
798:Royal Swedish Academy of Sciences
796:in logic and philosophy from the
481:; he is now retired and lives in
224:RabinâScott powerset construction
179:Nondeterministic finite automaton
2535:21st-century American scientists
2530:20th-century American scientists
2500:People from Berkeley, California
2450:Programming language researchers
1153:Selected papers of Dana S. Scott
893:, ed. K. Lambert, pages 143â173.
627:in the evolution of set theory.
23:
2525:21st-century American engineers
2520:20th-century American engineers
912:Continuous Lattices and Domains
891:Philosophical Problems in Logic
858:
835:, Scott proposed the theory of
734:University of Oxford, 1972â1981
589:computational complexity theory
516:
1035:. Cambridge University Press,
973:
956:
947:
938:
902:An Introduction to Modal Logic
692:An Introduction to Modal Logic
549:(2005) writes of this period:
1:
2480:University of Chicago faculty
1115:Mathematics Genealogy Project
1032:Alfred Tarski: life and logic
944:Feferman & Feferman 2004.
931:
853:American Mathematical Society
164:Logic of Computable Functions
16:American logician (born 1932)
2380:American computer scientists
764:theoretical computer science
694:(Lemmon & Scott, 1977).
646:Scott also began working on
7:
2490:Princeton University alumni
2455:Rolf Schock Prize laureates
634:) and Edgar Lopez-Escobar (
10:
2556:
2510:Scientists from California
1128:Dana Scott interviewed by
1003:Cambridge University Press
833:Carnegie Mellon University
742:in 1972. He was member of
479:Carnegie Mellon University
357:Carnegie Mellon University
2505:Engineers from California
2328:
2233:
2138:
2059:
1980:
1901:
1866:
1728:
1621:
1526:
1427:
1234:
1184:
1174:
1166:
1161:
841:cartesian closed category
814:Czech Academy of Sciences
617:axiom of constructibility
537:under the supervision of
456:
395:
383:
365:
325:
299:
292:
232:
146:
123:
99:
90:
83:
1122:publications indexed by
676:Scott-Montague semantics
529:, in 1954. He wrote his
525:in Mathematics from the
501:. He has also worked on
219:ScottâStrachey semantics
209:Scott-Montague semantics
194:Scott information system
1647:Herzog & de Meuron
1435:Willard Van Orman Quine
1188:Laurence Jonathan Cohen
1068:Joseph E. Stoy (1977).
982:, retrieved 2013-07-14.
964:complete partial orders
282:(Logic and Philosophy)
214:ScottâPotter set theory
53:more precise citations.
2475:Turing Award laureates
2435:Mathematical logicians
1880:Maurice Vincent Wilkes
1023:Anita Burdman Feferman
760:denotational semantics
623:, a result considered
565:
2425:Formal methods people
1147:Part 4 (Feb 18, 2021)
1144:Part 3 (Jan 12, 2021)
1141:Part 2 (Dec 29, 2020)
1138:Part 1 (Nov 12, 2020)
728:Leroy P. Steele Prize
656:Claremont, California
642:Modal and tense logic
615:. He proved that the
569:University of Chicago
551:
333:University of Chicago
240:Leroy P. Steele Prize
2470:American topologists
1766:Anne Sofie von Otter
1695:Jean-Philippe Vassal
1428:Logic and philosophy
904:. Oxford: Blackwell.
756:Christopher Strachey
740:University of Oxford
722:to that provided by
720:continuum hypothesis
708:Boolean-valued model
495:Christopher Strachey
483:Berkeley, California
352:University of Oxford
137:Princeton University
117:Berkeley, California
2269:Michael Stonebraker
2067:Fernando J. CorbatĂł
783:Harold Pender Award
772:information systems
621:measurable cardinal
264:Harold Pender Award
2385:American logicians
2224:Charles P. Thacker
2089:Richard E. Stearns
1971:Kenneth E. Iverson
1921:Edsger W. Dijkstra
1909:James H. Wilkinson
1857:A. M. Turing Award
1606:Nikolai G. Makarov
1582:Michael Aschbacher
1564:Richard P. Stanley
1124:Microsoft Academic
1061:. Proc. LICS'05.
878:10.1147/rd.32.0114
837:equilogical spaces
605:mathematical logic
475:Mathematical Logic
463:Dana Stewart Scott
85:Dana Stewart Scott
2430:Lattice theorists
2367:
2366:
2241:Leslie G. Valiant
2117:Douglas Engelbart
2095:Edward Feigenbaum
1823:
1822:
1814:VĂkingur Ălafsson
1790:Herbert Blomstedt
1641:Torsten Andersson
1420:Rolf Schock Prize
1386:
1385:
1194:
1193:
1185:Succeeded by
1176:President of the
1162:Academic offices
1132:, as part of the
1049:978-0-521-80240-6
794:Rolf Schock Prize
710:, as Solovay and
460:
459:
396:Doctoral students
294:Scientific career
280:Rolf Schock Prize
79:
78:
71:
2547:
2291:John L. Hennessy
2279:Whitfield Diffie
2253:Shafi Goldwasser
2208:E. Allen Emerson
2204:Edmund M. Clarke
1949:Michael O. Rabin
1943:Herbert A. Simon
1850:
1843:
1836:
1827:
1826:
1802:Barbara Hannigan
1659:Susan Rothenberg
1465:Solomon Feferman
1413:
1406:
1399:
1390:
1389:
1220:
1213:
1206:
1197:
1196:
1182:1983–1987
1167:Preceded by
1159:
1158:
1099:
1098:
1096:Official website
1055:Solomon Feferman
1027:Solomon Feferman
983:
977:
971:
968:Scott-continuous
960:
954:
951:
945:
942:
927:
915:
866:Michael O. Rabin
672:Kripke semantics
668:Richard Montague
573:Michael O. Rabin
560:Richard Montague
547:Solomon Feferman
521:He received his
467:Computer Science
385:Doctoral advisor
379:
307:Computer science
285:
276:
268:
260:
252:
244:
174:Modal Ό-calculus
159:Cartesian monoid
142:
141:
134:
133:
113:
110:October 11, 1932
109:
107:
95:
81:
80:
74:
67:
63:
60:
54:
49:this article by
40:inline citations
27:
26:
19:
2555:
2554:
2550:
2549:
2548:
2546:
2545:
2544:
2445:Model theorists
2440:Modal logicians
2370:
2369:
2368:
2363:
2352:Robert Metcalfe
2324:
2305:Geoffrey Hinton
2295:David Patterson
2285:Tim Berners-Lee
2229:
2170:Leonard Adleman
2156:Kristen Nygaard
2134:
2085:Juris Hartmanis
2055:
2044:Ivan Sutherland
1976:
1965:Robert W. Floyd
1927:Charles Bachman
1897:
1886:Richard Hamming
1862:
1854:
1824:
1819:
1724:
1653:Giuseppe Penone
1635:Claes Oldenburg
1617:
1576:Endre Szemerédi
1570:Luis Caffarelli
1558:Elliott H. Lieb
1522:
1471:Jaakko Hintikka
1441:Michael Dummett
1423:
1417:
1387:
1382:
1230:
1224:
1190:
1181:
1172:
1094:
1093:
1090:
992:
990:Further reading
987:
986:
978:
974:
961:
957:
952:
948:
943:
939:
934:
924:
861:
829:
752:
736:
700:
684:canonical model
662:'s approach to
654:, who moved to
644:
597:
581:automata theory
519:
511:category theory
489:earned him the
487:automata theory
452:
438:Fred S. Roberts
433:Marko PetkovĆĄek
418:Angus Macintyre
408:Michael Fourman
377:
361:
321:
288:
283:
274:
266:
258:
256:Tarski Lectures
250:
242:
228:
154:Automata theory
139:
135:
131:
127:
119:
114:
111:
105:
103:
86:
75:
64:
58:
55:
45:Please help to
44:
28:
24:
17:
12:
11:
5:
2553:
2543:
2542:
2537:
2532:
2527:
2522:
2517:
2512:
2507:
2502:
2497:
2492:
2487:
2482:
2477:
2472:
2467:
2462:
2457:
2452:
2447:
2442:
2437:
2432:
2427:
2422:
2417:
2412:
2407:
2402:
2397:
2392:
2387:
2382:
2365:
2364:
2362:
2361:
2355:
2349:
2343:
2340:Jeffrey Ullman
2332:
2330:
2326:
2325:
2323:
2322:
2312:
2298:
2288:
2282:
2275:Martin Hellman
2272:
2266:
2263:Leslie Lamport
2260:
2250:
2244:
2237:
2235:
2231:
2230:
2228:
2227:
2221:
2218:Barbara Liskov
2215:
2212:Joseph Sifakis
2201:
2195:
2189:
2179:
2173:
2159:
2152:Ole-Johan Dahl
2149:
2142:
2140:
2136:
2135:
2133:
2132:
2126:
2120:
2114:
2108:
2102:
2092:
2082:
2079:Butler Lampson
2076:
2070:
2063:
2061:
2057:
2056:
2054:
2053:
2047:
2041:
2035:
2025:
2019:
2013:
2010:Dennis Ritchie
2003:
1997:
1991:
1984:
1982:
1978:
1977:
1975:
1974:
1968:
1962:
1956:
1946:
1936:
1930:
1924:
1918:
1912:
1905:
1903:
1899:
1898:
1896:
1895:
1889:
1883:
1877:
1870:
1868:
1864:
1863:
1853:
1852:
1845:
1838:
1830:
1821:
1820:
1818:
1817:
1811:
1805:
1799:
1793:
1787:
1781:
1775:
1772:Mauricio Kagel
1769:
1763:
1760:Kaija Saariaho
1757:
1754:Kronos Quartet
1751:
1745:
1739:
1736:Ingvar Lidholm
1732:
1730:
1726:
1725:
1723:
1722:
1716:
1710:
1704:
1698:
1688:
1682:
1676:
1673:Ryue Nishizawa
1662:
1656:
1650:
1644:
1638:
1632:
1625:
1623:
1619:
1618:
1616:
1615:
1609:
1603:
1600:Ronald Coifman
1597:
1594:Richard Schoen
1591:
1585:
1579:
1573:
1567:
1561:
1555:
1549:
1543:
1537:
1534:Elias M. Stein
1530:
1528:
1524:
1523:
1521:
1520:
1514:
1511:Per Martin-Löf
1504:
1501:Saharon Shelah
1498:
1492:
1486:
1480:
1474:
1468:
1462:
1456:
1450:
1444:
1438:
1431:
1429:
1425:
1424:
1416:
1415:
1408:
1401:
1393:
1384:
1383:
1381:
1380:
1374:
1368:
1362:
1356:
1350:
1344:
1338:
1332:
1326:
1320:
1314:
1308:
1302:
1296:
1290:
1284:
1278:
1272:
1266:
1260:
1254:
1248:
1242:
1235:
1232:
1231:
1223:
1222:
1215:
1208:
1200:
1192:
1191:
1186:
1183:
1173:
1168:
1164:
1163:
1157:
1156:
1149:
1130:Gordon Plotkin
1126:
1117:
1108:
1100:
1089:
1088:External links
1086:
1085:
1084:
1066:
1052:
1020:
1006:
991:
988:
985:
984:
972:
955:
946:
936:
935:
933:
930:
929:
928:
923:978-0521803380
922:
905:
894:
887:
880:
860:
857:
828:
825:
824:
823:
816:
806:
790:
751:
748:
744:Merton College
735:
732:
704:Robert Solovay
699:
696:
678:(Scott 1970).
643:
640:
596:
593:
518:
515:
485:. His work on
458:
457:
454:
453:
451:
450:
445:
440:
435:
430:
428:Ketan Mulmuley
425:
420:
415:
410:
405:
399:
397:
393:
392:
387:
381:
380:
369:
363:
362:
360:
359:
354:
348:Merton College
345:
340:
335:
329:
327:
323:
322:
320:
319:
314:
309:
303:
301:
297:
296:
290:
289:
287:
286:
277:
269:
261:
253:
245:
236:
234:
230:
229:
227:
226:
221:
216:
211:
206:
201:
199:Scott topology
196:
191:
189:Scott encoding
186:
181:
176:
171:
166:
161:
156:
150:
148:
147:Known for
144:
143:
125:
121:
120:
115:
101:
97:
96:
88:
87:
84:
77:
76:
31:
29:
22:
15:
9:
6:
4:
3:
2:
2552:
2541:
2538:
2536:
2533:
2531:
2528:
2526:
2523:
2521:
2518:
2516:
2513:
2511:
2508:
2506:
2503:
2501:
2498:
2496:
2493:
2491:
2488:
2486:
2483:
2481:
2478:
2476:
2473:
2471:
2468:
2466:
2465:Set theorists
2463:
2461:
2458:
2456:
2453:
2451:
2448:
2446:
2443:
2441:
2438:
2436:
2433:
2431:
2428:
2426:
2423:
2421:
2418:
2416:
2413:
2411:
2408:
2406:
2403:
2401:
2398:
2396:
2395:Living people
2393:
2391:
2388:
2386:
2383:
2381:
2378:
2377:
2375:
2359:
2358:Avi Wigderson
2356:
2353:
2350:
2347:
2346:Jack Dongarra
2344:
2341:
2337:
2334:
2333:
2331:
2327:
2320:
2316:
2313:
2310:
2306:
2302:
2301:Yoshua Bengio
2299:
2296:
2292:
2289:
2286:
2283:
2280:
2276:
2273:
2270:
2267:
2264:
2261:
2258:
2257:Silvio Micali
2254:
2251:
2248:
2245:
2242:
2239:
2238:
2236:
2232:
2225:
2222:
2219:
2216:
2213:
2209:
2205:
2202:
2199:
2198:Frances Allen
2196:
2193:
2190:
2187:
2183:
2180:
2177:
2174:
2171:
2167:
2163:
2160:
2157:
2153:
2150:
2147:
2144:
2143:
2141:
2137:
2130:
2127:
2124:
2121:
2118:
2115:
2112:
2109:
2106:
2103:
2100:
2096:
2093:
2090:
2086:
2083:
2080:
2077:
2074:
2071:
2068:
2065:
2064:
2062:
2058:
2051:
2050:William Kahan
2048:
2045:
2042:
2039:
2036:
2033:
2032:Robert Tarjan
2029:
2028:John Hopcroft
2026:
2023:
2020:
2017:
2016:Niklaus Wirth
2014:
2011:
2007:
2004:
2001:
1998:
1995:
1994:Edgar F. Codd
1992:
1989:
1986:
1985:
1983:
1979:
1972:
1969:
1966:
1963:
1960:
1957:
1954:
1950:
1947:
1944:
1940:
1937:
1934:
1931:
1928:
1925:
1922:
1919:
1916:
1915:John McCarthy
1913:
1910:
1907:
1906:
1904:
1900:
1893:
1892:Marvin Minsky
1890:
1887:
1884:
1881:
1878:
1875:
1872:
1871:
1869:
1865:
1861:
1858:
1851:
1846:
1844:
1839:
1837:
1832:
1831:
1828:
1815:
1812:
1809:
1808:György Kurtåg
1806:
1803:
1800:
1797:
1796:Wayne Shorter
1794:
1791:
1788:
1785:
1782:
1779:
1776:
1773:
1770:
1767:
1764:
1761:
1758:
1755:
1752:
1749:
1746:
1743:
1742:György Ligeti
1740:
1737:
1734:
1733:
1731:
1727:
1720:
1717:
1714:
1711:
1708:
1707:Andrea Branzi
1705:
1702:
1701:Doris Salcedo
1699:
1696:
1692:
1689:
1686:
1685:Marlene Dumas
1683:
1680:
1677:
1674:
1670:
1669:Kazuyo Sejima
1666:
1663:
1660:
1657:
1654:
1651:
1648:
1645:
1642:
1639:
1636:
1633:
1630:
1627:
1626:
1624:
1620:
1613:
1612:Jonathan Pila
1610:
1607:
1604:
1601:
1598:
1595:
1592:
1589:
1586:
1583:
1580:
1577:
1574:
1571:
1568:
1565:
1562:
1559:
1556:
1553:
1552:Yuri I. Manin
1550:
1547:
1544:
1541:
1538:
1535:
1532:
1531:
1529:
1525:
1518:
1515:
1512:
1508:
1505:
1502:
1499:
1496:
1495:Ruth Millikan
1493:
1490:
1487:
1484:
1483:Hilary Putnam
1481:
1478:
1475:
1472:
1469:
1466:
1463:
1460:
1457:
1454:
1451:
1448:
1445:
1442:
1439:
1436:
1433:
1432:
1430:
1426:
1421:
1414:
1409:
1407:
1402:
1400:
1395:
1394:
1391:
1378:
1375:
1372:
1369:
1366:
1363:
1360:
1357:
1354:
1351:
1348:
1345:
1342:
1339:
1336:
1333:
1330:
1329:Papadimitriou
1327:
1324:
1321:
1318:
1315:
1312:
1309:
1306:
1303:
1300:
1297:
1294:
1291:
1288:
1285:
1282:
1279:
1276:
1273:
1270:
1267:
1264:
1261:
1258:
1255:
1252:
1249:
1246:
1243:
1240:
1237:
1236:
1233:
1228:
1221:
1216:
1214:
1209:
1207:
1202:
1201:
1198:
1189:
1180:
1179:
1178:DLMPST/IUHPST
1171:
1165:
1160:
1155:
1154:
1150:
1148:
1145:
1142:
1139:
1135:
1131:
1127:
1125:
1121:
1118:
1116:
1112:
1109:
1106:
1105:
1101:
1097:
1092:
1091:
1083:
1082:0-262-19147-4
1079:
1075:
1071:
1067:
1064:
1060:
1056:
1053:
1050:
1046:
1042:
1041:0-521-80240-7
1038:
1034:
1033:
1028:
1024:
1021:
1018:
1014:
1010:
1009:Jack Copeland
1007:
1004:
1000:
999:
994:
993:
981:
976:
969:
965:
959:
950:
941:
937:
925:
919:
914:
913:
906:
903:
899:
895:
892:
888:
885:
881:
879:
875:
871:
867:
863:
862:
856:
854:
850:
846:
842:
838:
834:
821:
817:
815:
811:
810:Bolzano Prize
807:
804:
799:
795:
791:
788:
784:
780:
779:
778:
775:
773:
769:
768:domain theory
765:
761:
757:
747:
745:
741:
731:
729:
725:
721:
717:
713:
709:
705:
695:
693:
689:
685:
679:
677:
673:
669:
665:
661:
657:
653:
649:
639:
637:
633:
628:
626:
622:
618:
614:
611:and Tarskian
610:
607:, especially
606:
602:
592:
590:
586:
582:
578:
574:
570:
564:
563:
561:
557:
550:
548:
544:
540:
539:Alonzo Church
536:
532:
528:
524:
514:
512:
508:
504:
500:
496:
492:
488:
484:
480:
476:
472:
468:
464:
455:
449:
448:Martin Davies
446:
444:
441:
439:
436:
434:
431:
429:
426:
424:
421:
419:
416:
414:
413:Kenneth Kunen
411:
409:
406:
404:
403:Jack Copeland
401:
400:
398:
394:
391:
390:Alonzo Church
388:
386:
382:
375:
374:
370:
368:
364:
358:
355:
353:
349:
346:
344:
341:
339:
336:
334:
331:
330:
328:
324:
318:
315:
313:
310:
308:
305:
304:
302:
298:
295:
291:
281:
278:
273:
272:Gödel Lecture
270:
265:
262:
257:
254:
249:
246:
241:
238:
237:
235:
231:
225:
222:
220:
217:
215:
212:
210:
207:
205:
204:Scott's trick
202:
200:
197:
195:
192:
190:
187:
185:
182:
180:
177:
175:
172:
170:
167:
165:
162:
160:
157:
155:
152:
151:
149:
145:
140:(Ph.D., 1958)
138:
130:
126:
122:
118:
112:(age 91)
102:
98:
94:
89:
82:
73:
70:
62:
59:February 2018
52:
48:
42:
41:
35:
30:
21:
20:
2460:Semanticists
2319:Pat Hanrahan
2073:Robin Milner
2022:Richard Karp
2006:Ken Thompson
2000:Stephen Cook
1952:
1939:Allen Newell
1933:Donald Knuth
1784:Andrew Manze
1778:Gidon Kremer
1748:Jorma Panula
1729:Musical arts
1719:Rem Koolhaas
1713:Francis AlĂżs
1691:Anne Lacaton
1629:Rafael Moneo
1588:Yitang Zhang
1540:Andrew Wiles
1517:David Kaplan
1489:Derek Parfit
1477:Thomas Nagel
1446:
1305:Trakhtenbrot
1280:
1175:
1151:
1102:
1069:
1031:
1013:Arthur Prior
997:
975:
958:
949:
940:
911:
901:
890:
883:
869:
859:Bibliography
830:
801:
786:
776:
753:
737:
715:
712:Petr VopÄnka
701:
691:
687:
683:
680:
660:Arthur Prior
645:
635:
631:
629:
624:
613:model theory
598:
585:Turing Award
576:
566:
553:
552:
534:
531:Ph.D. thesis
520:
517:Early career
491:Turing Award
462:
461:
443:David Turner
423:Peter Mosses
371:
326:Institutions
293:
248:Turing Award
184:Scott domain
132:(B.A., 1954)
65:
56:
37:
2390:1932 births
2247:Judea Pearl
2129:Fred Brooks
2111:Amir Pnueli
2105:Manuel Blum
1959:John Backus
1874:Alan Perlis
1679:Mona Hatoum
1622:Visual arts
1527:Mathematics
1507:Dag Prawitz
1459:Saul Kripke
1227:EATCS Award
998:Modal logic
898:John Lemmon
688:filtrations
664:tense logic
652:John Lemmon
648:modal logic
503:modal logic
338:UC Berkeley
312:Mathematics
129:UC Berkeley
51:introducing
2374:Categories
2336:Alfred Aho
2315:Ed Catmull
2309:Yann LeCun
2192:Peter Naur
2166:Adi Shamir
2162:Ron Rivest
2146:Andrew Yao
2038:John Cocke
1988:Tony Hoare
1953:Dana Scott
1546:Mikio Sato
1453:John Rawls
1447:Dana Scott
1359:Yannakakis
1120:Dana Scott
1111:Dana Scott
1063:IEEE Press
1015:. In the
932:References
803:conversion
724:Paul Cohen
609:set theory
471:Philosophy
317:Philosophy
106:1932-10-11
34:references
2182:Vint Cerf
2099:Raj Reddy
1860:laureates
1422:laureates
1353:Henzinger
1257:Rozenberg
1229:laureates
1170:Jerzy ĆoĆ
1074:MIT Press
1029:(2004).
970:functions
900:, 1977.
868:, 1959.
818:The 2007
808:The 2001
792:The 1997
781:The 1990
730:in 1972.
543:Princeton
541:while at
124:Education
2186:Bob Kahn
2176:Alan Kay
2123:Jim Gray
1299:Mehlhorn
1275:Paterson
1057:(2005).
1011:(2004).
785:for his
507:topology
343:Stanford
1365:Pitassi
1323:Plotkin
1287:Valiant
1263:Salomaa
1113:at the
882:1967.
847:of the
625:seminal
47:improve
2360:(2023)
2354:(2022)
2348:(2021)
2342:(2020)
2321:(2019)
2311:(2018)
2297:(2017)
2287:(2016)
2281:(2015)
2271:(2014)
2265:(2013)
2259:(2012)
2249:(2011)
2243:(2010)
2226:(2009)
2220:(2008)
2214:(2007)
2200:(2006)
2194:(2005)
2188:(2004)
2178:(2003)
2172:(2002)
2158:(2001)
2148:(2000)
2131:(1999)
2125:(1998)
2119:(1997)
2113:(1996)
2107:(1995)
2101:(1994)
2091:(1993)
2081:(1992)
2075:(1991)
2069:(1990)
2052:(1989)
2046:(1988)
2040:(1987)
2034:(1986)
2024:(1985)
2018:(1984)
2012:(1983)
2002:(1982)
1996:(1981)
1990:(1980)
1973:(1979)
1967:(1978)
1961:(1977)
1955:(1976)
1945:(1975)
1935:(1974)
1929:(1973)
1923:(1972)
1917:(1971)
1911:(1970)
1894:(1969)
1888:(1968)
1882:(1967)
1876:(1966)
1816:(2022)
1810:(2020)
1804:(2018)
1798:(2017)
1792:(2014)
1786:(2011)
1780:(2008)
1774:(2005)
1768:(2003)
1762:(2001)
1756:(1999)
1750:(1997)
1744:(1995)
1738:(1993)
1721:(2022)
1715:(2020)
1709:(2018)
1703:(2017)
1697:(2014)
1687:(2011)
1681:(2008)
1675:(2005)
1661:(2003)
1655:(2001)
1649:(1999)
1643:(1997)
1637:(1995)
1631:(1993)
1614:(2022)
1608:(2020)
1602:(2018)
1596:(2017)
1590:(2014)
1584:(2011)
1578:(2008)
1572:(2005)
1566:(2003)
1560:(2001)
1554:(1999)
1548:(1997)
1542:(1995)
1536:(1993)
1519:(2022)
1513:(2020)
1503:(2018)
1497:(2017)
1491:(2014)
1485:(2011)
1479:(2008)
1473:(2005)
1467:(2003)
1461:(2001)
1455:(1999)
1449:(1997)
1443:(1995)
1437:(1993)
1379:(2023)
1373:(2022)
1371:Cousot
1367:(2021)
1361:(2020)
1355:(2019)
1349:(2018)
1343:(2017)
1341:Tardos
1337:(2016)
1331:(2015)
1325:(2014)
1319:(2013)
1313:(2012)
1307:(2011)
1301:(2010)
1295:(2009)
1289:(2008)
1283:(2007)
1277:(2006)
1271:(2005)
1269:Milner
1265:(2004)
1259:(2003)
1253:(2002)
1247:(2001)
1241:(2000)
1080:
1047:
1039:
920:
845:Fellow
556:Tarski
509:, and
473:, and
378:(1958)
376:
367:Thesis
300:Fields
284:(1997)
275:(1991)
267:(1990)
259:(1989)
251:(1976)
243:(1972)
233:Awards
36:, but
2329:2020s
2234:2010s
2139:2000s
2060:1990s
1981:1980s
1902:1970s
1867:1960s
1665:SANAA
1347:Nisan
1335:Kozen
1311:Vardi
1281:Scott
1251:Nivat
896:With
864:With
820:EATCS
805:; and
1377:Fiat
1317:Dyer
1293:Huet
1245:Böhm
1239:Karp
1078:ISBN
1045:ISBN
1037:ISBN
1025:and
918:ISBN
800:for
523:B.A.
100:Born
874:doi
831:At
638:).
533:on
477:at
2376::
2338:;
2317:;
2307:;
2303:;
2293:;
2277:;
2255:;
2210:;
2206:;
2184:;
2168:;
2164:;
2154:;
2097:;
2087:;
2030:;
2008:;
1951:;
1941:;
1693:/
1671:+
1667:/
1509:/
1076:.
1072:.
1043:,
1001:.
872:.
855:.
774:.
591:.
513:.
505:,
469:,
350:,
108:)
1849:e
1842:t
1835:v
1412:e
1405:t
1398:v
1219:e
1212:t
1205:v
1065:.
1051:.
1019:.
1005:.
926:.
876::
789:;
104:(
72:)
66:(
61:)
57:(
43:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.
