Open Logic Project Portrait photos in assets/photos

barcan-marcus-ruth.png Portrait of Ruth Barcan Marcus, c. 1940, unknown photogra- pher, courtesy of Libby Marcus. The Open Logic Project has obtained permission to use this image for inclusion in non-commercial OLP-derived materials. Permission is required for any other use.

behmann-heinrich.png Portrait of Hein- rich Behmann, ca. 1922, courtesy of the Abteilung f¨ur Handschriften und Seltene Drucke, Nieders¨achsische Staats- und Uni- versit¨atsbibliothek G¨ottingen, Cod. Ms. Hilbert 754 Bl. 22 Nr. 115. Restored from an original scan by Joel Fuller.

1 bernays-paul.png Portrait of Paul Bernays, ca. 1928, courtesy of the Abteilung f¨ur Handschriften und Seltene Drucke, Nieders¨achsische Staats- und Univer- sit¨atsbibliothekG¨ottingen,Sammlung P. Voit: P. Bernays. Restored from an original scan by Joel Fuller.

cantor-georg.png Portrait of Georg Can- tor by Otto Zeth courtesy of the Univer- sit¨atsarchiv, Martin-Luther Universit¨atHalle– Wittenberg. UAHW Rep. 40-VI, Nr. 3 Bild 102.

2 church-alonzo.png Portrait of Alonzo Church, undated, photographer unknown. Alonzo Church Papers; 1924–1995, (C0948) Box 60, Folder 3. Manuscripts Division, Department of Rare Books and Special Collections, Princeton University Library. c Princeton University. The Open Logic Project has obtained permission to use this image for inclusion in non-commercial OLP- derived materials. Permission from Princeton University is required for any other use.

curry-haskell.png Portrait of Haskell Brooks Curry, c. 1930, unknown photogra- pher. Restored by Joel Fuller from an original scan courtesy of Kim Heffernan. The Open Logic Project has obtained permission to use this image for inclusion in non-commercial OLP-derived materials. Permission is required for any other use.

dedekind-richard.png Portrait of Richard Dedekind, courtesy of the Abteilung f¨urHand- schriften und Seltene Drucke, Nieders¨achsische Staats- und Universit¨atsbibliothekG¨ottingen, Sammlung P. Voit: R. Dedekind, Nr. 4.

3 fitch-frederic.png Portrait of Frederic Fitch, undated, photographer unknown. Office of Public Affairs, Yale University, Photographs of Individuals (RU 686). Manuscripts and Archives, Yale University Library. c Yale University. The Open Logic Project has obtained permission to use this image for inclusion in non-commercial OLP-derived materials. Permission from Yale University is required for any other use.

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

gentzen-gerhard.png Portrait of Gerhard Gentzen playing ping-pong courtesy of Ekhart Mentzler-Trott.

4 goedel-kurt.png Portrait of Kurt G¨odel, ca. 1925, photographer unknown. From the Shelby White and Leon Levy Archives Cen- ter, Institute for Advanced Study, Princeton, NJ, USA, on deposit at Princeton University Library, Manuscript Division, Department of Rare Books and Special Collections, Kurt G¨odelPapers, (C0282), Box 14b, #110000. The Open Logic Project has obtained permis- sion from the Institute’s Archives Center to use this image for inclusion in non-commercial OLP-derived materials. Permission from the Archives Center is required for any other use.

henkin-leon.png Leon Henkin on set of “Mathematical Induction,” ca. 1961. From the Mathematical Association of America Records, Archives of American Mathematics, e_math_00404, The Dolph Briscoe Center for American History, The University of Texas at Austin. The Open Logic Project has obtained permission to use this image for inclusion in non-commercial OLP-derived materials. Per- mission from the Dolph Briscoe Center is re- quired for any other use.

heyting-arendt.png Portrait of Arendt Heyting, c. 1930. Restored by Joel Fuller from an original scan courtesy of the Institute for Logic, Language and Computation of the University of Amsterdam.

