Papers, 1888-1994.


Papers, 1888-1994.

Series I (.75 linear ft.) contains correspondence from City College colleagues, former students, and academic institutions. Correspondents include Alonzo Church, Martin Davis, Kurt Godel, and Willard Quine. Series II (4 folders) includes appointments and awards, a bibliography of Post's works, family history, an unidentified mailing list, letters of condolence on Post's death, and materials about teaching. The earliest materials in this series are photocopies of family documents. Series III (.25 linear ft.) contains original typed drafts of several of Post's papers on logic. This series also includes an annotated draft of Post's "Absolutely Unsolvable Problems." Also included are galley prints and notes for published papers. Series IV (2.75 linear ft.) contains Post's notebooks concerning various aspects of mathematical research. The earliest item is a notebook from 1917. The notebooks serve as a mathematical diary that covers Post's life as a mathematician. Series V (.25 linear ft.) contains letters, articles, and documents concerning Emil L. Post that were collected after his death. Of special interest is material concerning the republication of works by Post in "Solvability, Provability, Definability: The Collected Works of Emily L. Post" edited by Martin Davis (Boston: Birkhauser, 1994) and the establishment of the Emil L. Post mathematical award at City College. Series VI (3 folders) contains sketches (n.d.) by Emil L. Post as well as a photograph (June 1924) of Post as a young man. This photograph is one of the only formal portraits ever taken of Post. The other photograph is a portrait of one of Post's students.

4 linear ft.

Related Entities

There are 7 Entities related to this resource.

Godel, Kurt. (person)

Quine, W. V. (Willard Van Orman) (person)

Willard Van Orman Quine was an American analytic philosopher, logician, and mathematician and was for much of his life affilated with Harvard University. His major writings include Word and object, Set theory and its logic, and Two dogmas of empiricism. From the description of James Willard Oliver Collection of W. V. Quine. (University of South Carolina). WorldCat record id: 311081458 W. V. (Willard Van Orman) Quine (1908-2000) was an American mathematician, logician, and ph...

Post, Emil Leon, 1897-1954 (person)

Emil L. Post was a mathematician who worked in logic, set theory, and computation theory. From the description of Papers, 1888-1994. (Unknown). WorldCat record id: 86138611 Emil L. Post was born in Poland in 1897. At the age of seven he emigrated with his mother and sisters to New York, where his father worked in the successful family clothing and fur business. As a child growing up in Harlem, Post was especially interested in astronomy. Tragically, ...

Church, Alonzo, 1903-1995 (person)

Mathematician. From the description of Oral history interview with Alonzo Church, 1984 May 17. (University of Minnesota, Minneapolis). WorldCat record id: 63283803 ...

Davis, Martin, 1928-.... (person)

American mathematical society (corporateBody)

City University of New York. City College (corporateBody)