Open Logic ProjectPortrait photos in assets/photos

barcan-marcus-ruth.png Portrait of RuthBarcan Marcus, c. 1940, unknown photogra-pher, courtesy of Libby Marcus. The OpenLogic Project has obtained permission to usethis image for inclusion in non-commercialOLP-derived materials. Permission is requiredfor any other use.

behmann-heinrich.png Portrait of Hein-rich Behmann, ca. 1922, courtesy of theAbteilung fur Handschriften und SelteneDrucke, Niedersachsische Staats- und Uni-versitatsbibliothek Gottingen, Cod. Ms.Hilbert 754 Bl. 22 Nr. 115. Restored from anoriginal scan by Joel Fuller.

1

bernays-paul.png Portrait of PaulBernays, ca. 1928, courtesy of the Abteilungfur Handschriften und Seltene Drucke,Niedersachsische Staats- und Univer-sitatsbibliothek Gottingen, Sammlung P. Voit:P. Bernays. Restored from an original scanby Joel Fuller.

cantor-georg.png Portrait of Georg Can-tor by Otto Zeth courtesy of the Univer-sitatsarchiv, Martin-Luther Universitat Halle–Wittenberg. UAHW Rep. 40-VI, Nr. 3Bild 102.

2

church-alonzo.png Portrait of AlonzoChurch, undated, photographer unknown.Alonzo Church Papers; 1924–1995, (C0948)Box 60, Folder 3. Manuscripts Division,Department of Rare Books and SpecialCollections, Princeton University Library.c© Princeton University. The Open Logic

Project has obtained permission to use thisimage for inclusion in non-commercial OLP-derived materials. Permission from PrincetonUniversity is required for any other use.

curry-haskell.png Portrait of HaskellBrooks Curry, c. 1930, unknown photogra-pher. Restored by Joel Fuller from an originalscan courtesy of Kim Heffernan. The OpenLogic Project has obtained permission to usethis image for inclusion in non-commercialOLP-derived materials. Permission is requiredfor any other use.

dedekind-richard.png Portrait of RichardDedekind, courtesy of the Abteilung fur Hand-schriften und Seltene Drucke, NiedersachsischeStaats- und Universitatsbibliothek Gottingen,Sammlung P. Voit: R. Dedekind, Nr. 4.

3

fitch-frederic.png Portrait of FredericFitch, undated, photographer unknown.Office of Public Affairs, Yale University,Photographs of Individuals (RU 686).Manuscripts and Archives, Yale UniversityLibrary. c© Yale University. The OpenLogic Project has obtained permission to usethis image for inclusion in non-commercialOLP-derived materials. Permission from YaleUniversity is required for any other use.

frege-gottlob.png Portrait of GottlobFrege by Friedrich Haack, no date. Courtesyof the Austrian National Library, Bildarchiv,Pf 19.047: E(1).

gentzen-gerhard.png Portrait of GerhardGentzen playing ping-pong courtesy of EkhartMentzler-Trott.

4

goedel-kurt.png Portrait of Kurt Godel,ca. 1925, photographer unknown. From theShelby White and Leon Levy Archives Cen-ter, Institute for Advanced Study, Princeton,NJ, USA, on deposit at Princeton UniversityLibrary, Manuscript Division, Department ofRare Books and Special Collections, KurtGodel Papers, (C0282), Box 14b, #110000.The Open Logic Project has obtained permis-sion from the Institute’s Archives Center touse this image for inclusion in non-commercialOLP-derived materials. Permission from theArchives Center is required for any other use.

henkin-leon.png Leon Henkin on set of“Mathematical Induction,” ca. 1961. Fromthe Mathematical Association of AmericaRecords, Archives of American Mathematics,e_math_00404, The Dolph Briscoe Center forAmerican History, The University of Texas atAustin. The Open Logic Project has obtainedpermission to use this image for inclusion innon-commercial OLP-derived materials. Per-mission from the Dolph Briscoe Center is re-quired for any other use.

heyting-arendt.png Portrait of ArendtHeyting, c. 1930. Restored by Joel Fullerfrom an original scan courtesy of the Institutefor Logic, Language and Computation of theUniversity of Amsterdam.

5

hilbert-david.png Portrait of DavidHilbert, 1886, courtesy of the Abteilungfur Handschriften und Seltene Drucke,Niedersachsische Staats- und Univer-sitatsbibliothek Gottingen, Cod. Ms.D. Hilbert 754, Beil. Nr. 25. Restoredfrom an original scan by Joel Fuller.

huntington-edward.png Portrait of Ed-ward Vermilye Huntington, ca. 1918. Fromthe Mathematical Association of AmericaRecords, Archives of American Mathematics,e_math_00973, The Dolph Briscoe Center forAmerican History, The University of Texas atAustin.

6

kalmar-laszlo.png Portrait of Laszl’oKalmar, undated, photographer unknown,courtesy of the Library and Information Cen-tre of the Hungarian Academy of Sciences,Department of Manuscripts and Rare Books.Creative Commons Public Domain Dedication1.0 Universal.

langford-cooper.png Portrait of CooperHarold Langford, ca. 1920, photographer un-known. Courtesy of Holly Langford.

lewis-david.png Portrait of David K.Lewis, 2001, by Stephanie Lewise. Courtesyof Stephanie Lewis.

7

