Emil Leon Post Papers
Mss.Ms.Coll.45
Series I. Correspondence | 1912-1955 | 2 boxes; 0.75 linear feet | ||
Correspondence from City College colleagues, former students, and academic institutions. Letters of reference are filed under the name of the person who is the subject of the letter. The series is arranged alphabetically by correspondent's name and then chronologically within each folder. There are a few handwritten postcards from Post to Martin Davis, as well as handwritten recommendations for others. The bulk of the correspondence, however, is from other people, including several letters from leading figures in the field of mathematics such as Kurt Gödel and Alonzo Church. Most of the correspondence deals with mathematics and recommendations; however, there are a few letters from government officials (including someone from the office of President Eisenhower) in response to Post's suggestions on various aspects of world events. Correspondents in Series I include:
| ||||
Abrahams, Albert P. | 1949 | Box 1 | ||
Air Warden Service | 1942 | Box 1 | ||
American Journal of Mathematics | 1941-1942 | Box 1 | ||
Weyl, Hermann | ||||
The American Mathematical Monthly | 1952 | Box 1 | ||
American Mathematical Society | 1943, 1954 | Box 1 | ||
Annals of Mathematics | 1940-1941, 1947 | Box 1 | ||
Aumann, John | 1950 | Box 1 | ||
Bachiller, T.R. | 1947-1948 | Box 1 | ||
In French | ||||
Barany, Ronald | 1949 | Box 1 | ||
Beatty, S. | 1950 | Box 1 | ||
Berkowitz, J. | n.d. | Box 1 | ||
Bernays, Paul | 1946 | Box 1 | ||
Access digital object: | ||||
Bishop, Kenneth | 1930 | Box 1 | ||
Black, Max | 1947 | Box 1 | ||
Blan, Julian | 1949 | Box 1 | ||
Boone, William | 1951 | Box 1 | ||
Access digital object: | ||||
Bricker, Jacob Leon | 1952 | Box 1 | ||
Brooklyn College | 1946 | Box 1 | ||
Brown, Cecil | 1945 | Box 1 | ||
Burroughs Adding Machine Company. Research Division | 1952-1953 | Box 1 | ||
Bushey, Hobart | 1934 | Box 1 | ||
Carmichael, R.D. | 1952 | Box 1 | ||
Chern, Bernard | 1952 | Box 1 | ||
Church, Alonzo | 1927-1954 | Box 1 | ||
See Also Ser.I, The Journal of Symbolic Logic | ||||
City College, New York | 1941-1953 | Box 1 | ||
Access digital object: | ||||
City Club of New York | 1942 | Box 1 | ||
Columbia University | 1952 | Box 1 | ||
Craig, Homer | 1955 | Box 1 | ||
Craig, William | 1954 | Box 1 | ||
Davis, H.J. | 1931 | Box 1 | ||
Davis, Martin | 1948-1952 | Box 1 | ||
Dean, Richard | 1948 | Box 1 | ||
Dekker, J.C.E. | 1949, 1952 | Box 1 | ||
DeMendonca, Simao Carneiro | 1951 | Box 1 | ||
Douglas, Jesse | 1940-1948 | Box 1 | ||
Durrels, Julius | 1951 | Box 1 | ||
Ehunprcis, Leon | 1950 | Box 1 | ||
Eisenhower, Dwight D. (Office Of) | 1952 | Box 1 | ||
Elgop, Calvin | 1952 | Box 1 | ||
Engel, Joseph H. | n.d. | Box 1 | ||
Engelman, Carl | 1950 | Box 1 | ||
Faulk, David H. | 1944 | Box 1 | ||
Feeney, Walter J. | 1952 | Box 1 | ||
Finkel, William L. | 1949 | Box 1 | ||
Fischer, Irwin | 1948 | Box 1 | ||
Fitch, Frederic | 1948-1953 | Box 1 | ||
Forndon, Wilfred A. | 1950 | Box 1 | ||
Frankel, Abraham | 1949, 1951 | Box 1 | ||
Freilich, Gerald | 1946, n.d. | Box 1 | ||
Gill, Bennington | 1937, 1943 | Box 1 | ||
Ginsburg, Jekuthial | 1937, 1940, 1948 | Box 1 | ||
Gödel, Kurt | 1938-1939 | Box 1 | ||
Access digital object: | ||||
Gonseth, F. | 1939, 1950 | Box 1 | ||
Some in French | ||||
Gottschall, Morton | 1944 | Box 1 | ||
Grafton, Samuel | 1945-1948 | Box 1 | ||
Gugino, E. | 1952 | Box 1 | ||
Gutterman, | n.d. | Box 1 | ||
Harvard College Observatory | 1912 | Box 1 | ||
Henricksen, Melvin | 1948 | Box 1 | ||
Himwich, A.A. | 1929 | Box 1 | ||
Hinshaw, Virgil | 1947 | Box 1 | ||
Hochfeld, Emmanuel | 1951 | Box 1 | ||
Iseki, Kiyosi | 1940, 1944, 1946 | Box 1 | ||
Javits, Jacob | 1950 | Box 1 | ||
Johnson, Edgar | 1949 | Box 1 | ||
The Journal of Symbolic Logic | 1938, 1942, 1948 | Box 1 | ||
Access digital object: | ||||
Kasner, Edward | 1940, n.d. | Box 1 | ||
Kates, Robert | 1951, n.d. | Box 1 | ||
Kelley, Thomas W. | 1951 | Box 1 | ||
Keyser, C.J. | 1930, 1940, 1941 | Box 1 | ||
Kingdon, Frank | 1946-1950, n.d. | Box 1 | ||
Kleene, S.C. | 1936-1954 | Box 1 | ||
Kline, J.R. | 1946 | Box 1 | ||
Korngold, Eric | 1949 | Box 1 | ||
Lerner, Max | 1947, 1950 | Box 1 | ||
Lewis, C.I. | 1940, 1944 | Box 1 | ||
Linial, Samuel | 1949 | Box 1 | ||
Littauer, Sebastian | 1928-1931, n.d. | Box 1 | ||
Lorch, Lee | 1949-1951, n.d. | Box 1 | ||
Lubell, Albert | 1937 | Box 1 | ||
MacLane, Saunders | 1941-1943 | Box 1 | ||
See Also Ser.I, Bulletin of the American Mathematical Society | ||||
McLaughlin, Doris | 1950 | Box 1 | ||
Martin, Norman M. | 1948 | Box 1 | ||
Mathematical Reviews | 1943 | Box 1 | ||
Menger, Karl | 1931, 1938 | Box 1 | ||
Mischel, Theodore | 1947 | Box 1 | ||
Mostowski, Andrzej | 1948 | Box 1 | ||
Myrick, Jack A. | 1952 | Box 1 | ||
Myhill, John | n.d. | Box 1 | ||
Access digital object: | ||||
Neuwirth, Jerome H. | 1952 | Box 1 | ||
New York Post | 1946 | Box 1 | ||
New York University | 1951 | Box 1 | ||
Newman, Donald J. | 1948-1952 | Box 1 | ||
Orleans, Joseph B. | 1937-1940 | Box 1 | ||
Paley, Thomas | 1950 | Box 1 | ||
Pincherle, S. | 1930 | Box 1 | ||
In French | ||||
Pollack, Richard | 1952 | Box 1 | ||
Quine, Willard V. | 1937, 1947 | Box 1 | ||
Reynolds, Frederick G. | 1937-1944 | Box 2 | ||
Rich, Barnett | 1950 | Box 2 | ||
Richardson, Moses | 1940-1941 | Box 2 | ||
Ritt, J.F. | 1931-1948 | Box 2 | ||
Robbins, Leon C. | 1951 | Box 2 | ||
Rosenblatt, Murray | 1946, 1950, n.d. | Box 2 | ||
Rosser, J. Barkley | 1953, n.d. | Box 2 | ||
Rubel, Lee A. | 1950 | Box 2 | ||
Ruderman, Harry D. | 1948 | Box 2 | ||
Saurel, Paul | 1932 | Box 2 | ||
Scholz, Heinrich | 1941-1948 | Box 2 | ||
Schwartz, Jacob | 1949 | Box 2 | ||
Shapiro, Harold N. | 1943-1949 | Box 2 | ||
Sheridan, Peter | 1950 | Box 2 | ||
Shugar, Alvin C. | n.d. | Box 2 | ||
Silverman, Abe | 1951 | Box 2 | ||
Simpson, Kenneth C. | 1943 | Box 2 | ||
Skolem, Th. | 1946 | Box 2 | ||
Solomon, Charles | 1930, 1932, n.d. | Box 2 | ||
Sonkin, Si | n.d. | Box 2 | ||
Stephens, Eugene | 1924, 1930 | Box 2 | ||
Stevenson, Adlai | 1952 | Box 2 | ||
Syracuse University | 1946 | Box 2 | ||
Tarski, Alfred | 1940-1948 | Box 2 | ||
Thompson, Dorothy | 1945-1946 | Box 2 | ||
Turquette, A.R. | 1942 | Box 2 | ||
Unidentified | 1947, 1951, n.d. | Box 2 | ||
Some in French | ||||
The United Nations | 1945 | Box 2 | ||
United States Naval Observatory | 1912 | Box 2 | ||
United States. Secretary of State | 1951 | Box 2 | ||
United States. War Department | 1948 | Box 2 | ||
United States. White House | 1951, 1953 | Box 2 | ||
Vandiver, H.S. | 1953 | Box 2 | ||
Webb, Donald L. | 1935-1938 | Box 2 | ||
Weinstein, Philip K. | 1939 | Box 2 | ||
Weisner, Louis | 1932 | Box 2 | ||
Weissblum, Walter | 1951 | Box 2 | ||
Wernick, William | 1942 | Box 2 | ||
Weyl, Hermann | 1944 | Box 2 | ||
See Also Ser.I, American Journal of Mathematics | ||||
Widder, Dave V. | 1948 | Box 2 | ||
Wiener, Norbert | 1923 | Box 2 | ||
Wirth, Herbert P. | 1937-1943 | Box 2 | ||
Winter, Jacob | 1939 | Box 2 | ||
Wisan, Harold | 1939 | Box 2 | ||
Wohl, Sonia | 1946 | Box 2 | ||
Wouk, Arthur | n.d. | Box 2 | ||
Series II. Subject Files | 1888-1955 | 1 box; 6 folders | ||
Includes appointments and awards, a biliography of Post's works, family history, an unidentified mailing list, letters of condolence on Post's death, and materials about teaching. The folders are arranged alphabetically by title. The earliest materials in this series are photocopies of family documents. | ||||
Appointments and Awards | 1941, 1949 | Box 2 | ||
Bibliography | 1953 | Box 2 | ||
Condolence Letters to Mrs. Post | 1954-1955 | Box 2 | ||
Family History | 1888-1954, n.d. | Box 2 | ||
Access digital object: | ||||
Mailing List | n.d. | Box 2 | ||
Teaching Miscellanea | 1942-1953, n.d. | Box 2 | ||
Series III. Works by Post | 1921-1953 | 2 boxes; 0.25 linear feet | ||
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. | ||||
"Absolutely Unsolvable Problems" | n.d. | 2 folders | Box 2 | |
"Absolutely Unsolvable Problems" - Folder 1 | ||||
Access digital object: | ||||
"Absolutely Unsolvable Problems" - Folder 2 | ||||
Access digital object: | ||||
Calculus of Variation | n.d. | Box 2 | ||
[Combinations] | 1935 | Box 2 | ||
"Degrees of Recursive Unsolvability" | 1948-1952 | Box 2 | ||
"Finite Combinatory Processes--Formulation I" | n.d. | Box 2 | ||
"Formal Reductors of the General Combinatorial Decision Problem--Page Proofs" | 1942 | Box 2 | ||
"Formal Reductions of the General Combinatorial Decision Problem--Typescript" | n.d. | Box 2 | ||
"A Fundamental Problem in Postulate Theory" | Box 2 | |||
-See Ser.III, [Postulate Theory] | ||||
"The Generalized Derivative" | n.d. | Box 2 | ||
"Generalized Differentiation" | 1929 | Box 2 | ||
[Laplace Transform and Generalized Differention] | 1923, 1932 | Box 2 | ||
[Logic and Set Theory] | Box 2 | |||
Folder #1 | 1940-1949, n.d. | Box 2 | ||
On index cards | ||||
Folder #2 | 1935, 1952 | Box 2 | ||
"The Modern Paradoxes" | Box 2 | |||
-See Ser.III, [Logic and Set Theory] | ||||
"New Ideas for Researches" | Box 2 | |||
-See Ser.III, [Logic and Set Theory] | ||||
"Note on Functions Identically Equal to Their Variations" | Box 2 | |||
-See Ser.III, [Calculus of Variation] | ||||
"Note on the Five Regular Polyhedra" | Box 2 | |||
-See Ser.III, [Five Regular Polyhedra] | ||||
"On Arthur Schath's "Proof" of a Form of the Cont. Hyp." | Box 2 | |||
-See Ser.III, [Logic and Set Theory] | ||||
"Polyadic Groups"--Proof (Corrected) | 1940 | Box 3 | ||
"Polyadic Groups"--Typescript | 1935 | Box 3 | ||
[Postulate Theory] | 1921, 1935 | Box 3 | ||
"Recursively Renumerable Sets of Positive Integers and Their Decision Problems"--Page Proofs | n.d. | Box 3 | ||
Recursively Renumerable Sets of Positive Integers and Their Decision Problems"--Typescript | n.d. | Box 3 | ||
"A Trifle"--Poem | 1922 | Box 3 | ||
"A Variant of a Recursively Unsolvable Problem"--Page Proofs | n.d. | Box 3 | ||
"A Variant of a Recursively Unsolvable Problem"--Typescript | n.d. | Box 3 | ||
Series IV. Research Notes | 1917-1953 | 6 boxes; 2.75 linear feet | ||
Post's notebooks concerning various aspects of mathematical research, beginning with a notebook from 1917. The notebooks serve as a mathematical diary that covers Post's life as a mathematician. | ||||
"Calculus of Finite Processes" | 1944 | Box 3 | ||
-See also Ser.IV, "Theory of Finite Processes" Vol. II-XVII | ||||
"Closed Truth Systems" Vol. I | 1929-1930 | Box 3 | ||
"Closed Truth Systems" Vol. II | 1930 | Box 3 | ||
"Closed Truth Systems" Vol. III | 1930-1931 | Box 3 | ||
"Closed Truth Systems" Vol. IV | 1931-1932 | Box 4 | ||
"Closed Truth Systems" Vol. V | 1931 | Box 4 | ||
"Complete Equivalence of Normal Set and Recursive Function Development" | 1942-1945 | Box 4 | ||
[Corrections of Unknown Manuscript] | n.d. | Box 4 | ||
Access digital object: | ||||
"Creative Logic" Vol. I | 1938 | Box 4 | ||
"Creative Logic" Vol. II | 1938 | Box 4 | ||
"Creative Logic" Vol. III | 1939 | Box 4 | ||
"Creative Logic" Vol. IV | 1939 | Box 4 | ||
"Creative Logic" Vol. V | 1940-1941 | Box 4 | ||
"Creative Logic" Vol. VI | 1941-1942 | Box 5 | ||
"Creative Logic" Vol. VII | 1942-1945 | Box 5 | ||
"Creative Logic" Vol. VIII | 1945 | Box 5 | ||
"Creative Logic" Vol. IX | 1945 | Box 5 | ||
"Creative Logic" Vol. X | 1945 | Box 5 | ||
"Creative Logic" Vol. XI | 1945-1946 | Box 5 | ||
"Creative Logic" Vol. XII | 1946 | Box 5 | ||
"Creative Logic" Vol. XIII | 1946 | Box 5 | ||
"Creative Logic" Vol. XIV | 1947 | Box 5 | ||
"Creative Logic" Vol. XV | 1947 | Box 6 | ||
"Creative Logic" Vol. XVI | 1947-1948 | Box 6 | ||
"Creative Logic" Vol. XVII | 1948-1949 | Box 6 | ||
"Creative Logic" Vol. XVIII | 1949-1952 | Box 6 | ||
"Definability" Vol. I | 1952 | Box 6 | ||
"Definability" Vol. II | 1952-1953 | Box 6 | ||
"The Logic of Mathematics" | Box 6 | |||
-See Ser.IV, "Creative Logic" | ||||
[Math 6 Notes] | 1917 | Box 6 | ||
Access digital object: | ||||
"Theory of Finite Processes" Vol. I | Box 6 | |||
-See Ser.IV, "Calculus of Finite Processes" Vol. I | ||||
"Theory of Finite Processes" Vol. II | 1942 | Box 6 | ||
"Theory of Finite Processes" Vol. III | 1942-1943 | Box 6 | ||
"Theory of Finite Processes" Vol. V | 1944 | Box 7 | ||
(Vol. IV is missing from this collection) | ||||
"Theory of Finite Processes" Vol. VI | 1944-1945 | Box 7 | ||
"Theory of Finite Processes" Vol. VII | 1945-1946 | Box 7 | ||
"Theory of Finite Processes" Vol. VIII | 1946 | Box 7 | ||
"Theory of Finite Processes" Vol. IX | 1946-1947 | Box 7 | ||
"Theory of Finite Processes" Vol. X | 1947-1948 | Box 7 | ||
"Theory of Finite Processes" Vol. XI | 1948 | Box 7 | ||
"Theory of Finite Processes" Vol. XII | 1948-1949 | Box 7 | ||
"Theory of Finite Processes" Vol. XIII | 1949 | Box 7 | ||
"Theory of Finite Processes" Vol. XIV | 1949-1950 | Box 8 | ||
"Theory of Finite Processes" Vol. XV | 1950 | Box 8 | ||
"Theory of Finite Processes" Vol. XVI | 1951 | Box 8 | ||
"Theory of Finite Processes" Vol. XVII | 1951 | Box 8 | ||
Series V. Materials Gathered by Phyllis Post Goodman | 1955-1995 | 1 box; 0.25 linear feet | ||
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 Emil L. Post, edited by Martin Davis (Boston: Birhäuser, 1994) and the establishment of the Emil L. Post mathematical award at City College. | ||||
Barber, Sherbourne F. | 1994 | Box 8 | ||
Birkhäuser | 1990-1993 | Box 8 | ||
Access digital object: | ||||
Bungay, Richard | 1960-1961 | Box 8 | ||
City College Alumnus | 1980-1981 | Box 8 | ||
City College of New York | 1957-1991 | Box 8 | ||
Clippings | 1954-1993, n.d. | Box 8 | ||
Datamation | n.d. | Box 8 | ||
Davids, Norman | 1990 | Box 8 | ||
Davis, Martin | 1956-1994 | Box 8 | ||
Dawson, John | 1988, 1993, 1995 | Box 8 | ||
Douglas, Jesse | 1955 | Box 8 | ||
Epstein, George | 1994 | Box 8 | ||
Erdos, Paul | 1994 | Box 8 | ||
Gleiser, Molly | 1979-1987 | Box 8 | ||
Grattan-Guinness, I. | 1991 | Box 8 | ||
Hodges, Andrew | 1984 | Box 8 | ||
Kennedy, Hubert | 1972 | Box 8 | ||
Kukin, Ira | 1980 | Box 8 | ||
Lorch, Lee | 1990-1993 | Box 8 | ||
Ozarow, Vivian | 1990 | Box 8 | ||
Princeton University Press | 1969 | Box 8 | ||
Rogner and Bernhard Publishing | 1972 | Box 8 | ||
Some in German Access digital object: | ||||
Rota, Gian-Carlo | 1969 | Box 8 | ||
Springer-Verlag Publishers | 1979 | Box 8 | ||
Access digital object: | ||||
Sister Teresemarie | 1976 | Box 8 | ||
Series VI. Photographs | 1924, 1948 | 1 box, 3 folders | ||
Photographs of sketches (n.d.) by Emil L. Post (the original sketches are in the possession of Phyllis Post Goodman). Also in this series is a photograph (June 1924) of Post as a young man; this photograph is one of the only formal portraits ever taken of Post. The remaining photograph is a portrait of one of Post's students. | ||||
Berl, Sigmund | 1948 | Box 8 | ||
Post, Emil L. | Jun. 1924 | Box 8 | ||
Emil Post, formal portrait, June 1924. | 1924 June | 1 photograph(s) | ||
Abstract: Bust length formal portrait of Post. Access digital object: | ||||
Photographs of Sketches by Emil L. Post | n.d. | Box 8 |