Alfred Tarski Papers

Résumé du livre

The collection consists mostly of materials relating to Tarski's tenure as a mathematician at UC Berkeley. It is divided into eight series: Biographical/Bibliographical; Correspondence; Writings; Writings by Others (annotated by Tarski); Teaching; Grants and Projects; Professional Organizations and Events; and Notes and Miscellany. Among the biographical/bibliographical materials are personal documents from Tarski's life in Poland dating from 1923, materials in support of Tarski's application for a permanent United States visa, passports (Polish and American), materials relating to Tarski's American job search, materials relating to his sponsorship of the immigration of his wife and children, biographical articles and reminiscences about Tarski, clippings, bibliographies, a group photograph of participants in a mathematics conference in Warsaw in 1929, and a 1935 photograph of Tarski with Kurt Gödel. Among the correspondence is general correspondence dating mostly from the 1950s through the 1970s as well as correspondence with particular individuals and on specific topics. Correspondence is in both English and Polish. Writings consist of manuscripts and drafts of Tarski's mathematical monographs and articles as well as drafts of speeches and lectures. In addition to manuscripts and drafts, the files of Tarski's writings may include reprints as well as correspondence and other supporting research materials relating to his writing and scholarship. The collection also includes writings by other mathematicians, some of which are annotated or critiqued by Tarski. Teaching files consist of materials for Tarski's courses at UC Berkeley and might include lecture materials, seminar reports, notes and problem sets. Among the grant and project materials are files on Tarski's work on National Science Foundation grant-funded projects and U.S. Navy contracts. Files on organizations and events include materials from Tarski's work with the International Union of the History and Philosophy of Science, the Institute for Basic Research, the Association for Symbolic Logic, the Summer Institute in Logic (Berkeley, 1957), and a symposium on the axiomatic method in Berkeley in 1957-1958.