lindenbaum-alfred.png Portrait of AdolfLindenbaum, ca. 1931, courtesy of theArchives of the University of Warsaw. Re-stored from an original scan by Joel Fuller.

loeb-martin.png Photo of Martin Lob,November 14, 1978, c©Peter van Emde Boas.Cropped from a larger original. The OpenLogic Project has obtained permission to dis-tribute the image for non-commercial purposesonly.

loewenheim-leopold.png Portrait ofLopold Lowenheim, n.d., courtesy of Chris-tian Thiel.

8

lukasiewicz-jan.png Portrait of Jan Lukasiewicz, ca. 1920–1922, courtesy ofthe Archives of the University of Warsaw.Restored from an original scan by Joel Fuller.

montague-richard.png Portrait of RichardMontague, undated, photographer unknown.Courtesy of Ivano Caponigro.

mostowski-andrzej.png Portrait of An-drzej Mostowski, ca. 1931, courtesy of theArchives of the University of Warsaw. Re-stored from an original scan by Joel Fuller.

9

noether-emmy.png Portrait of EmmyNoether, ca. 1922, courtesy of the Abteilungfur Handschriften und Seltene Drucke,Niedersachsische Staats- und Univer-sitatsbibliothek Gottingen, Cod. Ms.D. Hilbert 754, Bl. 14 Nr. 73. Restoredfrom an original scan by Joel Fuller.

peter-rozsa.png Portrait of Rozsa Peter,undated, photographer unknown. Courtesy ofBela Andrasfai.

10

post-emil.png Portrait of Emil Leon Post,June 1924. Restored by Joel Fuller froman original scan provided by the AmericanPhilosophical Society, Emil Leon Post Papers,Mss. Ms. Coll. 45. The Open Logic Projecthas obtained permission to use this image forinclusion in non-commercial OLP-derived ma-terials. Permission from the American Philo-sophical Society is required for any other use.

prezburger-mojzesz.png Portrait ofMojzesz Prezburger, ca. 1923, courtesy ofthe Archives of the University of Warsaw.Restored from an original scan by Joel Fuller.

11

rasiowa-helena.png Portrait of Helena Ra-siowa, ca. 1954, courtesy of the Archives of theUniversity of Warsaw. Restored from an orig-inal scan by Joel Fuller.

robinson-julia.png Portrait of JuliaRobinson, unknown photographer, courtesyof Neil D. Reid. The Open Logic Projecthas obtained permission to use this imagefor inclusion in non-commercial OLP-derivedmaterials. Permission is required for anyother use.

12

rosser-john-barkley.png Portrait of JohnBarkley Rosser as a graduate student atPrinceton, ca. 1935. From the J. BarkleyRosser Papers, Archives of American Math-ematics, e_math_00856, The Dolph BriscoeCenter for American History, The Universityof Texas at Austin. The Open Logic Projecthas obtained permission to use this image forinclusion in non-commercial OLP-derived ma-terials. Permission from the Dolph BriscoeCenter is required for any other use.

russell-bertrand.png Portrait ofBertrand Russell, ca. 1907, courtesy ofthe William Ready Division of Archives andResearch Collections, McMaster UniversityLibrary. Bertrand Russell Archives, Box 2,f. 4.

13

schoenfinkel-moses.png Portrait of MosesSchonfinkel, ca. 1922. Restored by JoelFuller from an original scan provided bythe Abteilung fur Handschriften und Sel-tene Drucke, Niedersachsische Staats- undUniversitatsbibliothek Gottingen, Cod. Ms.D. Hilbert 754, Bl. 22 Nr. 113.

sikorski-roman.png Portrait of RomanSikorski, ca. 1937, courtesy of the Archives ofthe University of Warsaw.

14

skolem-thoralf.png Portrait of ThoralfSkolem, c. 1930–1935, courtesy of the Museumof Oslo. Used under a Creative Commons BY-NC-SA 3.0 NO license.

tarski-alfred.png Passport photo of Al-fred Tarski, 1939. Cropped and restored froma scan of Tarski’s passport by Joel Fuller.Original courtesy of Bancroft Library, Uni-versity of California, Berkeley. Alfred TarskiPapers, Banc MSS 84/49. The Open LogicProject has obtained permission to use thisimage for inclusion in non-commercial OLP-derived materials. Permission from BancroftLibrary is required for any other use.

15

turing-alan.png Portrait of Alan Mathi-son Turing by Elliott & Fry, 29 March 1951,NPG x82217, c© National Portrait Gallery,London. Used under a Creative CommonsBY-NC-ND 3.0 license.

von-neumann-john.png Portrait of Johnvon Neumann, ca. 1928. From the Johnvon Neumann Papers, Archives of Ameri-can Mathematics, e_math_00134, The DolphBriscoe Center for American History, The Uni-versity of Texas at Austin. The Open LogicProject has obtained permission to use thisimage for inclusion in non-commercial OLP-derived materials. Permission from the DolphBriscoe Center is required for any other use.

wang-hao.png Portrait of Hao Wang, un-dated, photographer unknown. Courtesy ofJane Wang and Dr. San You Wang.

16

zermelo-ernst.png Portrait of Ernst Zer-melo, ca. 1922, courtesy of the Abteilungfur Handschriften und Seltene Drucke,Niedersachsische Staats- und Univer-sitatsbibliothek Gottingen, Cod. Ms.D. Hilbert 754, Bl. 6 Nr. 25.

17