5 hilbert-david.png Portrait of David Hilbert, 1886, courtesy of the Abteilung f¨ur Handschriften und Seltene Drucke, Nieders¨achsische Staats- und Univer- sit¨atsbibliothek G¨ottingen, Cod. Ms. D. Hilbert 754, Beil. Nr. 25. Restored from an original scan by Joel Fuller.

huntington-edward.png Portrait of Ed- ward Vermilye Huntington, ca. 1918. From the Mathematical Association of America Records, Archives of American Mathematics, e_math_00973, The Dolph Briscoe Center for American History, The University of Texas at Austin.

6 kalmar-laszlo.png Portrait of L´aszl’o Kalm´ar, 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 Dedication 1.0 Universal.

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

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

7 lindenbaum-alfred.png Portrait of Adolf Lindenbaum, ca. 1931, courtesy of the Archives of the University of Warsaw. Re- stored from an original scan by Joel Fuller.

loeb-martin.png Photo of Martin L¨ob, November 14, 1978, c Peter van Emde Boas. Cropped from a larger original. The Open Logic Project has obtained permission to dis- tribute the image for non-commercial purposes only.

loewenheim-leopold.png Portrait of Lopold L¨owenheim, n.d., courtesy of Chris- tian Thiel.

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

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

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

9 noether-emmy.png Portrait of Emmy Noether, ca. 1922, courtesy of the Abteilung f¨ur Handschriften und Seltene Drucke, Nieders¨achsische Staats- und Univer- sit¨atsbibliothek G¨ottingen, Cod. Ms. D. Hilbert 754, Bl. 14 Nr. 73. Restored from an original scan by Joel Fuller.

peter-rozsa.png Portrait of R´ozsaP´eter, undated, photographer unknown. Courtesy of B´elaAndr´asfai.

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

prezburger-mojzesz.png Portrait of Moj˙zesz Prezburger, ca. 1923, courtesy of the 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 the University of Warsaw. Restored from an orig- inal scan by Joel Fuller.

robinson-julia.png Portrait of Julia Robinson, unknown photographer, courtesy of Neil D. Reid. The Open Logic Project has obtained permission to use this image for inclusion in non-commercial OLP-derived materials. Permission is required for any other use.

12 rosser-john-barkley.png Portrait of John Barkley Rosser as a graduate student at Princeton, ca. 1935. From the J. Barkley Rosser Papers, Archives of American Math- ematics, e_math_00856, The Dolph Briscoe Center for American History, The University of Texas at Austin. The Open Logic Project has obtained permission to use this image for inclusion in non-commercial OLP-derived ma- terials. Permission from the Dolph Briscoe Center is required for any other use.

russell-bertrand.png Portrait of Bertrand Russell, ca. 1907, courtesy of the William Ready Division of Archives and Research Collections, McMaster University Library. Bertrand Russell Archives, Box 2, f. 4.

13 schoenfinkel-moses.png Portrait of Moses Sch¨onfinkel, ca. 1922. Restored by Joel Fuller from an original scan provided by the Abteilung f¨ur Handschriften und Sel- tene Drucke, Nieders¨achsische Staats- und Universit¨atsbibliothek G¨ottingen, Cod. Ms. D. Hilbert 754, Bl. 22 Nr. 113.

sikorski-roman.png Portrait of Roman Sikorski, ca. 1937, courtesy of the Archives of the University of Warsaw.

14 skolem-thoralf.png Portrait of Thoralf Skolem, c. 1930–1935, courtesy of the Museum of 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 from a scan of Tarski’s passport by Joel Fuller. Original courtesy of Bancroft Library, Uni- versity of California, Berkeley. Alfred Tarski Papers, Banc MSS 84/49. The Open Logic Project has obtained permission to use this image for inclusion in non-commercial OLP- derived materials. Permission from Bancroft Library 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 Commons BY-NC-ND 3.0 license.

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

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

16 zermelo-ernst.png Portrait of Ernst Zer- melo, ca. 1922, courtesy of the Abteilung f¨ur Handschriften und Seltene Drucke, Nieders¨achsische Staats- und Univer- sit¨atsbibliothek G¨ottingen, Cod. Ms. D. Hilbert 754, Bl. 6 Nr. 25.

17