33:
2323:
489:
Buchholz, Wilfried; Feferman, Solomon; Pohlers, Wolfram; Sieg, Wilfried (1981), "Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies",
2318:
318:
and had met and married in New York. Neither parent had any advanced education. The family moved to Los
Angeles, where Feferman graduated from high school at age 16.
333:, after having been drafted and having served in the U.S. Army from 1953 to 1955. In 1956 he was appointed to the Departments of Mathematics and Philosophy at
235:
2333:
1612:
2308:
479:(Fourteenth Summer Res. Inst., Austral. Math. Soc., Monash Univ., Clayton, 1974), pp. 87–139, Lecture Notes in Math., vol. 450, Berlin, Springer.
687:
1848:
341:
Professor of
Humanities and Sciences. While the majority of his career was spent at Stanford, he also spent time as a post-doctoral fellow at the
2348:
2328:
2278:
1391:
2303:
1794:
1764:
1568:
1534:
1464:
1430:
1341:
1296:
1254:
1209:
1173:
1129:
1096:
1041:
1007:
952:
914:
797:
572:
2313:
1841:
2343:
2288:
377:
596:
326:
322:
96:
87:
544:
709:
2298:
1834:
1813:
660:
423:
227:
1351:
1054:
1686:
1616:
648:
451:
132:
468:
Feferman, Solomon; Vaught, Robert L. (1959), "The first order properties of products of algebraic systems",
2293:
840:
342:
679:
2283:
231:
1954:
564:
1691:
869:
362:
199:
965:
56:
1872:
924:
419:
397:
358:
295:
115:
2251:
1383:
404:
2084:
1473:
1379:
1304:
435:
207:
1598:
2338:
2273:
2203:
2132:
1781:
784:
775:
369:
354:
267:
75:
1584:
486:, pp. 159–224, Stud. Logic Foundations Math., 97, Amsterdam, New York, North-Holland.
8:
1821:
1638:
334:
287:
137:
1513:
631:
2245:
2043:
2019:
2001:
1857:
1747:
1739:
1708:
1551:
1517:
1509:
1447:
1413:
1368:
1324:
1279:
1237:
1156:
1079:
1071:
1024:
990:
982:
960:
897:
865:
854:
845:
557:
439:
259:
125:
2013:
1639:"The Tarski Lectures | Department of Mathematics at University of California Berkeley"
2227:
2078:
1788:
1758:
1751:
1719:
1562:
1528:
1521:
1458:
1424:
1372:
1335:
1290:
1248:
1203:
1167:
1123:
1090:
1083:
1035:
1001:
994:
946:
908:
901:
791:
578:
568:
540:
1948:
615:
2239:
2096:
1817:
1731:
1700:
1501:
1360:
1316:
1271:
1229:
1190:
1160:
1148:
1112:
1063:
974:
933:
889:
497:
275:
161:
2179:
809:
443:
2090:
2072:
2007:
1995:
1908:
1878:
1777:
1139:
893:
825:
780:
447:
223:
219:
184:
2150:
1116:
2209:
2197:
2191:
2173:
2110:
2037:
2031:
1971:
1938:
829:
805:
338:
1826:
1320:
1283:
1067:
978:
2267:
2233:
2144:
2138:
2122:
2106:
2049:
1989:
1932:
1920:
1682:
1662:
1505:
938:
770:
507:
408:
330:
311:
291:
283:
255:
166:
141:
1152:
644:
582:
482:
Feferman, Solomon (1979), "Constructive theories of functions and classes",
475:
Feferman, Solomon (1975), "A language and axioms for explicit mathematics",
393:
279:
2221:
2215:
2185:
2156:
2128:
2066:
2025:
1977:
1926:
1914:
1049:
263:
203:
37:
Solomon
Feferman at the Association of Symbolic Logic, Pittsburgh, May 2004
1195:
2116:
1944:
1896:
1489:
315:
251:
179:
1555:
1451:
1417:
1241:
1028:
858:
1983:
1890:
1884:
1743:
1712:
1364:
1328:
1217:
1075:
986:
314:
to working-class parents who had immigrated to the United States after
271:
1233:
664:
346:
307:
290:) and as a vocal proponent of the philosophy of mathematics known as
1735:
1704:
735:
616:"Enriched Stratified systems for the Foundations of Category Theory"
1275:
518:, 337–405, Stud. Logic Found. Math., 137, Amsterdam, North-Holland.
32:
1349:
Apt, Krzysztof R. (March 2007), "Alfred Tarski: life and logic",
373:
148:
2102:
426:
as a measure of the strength of certain predicative systems.
91:
1599:"Feferman awarded Rolf Schock Prize in logic and philosophy"
710:"Stanford mathematical logician Solomon Feferman dies at 87"
442:
in logic and philosophy in 2003. He was invited to give the
278:(for instance, via biographical writings on figures such as
1585:"John Simon Guggenheim Foundation | Solomon Feferman"
154:
Formal
Consistency Proofs and Interpretability of Theories
350:
100:
532:
Addison Wesley. Library of
Congress Catalog No.63-12470
530:
The Number
Systems, Foundations of Algebra and Analysis
325:
in 1948, and in 1957 his Ph.D. in mathematics from the
372:, following an illness that lasted three months and a
2324:
Stanford
University Department of Mathematics faculty
2319:
Stanford
University Department of Philosophy faculty
1663:
List of
Fellows of the American Mathematical Society
250:(December 13, 1928 – July 26, 2016) was an American
736:"In Memoriam | Mathematical Association of America"
1613:"Gödel Lecturers – Association for Symbolic Logic"
556:
843:(March–April 2005), "The Man Who Defined Truth",
510:; Feferman, Solomon (1998), "Gödel's functional (
500:(1995), "Predicative foundations of arithmetic",
2265:
1303:
388:Feferman was editor-in-chief of the five-volume
262:. In addition to his prolific technical work in
1856:
677:
1406:CrĂtica: Revista Hispanoamericana de FilosofĂa
1309:The British Journal for the History of Science
864:
1842:
1541:
547:, Logic and Computation in Philosophy series.
368:Feferman died on 26 July 2016 at his home in
2334:Fellows of the American Mathematical Society
1392:Notices of the American Mathematical Society
450:in 2006. In 2012, he became a fellow of the
376:. At his death, he had been a member of the
274:, he was known for his contributions to the
680:"A tribute to Solomon Feferman (1928–2016)"
1849:
1835:
1404:Bassols, Alejandro Tomasini (April 2006),
31:
2309:University of California, Berkeley alumni
1771:
1718:
1194:
1180:
959:
937:
921:
830:"A life of logic and the illogic of life"
493:, 897, Berlin, New York, Springer-Verlag.
1378:
1136:
1403:
1261:
879:
804:
690:from the original on September 11, 2016
2266:
1681:
1488:
1471:
1048:
1014:
769:
758:
756:
678:Lanier Anderson, R. (August 4, 2016).
16:American philosopher and mathematician
1830:
1437:
839:
824:
2349:20th-century American mathematicians
2329:American philosophers of mathematics
2279:21st-century American mathematicians
1216:
626:
624:
1793:: CS1 maint: untitled periodical (
1763:: CS1 maint: untitled periodical (
1668:
1567:: CS1 maint: untitled periodical (
1533:: CS1 maint: untitled periodical (
1463:: CS1 maint: untitled periodical (
1429:: CS1 maint: untitled periodical (
1348:
1340:: CS1 maint: untitled periodical (
1295:: CS1 maint: untitled periodical (
1253:: CS1 maint: untitled periodical (
1208:: CS1 maint: untitled periodical (
1172:: CS1 maint: untitled periodical (
1128:: CS1 maint: untitled periodical (
1095:: CS1 maint: untitled periodical (
1040:: CS1 maint: untitled periodical (
1006:: CS1 maint: untitled periodical (
951:: CS1 maint: untitled periodical (
913:: CS1 maint: untitled periodical (
796:: CS1 maint: untitled periodical (
753:
378:Mathematical Association of America
13:
2304:American historians of mathematics
597:Criticism of non-standard analysis
327:University of California, Berkeley
323:California Institute of Technology
97:University of California, Berkeley
88:California Institute of Technology
14:
2360:
1814:Solomon Feferman official website
1807:
1494:The American Mathematical Monthly
1222:The American Mathematical Monthly
621:
484:Logic Colloquium '78 (Mons, 1978)
1472:Bremer, Manuel (December 2009),
1181:Carnielli, Walter (March 2006),
922:Mendelson, Elliott (June 2005),
422:, in particular introducing the
403:In 2004, together with his wife
383:
1656:
1631:
1605:
1591:
1137:Lescanne, Pierre (March 2006),
882:History and Philosophy of Logic
457:
353:, and a visiting fellow at the
1724:The Bulletin of Symbolic Logic
1577:
1542:Czernecka-Rej, BoĹĽena (2011),
1438:Brown, Scott H. (March 2009),
1352:The Mathematical Intelligencer
1055:The Bulletin of Symbolic Logic
880:Misiuna, Krystyna (May 2005),
728:
702:
671:
653:
638:
632:"Solomon Feferman (1928-2016)"
609:
429:
407:, he published a biography of
321:He received his B.S. from the
1:
1665:, retrieved December 2, 2012.
1262:Oberdan, Thomas (June 2006),
661:"Solomon Feferman's homepage"
649:Mathematics Genealogy Project
602:
559:Alfred Tarski: Life and Logic
452:American Mathematical Society
413:Alfred Tarski: Life and Logic
306:Solomon Feferman was born in
1183:Logic and Logical Philosophy
894:10.1080/01445340412331313602
491:Lecture Notes in Mathematics
343:Institute for Advanced Study
337:, where he later became the
7:
2314:Rolf Schock Prize laureates
1117:10.1108/k.2006.06735aae.002
1015:Schmit, Roger (Fall 2005),
590:
539:. Oxford University Press.
535:Feferman, Solomon. (1998).
232:Ordinal collapsing function
10:
2365:
2344:21st-century American Jews
2289:Jewish American scientists
814:The Review of Modern Logic
618:by Solomon Feferman (2011)
565:Cambridge University Press
528:Feferman, Solomon (1964)
349:, a visiting professor at
2166:
2059:
1964:
1865:
1692:The Journal of Philosophy
1321:10.1017/S0007087406438681
1068:10.1017/S1079898600003000
979:10.1017/S0025557200177988
551:Feferman, Anita Burdman;
462:
438:in 1972 and 1986 and the
241:
213:
200:Philosophy of mathematics
193:
172:
160:
147:
131:
121:
111:
107:
83:
64:
42:
30:
23:
1514:10.4169/000298910x480144
1506:10.4169/000298910x480144
966:The Mathematical Gazette
550:
522:
516:Handbook of proof theory
424:Feferman–Schütte ordinal
228:Feferman–Schütte ordinal
57:The Bronx, New York City
2085:Herzog & de Meuron
1873:Willard Van Orman Quine
1440:The Mathematics Teacher
1153:10.1145/1122480.1122489
1017:Archives de Philosophie
925:Philosophia Mathematica
684:philosophy.stanford.edu
420:predicative mathematics
400:between 2001 and 2013.
398:Oxford University Press
301:
294:, notably from an anti-
222:for the foundations of
116:Contemporary philosophy
2299:Mathematical logicians
1772:Mendelson, E. (2001),
1380:Sinaceur, Hourya Benis
1305:Grattan-Guinness, Ivor
939:10.1093/philmat/nki020
436:Guggenheim Fellowships
405:Anita Burdman Feferman
1676:In the Light of Logic
1544:Roczniki Filozoficzne
1196:10.12775/llp.2006.005
1111:(1/2), January 2006,
537:In the Light of Logic
434:Feferman was awarded
208:Theory of computation
2204:Anne Sofie von Otter
2133:Jean-Philippe Vassal
1866:Logic and philosophy
1774:Mathematical Reviews
1687:"[Untitled]"
1478:Philosophy in Review
776:Mathematical Reviews
667:on October 24, 2017.
355:University of Oxford
268:computability theory
236:Explicit mathematics
76:Stanford, California
2294:Jewish philosophers
1822:Stanford University
1619:on November 8, 2021
866:Shell-Gellasch, Amy
514:) interpretation",
496:Feferman, Solomon;
335:Stanford University
288:Jean van Heijenoort
2284:American logicians
2044:Nikolai G. Makarov
2020:Michael Aschbacher
2002:Richard P. Stanley
1720:Antonelli, G. Aldo
1382:(September 2007),
1365:10.1007/bf02986214
1307:(September 2006),
846:American Scientist
806:Anellis, Irving H.
260:mathematical logic
220:Stratified systems
126:Western philosophy
2261:
2260:
2252:VĂkingur Ă“lafsson
2228:Herbert Blomstedt
2079:Torsten Andersson
1858:Rolf Schock Prize
1685:(December 1999),
1643:math.berkeley.edu
1052:(December 2005),
771:Dauben, Joseph W.
716:. October 7, 2016
574:978-0-521-80240-6
553:Feferman, Solomon
498:Hellman, Geoffrey
477:Algebra and logic
440:Rolf Schock Prize
363:All Souls College
245:
244:
173:Doctoral students
53:December 13, 1928
2356:
2240:Barbara Hannigan
2097:Susan Rothenberg
1903:Solomon Feferman
1851:
1844:
1837:
1828:
1827:
1818:Internet Archive
1801:
1798:
1792:
1784:
1768:
1762:
1754:
1715:
1672:
1666:
1660:
1654:
1653:
1651:
1649:
1635:
1629:
1628:
1626:
1624:
1615:. Archived from
1609:
1603:
1602:
1595:
1589:
1588:
1581:
1575:
1572:
1566:
1558:
1538:
1532:
1524:
1485:
1468:
1462:
1454:
1434:
1428:
1420:
1412:(112): 105–111,
1400:
1388:
1375:
1345:
1339:
1331:
1300:
1294:
1286:
1258:
1252:
1244:
1234:10.2307/27641942
1213:
1207:
1199:
1198:
1177:
1171:
1163:
1133:
1127:
1119:
1100:
1094:
1086:
1050:Maddux, Roger D.
1045:
1039:
1031:
1011:
1005:
997:
973:(515): 330–331,
961:Kilmister, C. W.
956:
950:
942:
941:
918:
912:
904:
876:
861:
836:
826:Davis, Philip J.
821:
801:
795:
787:
760:
751:
750:
748:
746:
732:
726:
725:
723:
721:
706:
700:
699:
697:
695:
675:
669:
668:
663:. Archived from
657:
651:
645:Solomon Feferman
642:
636:
635:
628:
619:
613:
586:
562:
502:J. Philos. Logic
446:in 1997 and the
276:history of logic
248:Solomon Feferman
162:Doctoral advisor
71:
52:
50:
35:
25:Solomon Feferman
21:
20:
2364:
2363:
2359:
2358:
2357:
2355:
2354:
2353:
2264:
2263:
2262:
2257:
2162:
2091:Giuseppe Penone
2073:Claes Oldenburg
2055:
2014:Endre Szemerédi
2008:Luis Caffarelli
1996:Elliott H. Lieb
1960:
1909:Jaakko Hintikka
1879:Michael Dummett
1861:
1855:
1810:
1805:
1804:
1786:
1785:
1756:
1755:
1736:10.2307/2687778
1705:10.2307/2564698
1699:(12): 638–642,
1673:
1669:
1661:
1657:
1647:
1645:
1637:
1636:
1632:
1622:
1620:
1611:
1610:
1606:
1597:
1596:
1592:
1583:
1582:
1578:
1560:
1559:
1526:
1525:
1456:
1455:
1422:
1421:
1386:
1333:
1332:
1288:
1287:
1246:
1245:
1201:
1200:
1165:
1164:
1140:ACM SIGACT News
1121:
1120:
1103:
1088:
1087:
1033:
1032:
999:
998:
944:
943:
906:
905:
789:
788:
761:
754:
744:
742:
734:
733:
729:
719:
717:
708:
707:
703:
693:
691:
676:
672:
659:
658:
654:
643:
639:
630:
629:
622:
614:
610:
605:
593:
575:
525:
465:
460:
448:Tarski Lectures
432:
396:, published by
390:Collected Works
386:
359:Wolfson College
304:
234:
230:
226:
224:category theory
216:
206:
202:
196:
189:
185:Carolyn Talcott
140:
95:
84:Alma mater
79:
73:
69:
60:
54:
48:
46:
38:
26:
17:
12:
11:
5:
2362:
2352:
2351:
2346:
2341:
2336:
2331:
2326:
2321:
2316:
2311:
2306:
2301:
2296:
2291:
2286:
2281:
2276:
2259:
2258:
2256:
2255:
2249:
2243:
2237:
2231:
2225:
2219:
2213:
2210:Mauricio Kagel
2207:
2201:
2198:Kaija Saariaho
2195:
2192:Kronos Quartet
2189:
2183:
2177:
2174:Ingvar Lidholm
2170:
2168:
2164:
2163:
2161:
2160:
2154:
2148:
2142:
2136:
2126:
2120:
2114:
2111:Ryue Nishizawa
2100:
2094:
2088:
2082:
2076:
2070:
2063:
2061:
2057:
2056:
2054:
2053:
2047:
2041:
2038:Ronald Coifman
2035:
2032:Richard Schoen
2029:
2023:
2017:
2011:
2005:
1999:
1993:
1987:
1981:
1975:
1972:Elias M. Stein
1968:
1966:
1962:
1961:
1959:
1958:
1952:
1949:Per Martin-Löf
1942:
1939:Saharon Shelah
1936:
1930:
1924:
1918:
1912:
1906:
1900:
1894:
1888:
1882:
1876:
1869:
1867:
1863:
1862:
1854:
1853:
1846:
1839:
1831:
1825:
1824:
1809:
1808:External links
1806:
1803:
1802:
1800:
1799:
1769:
1730:(2): 270–277,
1716:
1683:Avigad, Jeremy
1667:
1655:
1630:
1604:
1590:
1576:
1574:
1573:
1539:
1500:(3): 286–288,
1492:(March 2010),
1486:
1469:
1435:
1401:
1376:
1346:
1315:(3): 469–470,
1301:
1284:10.1086/507375
1276:10.1086/507375
1270:(2): 362–363,
1259:
1228:(4): 377–379,
1220:(April 2006),
1214:
1178:
1134:
1101:
1062:(4): 535–540,
1046:
1023:(3): 546–547,
1012:
957:
932:(2): 231–232,
919:
888:(2): 166–168,
877:
862:
853:(2): 175–177,
837:
828:(March 2005),
822:
820:(1–2): 117–130
802:
752:
727:
701:
670:
652:
637:
620:
607:
606:
604:
601:
600:
599:
592:
589:
588:
587:
573:
548:
533:
524:
521:
520:
519:
508:Avigad, Jeremy
505:
494:
487:
480:
473:
464:
461:
459:
456:
431:
428:
385:
382:
380:for 37 years.
339:Patrick Suppes
303:
300:
258:who worked in
243:
242:
239:
238:
217:
214:
211:
210:
197:
195:Main interests
194:
191:
190:
188:
187:
182:
176:
174:
170:
169:
164:
158:
157:
151:
145:
144:
135:
129:
128:
123:
119:
118:
113:
109:
108:
105:
104:
85:
81:
80:
74:
72:(aged 87)
66:
62:
61:
55:
44:
40:
39:
36:
28:
27:
24:
15:
9:
6:
4:
3:
2:
2361:
2350:
2347:
2345:
2342:
2340:
2337:
2335:
2332:
2330:
2327:
2325:
2322:
2320:
2317:
2315:
2312:
2310:
2307:
2305:
2302:
2300:
2297:
2295:
2292:
2290:
2287:
2285:
2282:
2280:
2277:
2275:
2272:
2271:
2269:
2253:
2250:
2247:
2246:György Kurtág
2244:
2241:
2238:
2235:
2234:Wayne Shorter
2232:
2229:
2226:
2223:
2220:
2217:
2214:
2211:
2208:
2205:
2202:
2199:
2196:
2193:
2190:
2187:
2184:
2181:
2180:György Ligeti
2178:
2175:
2172:
2171:
2169:
2165:
2158:
2155:
2152:
2149:
2146:
2145:Andrea Branzi
2143:
2140:
2139:Doris Salcedo
2137:
2134:
2130:
2127:
2124:
2123:Marlene Dumas
2121:
2118:
2115:
2112:
2108:
2107:Kazuyo Sejima
2104:
2101:
2098:
2095:
2092:
2089:
2086:
2083:
2080:
2077:
2074:
2071:
2068:
2065:
2064:
2062:
2058:
2051:
2050:Jonathan Pila
2048:
2045:
2042:
2039:
2036:
2033:
2030:
2027:
2024:
2021:
2018:
2015:
2012:
2009:
2006:
2003:
2000:
1997:
1994:
1991:
1990:Yuri I. Manin
1988:
1985:
1982:
1979:
1976:
1973:
1970:
1969:
1967:
1963:
1956:
1953:
1950:
1946:
1943:
1940:
1937:
1934:
1933:Ruth Millikan
1931:
1928:
1925:
1922:
1921:Hilary Putnam
1919:
1916:
1913:
1910:
1907:
1904:
1901:
1898:
1895:
1892:
1889:
1886:
1883:
1880:
1877:
1874:
1871:
1870:
1868:
1864:
1859:
1852:
1847:
1845:
1840:
1838:
1833:
1832:
1829:
1823:
1819:
1815:
1812:
1811:
1796:
1790:
1783:
1779:
1775:
1770:
1766:
1760:
1753:
1749:
1745:
1741:
1737:
1733:
1729:
1725:
1722:(June 2001),
1721:
1717:
1714:
1710:
1706:
1702:
1698:
1694:
1693:
1688:
1684:
1680:
1679:
1677:
1671:
1664:
1659:
1644:
1640:
1634:
1618:
1614:
1608:
1600:
1594:
1586:
1580:
1570:
1564:
1557:
1553:
1549:
1545:
1540:
1536:
1530:
1523:
1519:
1515:
1511:
1507:
1503:
1499:
1495:
1491:
1487:
1483:
1479:
1475:
1470:
1466:
1460:
1453:
1449:
1445:
1441:
1436:
1432:
1426:
1419:
1415:
1411:
1407:
1402:
1398:
1394:
1393:
1385:
1381:
1377:
1374:
1370:
1366:
1362:
1358:
1354:
1353:
1347:
1343:
1337:
1330:
1326:
1322:
1318:
1314:
1310:
1306:
1302:
1298:
1292:
1285:
1281:
1277:
1273:
1269:
1265:
1260:
1256:
1250:
1243:
1239:
1235:
1231:
1227:
1223:
1219:
1215:
1211:
1205:
1197:
1192:
1188:
1184:
1179:
1175:
1169:
1162:
1158:
1154:
1150:
1146:
1142:
1141:
1135:
1131:
1125:
1118:
1114:
1110:
1106:
1102:
1098:
1092:
1085:
1081:
1077:
1073:
1069:
1065:
1061:
1057:
1056:
1051:
1047:
1043:
1037:
1030:
1026:
1022:
1018:
1013:
1009:
1003:
996:
992:
988:
984:
980:
976:
972:
968:
967:
963:(July 2005),
962:
958:
954:
948:
940:
935:
931:
927:
926:
920:
916:
910:
903:
899:
895:
891:
887:
883:
878:
875:
871:
867:
863:
860:
856:
852:
848:
847:
842:
841:Davis, Martin
838:
835:
831:
827:
823:
819:
815:
811:
807:
803:
799:
793:
786:
782:
778:
777:
772:
768:
767:
765:
764:Alfred Tarski
759:
757:
741:
737:
731:
715:
714:Stanford News
711:
705:
689:
685:
681:
674:
666:
662:
656:
650:
646:
641:
633:
627:
625:
617:
612:
608:
598:
595:
594:
584:
580:
576:
570:
566:
561:
560:
554:
549:
546:
545:0-19-508030-0
542:
538:
534:
531:
527:
526:
517:
513:
509:
506:
504:24 (1), 1–17.
503:
499:
495:
492:
488:
485:
481:
478:
474:
471:
467:
466:
455:
453:
449:
445:
444:Gödel Lecture
441:
437:
427:
425:
421:
418:He worked on
416:
414:
410:
409:Alfred Tarski
406:
401:
399:
395:
391:
384:Contributions
381:
379:
375:
371:
366:
364:
360:
356:
352:
348:
344:
340:
336:
332:
331:Alfred Tarski
328:
324:
319:
317:
313:
312:New York City
309:
299:
297:
293:
292:predicativism
289:
285:
284:Alfred Tarski
281:
277:
273:
269:
265:
261:
257:
256:mathematician
253:
249:
240:
237:
233:
229:
225:
221:
218:
215:Notable ideas
212:
209:
205:
201:
198:
192:
186:
183:
181:
178:
177:
175:
171:
168:
167:Alfred Tarski
165:
163:
159:
155:
152:
150:
146:
143:
142:Predicativism
139:
136:
134:
130:
127:
124:
120:
117:
114:
110:
106:
102:
98:
93:
89:
86:
82:
77:
68:July 26, 2016
67:
63:
58:
45:
41:
34:
29:
22:
19:
2222:Andrew Manze
2216:Gidon Kremer
2186:Jorma Panula
2167:Musical arts
2157:Rem Koolhaas
2151:Francis AlĂżs
2129:Anne Lacaton
2067:Rafael Moneo
2026:Yitang Zhang
1978:Andrew Wiles
1955:David Kaplan
1927:Derek Parfit
1915:Thomas Nagel
1902:
1773:
1727:
1723:
1696:
1690:
1675:
1670:
1658:
1646:. Retrieved
1642:
1633:
1621:. Retrieved
1617:the original
1607:
1593:
1579:
1550:(1): 79–84,
1547:
1543:
1497:
1493:
1490:Nerode, Anil
1481:
1477:
1443:
1439:
1409:
1405:
1399:(8): 986–989
1396:
1390:
1359:(2): 78–80,
1356:
1350:
1312:
1308:
1267:
1263:
1225:
1221:
1186:
1182:
1144:
1138:
1108:
1104:
1059:
1053:
1020:
1016:
970:
964:
929:
923:
885:
881:
873:
868:(May 2005),
850:
844:
833:
817:
813:
774:
763:
743:. Retrieved
739:
730:
718:. Retrieved
713:
704:
692:. Retrieved
683:
673:
665:the original
655:
640:
611:
558:
552:
536:
529:
515:
511:
501:
490:
483:
476:
469:
458:Publications
433:
417:
412:
402:
389:
387:
367:
320:
305:
264:proof theory
247:
246:
204:Proof theory
156: (1957)
153:
70:(2016-07-26)
18:
2339:2016 deaths
2274:1928 births
2117:Mona Hatoum
2060:Visual arts
1965:Mathematics
1945:Dag Prawitz
1897:Saul Kripke
1674:Reviews of
1648:November 8,
1623:November 8,
1218:Wood, Carol
874:MAA Reviews
762:Reviews of
740:www.maa.org
472:47, 57–103.
470:Fund. Math.
430:Recognition
316:World War I
252:philosopher
180:Jon Barwise
2268:Categories
1984:Mikio Sato
1891:John Rawls
1885:Dana Scott
1446:(7): 558,
1105:Kybernetes
603:References
512:Dialectica
394:Kurt Gödel
280:Kurt Gödel
272:set theory
49:1928-12-13
1860:laureates
1752:122751203
1522:218549336
1373:189883846
1147:(1): 27,
1084:124002889
995:171454519
902:216590845
834:SIAM News
347:Princeton
308:The Bronx
296:platonist
1789:citation
1759:citation
1563:citation
1556:43408916
1529:citation
1484:(6): 404
1474:"Review"
1459:citation
1452:20876430
1425:citation
1418:40104969
1384:"Review"
1336:citation
1291:citation
1249:citation
1242:27641942
1204:citation
1168:citation
1124:citation
1091:citation
1036:citation
1029:43038344
1002:citation
947:citation
909:citation
870:"Review"
859:27858554
810:"Review"
808:(2005),
792:citation
773:(2005),
745:July 24,
720:July 24,
694:July 24,
688:Archived
591:See also
583:54691904
555:(2004).
370:Stanford
329:, under
298:stance.
138:Analytic
1782:1661162
1744:2687778
1713:2564698
1329:4028507
1161:9529607
1076:3396716
987:3621256
785:2095748
647:at the
2254:(2022)
2248:(2020)
2242:(2018)
2236:(2017)
2230:(2014)
2224:(2011)
2218:(2008)
2212:(2005)
2206:(2003)
2200:(2001)
2194:(1999)
2188:(1997)
2182:(1995)
2176:(1993)
2159:(2022)
2153:(2020)
2147:(2018)
2141:(2017)
2135:(2014)
2125:(2011)
2119:(2008)
2113:(2005)
2099:(2003)
2093:(2001)
2087:(1999)
2081:(1997)
2075:(1995)
2069:(1993)
2052:(2022)
2046:(2020)
2040:(2018)
2034:(2017)
2028:(2014)
2022:(2011)
2016:(2008)
2010:(2005)
2004:(2003)
1998:(2001)
1992:(1999)
1986:(1997)
1980:(1995)
1974:(1993)
1957:(2022)
1951:(2020)
1941:(2018)
1935:(2017)
1929:(2014)
1923:(2011)
1917:(2008)
1911:(2005)
1905:(2003)
1899:(2001)
1893:(1999)
1887:(1997)
1881:(1995)
1875:(1993)
1780:
1750:
1742:
1711:
1554:
1520:
1512:
1450:
1416:
1371:
1327:
1282:
1240:
1159:
1082:
1074:
1027:
993:
985:
900:
857:
783:
581:
571:
543:
463:Papers
374:stroke
286:, and
270:, and
149:Thesis
133:School
122:Region
2103:SANAA
1820:) at
1816:(via
1748:S2CID
1740:JSTOR
1709:JSTOR
1552:JSTOR
1518:S2CID
1510:JSTOR
1448:JSTOR
1414:JSTOR
1387:(PDF)
1369:S2CID
1325:JSTOR
1280:JSTOR
1238:JSTOR
1189:(1),
1157:S2CID
1080:S2CID
1072:JSTOR
1025:JSTOR
991:S2CID
983:JSTOR
898:S2CID
855:JSTOR
523:Books
1795:link
1765:link
1650:2021
1625:2021
1569:link
1535:link
1465:link
1431:link
1342:link
1297:link
1264:Isis
1255:link
1210:link
1174:link
1130:link
1097:link
1042:link
1008:link
953:link
915:link
798:link
747:2021
722:2021
696:2021
579:OCLC
569:ISBN
541:ISBN
365:).
361:and
302:Life
254:and
78:, US
65:Died
59:, US
43:Born
1732:doi
1701:doi
1502:doi
1498:117
1444:102
1361:doi
1317:doi
1272:doi
1230:doi
1226:113
1191:doi
1149:doi
1113:doi
1064:doi
975:doi
934:doi
890:doi
392:of
351:MIT
345:in
310:in
112:Era
101:PhD
2270::
2131:/
2109:+
2105:/
1947:/
1791:}}
1787:{{
1778:MR
1776:,
1761:}}
1757:{{
1746:,
1738:,
1726:,
1707:,
1697:96
1695:,
1689:,
1678::
1641:.
1565:}}
1561:{{
1548:59
1546:,
1531:}}
1527:{{
1516:,
1508:,
1496:,
1482:29
1480:,
1476:,
1461:}}
1457:{{
1442:,
1427:}}
1423:{{
1410:38
1408:,
1397:54
1395:,
1389:,
1367:,
1357:29
1355:,
1338:}}
1334:{{
1323:,
1313:39
1311:,
1293:}}
1289:{{
1278:,
1268:97
1266:,
1251:}}
1247:{{
1236:,
1224:,
1206:}}
1202:{{
1187:15
1185:,
1170:}}
1166:{{
1155:,
1145:37
1143:,
1126:}}
1122:{{
1109:35
1107:,
1093:}}
1089:{{
1078:,
1070:,
1060:11
1058:,
1038:}}
1034:{{
1021:68
1019:,
1004:}}
1000:{{
989:,
981:,
971:89
969:,
949:}}
945:{{
930:13
928:,
911:}}
907:{{
896:,
886:26
884:,
872:,
851:93
849:,
832:,
818:10
816:,
812:,
794:}}
790:{{
781:MR
779:,
766::
755:^
738:.
712:.
686:.
682:.
623:^
577:.
567:.
563:.
454:.
415:.
411::
282:,
266:,
92:BS
1850:e
1843:t
1836:v
1797:)
1767:)
1734::
1728:7
1703::
1652:.
1627:.
1601:.
1587:.
1571:)
1537:)
1504::
1467:)
1433:)
1363::
1344:)
1319::
1299:)
1274::
1257:)
1232::
1212:)
1193::
1176:)
1151::
1132:)
1115::
1099:)
1066::
1044:)
1010:)
977::
955:)
936::
917:)
892::
800:)
749:.
724:.
698:.
634:.
585:.
357:(
103:)
99:(
94:)
90:(
51:)
47:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.