Navigation
Abstract

A Polish-born mathematician who worked in symbolic logic, set theory and computation theory, Emil Leon Post received his doctorate from Columbia in 1920 for a dissertation proving the consistency of the propositional calculus described in Whitehead and Russell's Principia mathematica. He joined the faculty at City College of the City University of New York in 1932, where he remained until his death in 1954. Although illness continually interrupted Post's career, he made important contributions to the concepts of completeness and consistency and to recursive functions, foundational to modern computing theory. In 1936, he introduced the concept of a "Post machine," a sort of precursor to the von Neumann's notion of a program. The Post Papers consist of 8 linear feet of professional correspondence, research notes, and papers, to which have been added a small number of items of biographical interest.

Background note

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, before age thirteen he lost his left arm in an accident. Post wrote to several observatories asking whether his handicap would exclude him from the profession of astronomy. While the response from Harvard College Observatory was encouraging ("there is no reason why you may not become eminent in astronomy"), the superintendent of the U.S. Naval Observatory wrote that "in my opinion the loss of your left arm would be a very serious handicap to your becoming a professional astronomer. In observational work with instruments the use of both hands is necessary in all the work of this observatory." Discouraged, Post turned his intellect away from the heavens and toward mathematics.

After graduating from Townsend Harris High School, Post entered City College of New York. By the time he received a B.S. in mathematics in 1917, Post had already done much of the work for a paper on generalized differentiation that was eventually published in 1930. From 1917-1920 Post was a graduate student at Columbia University. His doctoral dissertation involved the mathematical study of systems of logic, specifically the application of the truth table method to the propositional calculus of Whitehead and Russell's Principia Mathematica. Post was able to show that the axioms of propositional calculus were both complete and consistent with respect to the truth table method. This dissertation was to help form the foundation of modern proof theory.

Post spent the 1920-1921 academic year at Princeton on a post-doctoral fellowship. It was during this period that he continued to analyze the Principia Mathematica and began to grapple with a revolutionary idea that would become famous in the 1930s: the fundamental incompleteness of any formal logic. Unfortunately for Post, his early formulations were fragmentary and as he struggled to work them out, Kurt Gödel, who had no knowledge of Post's work, announced his landmark "incompleteness theorem" in 1931. When Alonzo Church published "An Unsolvable Problem of Elementary Number Theory" in 1936, Post's work, which remained unpublished, lost its claim to originality. In a 1938 letter to Gödel, a disappointed but gracious Post remarked that "any resentment I may have is at the Fates if not myself.... I have the greatest admiration for your work, and after all it is not ideas but the execution of ideas that constitute a mark of greatness."

In 1921 Post suffered his first attack of manic-depressive illness, a condition which was to reoccur throughout his life, often at the peak of creative periods. He recovered from this first occurrence well enough to begin teaching at Cornell, but after another collapse he found himself unemployed and unwanted in academia. For years he survived by teaching high school in New York. In 1932, Post began teaching at City College of New York, where he stayed for the rest of his career. Despite a treatment regimen that limited research time and a teaching load of sixteen hours per week, he continued to produce important papers.

In 1936 Post contributed a paper to the first issue of the Journal of Symbolic Logic entitled "Finite Combinatory Processes--Formulation I." This paper had much in common with Alan Turing's work on a universal computing machine. While Turing's work described the mechanics of such a machine, Post focused on the instructions, or "software," that would make the machine work. Post was able to prove that all computational processes could be reduced to a set of instructions that manipulated two symbols, "0" and "1."

Post's most influential mathematical work arose out of an address given to the American Mathematical Society in 1943. His paper on recursively enumerable sets, published in 1944, spawned a series of investigations on completeness and simplicity in set theory.

As a teacher at City College during the 1930s and 1940s, Post had a reputation as a demanding yet fair instructor. His classes were organized to the minute, and he did not encourage questions from his students. Still, he was a popular teacher who had many students go on to become professional mathematicians.

Post continued to struggle with manic depression throughout his career. In 1954, after a period of fairly good health, he became ill for the last time. He died of a heart attack shortly after being treated with electro-shock therapy in an upstate New York hospital. He was survived by his wife, Gertrude Singer Post (1900-1956) and his daughter, Phyllis Post Goodman.

Scope and content

The Emil Leon Post Papers (1888-1995) contain correspondence, subject files, manuscripts of published and unpublished works by Post, research notes by Post, materials gathered by Post's daughter, Phyllis Post Goodman, and photographs, which document Post's career as a mathematician.

The papers (8 boxes; 4 linear feet) are divided into six series:

Series I. Correspondence, 1912-1955(2 boxes; 0.75 linear feet)
Series II. Subject Files, 1888-1955(1 box; 6 folders)
Series III. Works by Post, 1921-1953(2 boxes; 0.25 linear feet)
Series IV. Research Notes, 1917-1953(6 boxes; 2.75 linear feet)
Series V. Materials Gathered by Phyllis Post Goodman, 1955-1995(1 box; 0.25 linear feet)
Series VI. Photographs, 1924, 1948(1 box, 3 folders)

Arrangement

Each series is arranged alphabetically by folder title and then chronologically within each folder.

Collection information

Provenance

The Post notebooks were donated by Martin Davis in 1986 (Accession 1986-332ms). The remaining Post Papers were donated to the APS by Phyllis Post Goodman in 1992 (Accession 1992-1345ms and 1992-1088ms) and 1994 (Accession 1994-99ms, 1994-367ms, and 1994-238ms). It is expected that further additions may be made to this collection.

Preferred citation

Cite as: Emil Post Papers, American Philosophical Society.

Processing information

Catalogued by Eric Hinsdale, Mellon Summer Intern, and Peniel E. Joseph, Mellon Summer Intern, Supervised by Miriam B. Spectre, Senior Processing Archivist, April 1995.

Separated material

All photographs have been removed from Series I-V and placed in Series VI, with cross-references added in the original series. Reprints have been moved to the Printed Materials Department of the APS library. If a reprint was found as an enclosure, a photocopy of the title page was filed in its place.

Bibliography

Emil Post, Solvability, Provability, Definability : the Collected Works of Emil L. Post Boston : Birkhäuser, 1994 Call no.: 510 P84s.

Indexing Terms

Corporate Name(s)

  • American Mathematical Society.
  • City University of New York. City College

Genre(s)

  • Drawings.
  • Journals (notebooks)

Personal Name(s)

  • Church, Alonzo, 1903-
  • Davis, Martin, 1928-
  • Godel, Kurt
  • Post, Emil Leon, 1897-1954
  • Quine, W. V., (Willard Van Orman)

Subject(s)

  • Algorithms
  • Eugenics--United States
  • Logic, Symbolic and mathematical
  • Set theory
Collection overview
1912-1955 2 boxes; 0.75 linear feet Request Series

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:

  • Church, Alonzo
  • Davis, Martin
  • Gödel, Kurt
  • Quine, Willard

1888-1955 1 box; 6 folders Request Series

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.

1921-1953 2 boxes; 0.25 linear feet Request Series

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.

1917-1953 6 boxes; 2.75 linear feet Request Series

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.

1955-1995 1 box; 0.25 linear feet Request Series

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.

1924, 1948 1 box, 3 folders Request Series

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.



Detailed Inventory
Series I. Correspondence
1912-1955 2 boxes; 0.75 linear feet Request Series

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:

  • Church, Alonzo
  • Davis, Martin
  • Gödel, Kurt
  • Quine, Willard

Abrahams, Albert P.
1949 Box 1
Request File
Air Warden Service
1942 Box 1
Request File
American Journal of Mathematics
1941-1942 Box 1
Request File

Weyl, Hermann

The American Mathematical Monthly
1952 Box 1
Request File
American Mathematical Society
1943, 1954 Box 1
Request File
Annals of Mathematics
1940-1941, 1947 Box 1
Request File
Aumann, John
1950 Box 1
Request File
Bachiller, T.R.
1947-1948 Box 1
Request File

In French

Barany, Ronald
1949 Box 1
Request File
Beatty, S.
1950 Box 1
Request File
Berkowitz, J.
n.d. Box 1
Request File
Bernays, Paul
1946 Box 1
Request File
Bishop, Kenneth
1930 Box 1
Request File
Black, Max
1947 Box 1
Request File
Blan, Julian
1949 Box 1
Request File
Boone, William
1951 Box 1
Request File
Bricker, Jacob Leon
1952 Box 1
Request File
Brooklyn College
1946 Box 1
Request File
Brown, Cecil
1945 Box 1
Request File
Burroughs Adding Machine Company. Research Division
1952-1953 Box 1
Request File
Bushey, Hobart
1934 Box 1
Request File
Carmichael, R.D.
1952 Box 1
Request File
Chern, Bernard
1952 Box 1
Request File
Church, Alonzo
1927-1954 Box 1
Request File

See Also Ser.I, The Journal of Symbolic Logic

City College, New York
1941-1953 Box 1
Request File
City Club of New York
1942 Box 1
Request File
Columbia University
1952 Box 1
Request File
Craig, Homer
1955 Box 1
Request File
Craig, William
1954 Box 1
Request File
Davis, H.J.
1931 Box 1
Request File
Davis, Martin
1948-1952 Box 1
Request File
Dean, Richard
1948 Box 1
Request File
Dekker, J.C.E.
1949, 1952 Box 1
Request File
DeMendonca, Simao Carneiro
1951 Box 1
Request File
Douglas, Jesse
1940-1948 Box 1
Request File
Durrels, Julius
1951 Box 1
Request File
Ehunprcis, Leon
1950 Box 1
Request File
Eisenhower, Dwight D. (Office Of)
1952 Box 1
Request File
Elgop, Calvin
1952 Box 1
Request File
Engel, Joseph H.
n.d. Box 1
Request File
Engelman, Carl
1950 Box 1
Request File
Faulk, David H.
1944 Box 1
Request File
Feeney, Walter J.
1952 Box 1
Request File
Finkel, William L.
1949 Box 1
Request File
Fischer, Irwin
1948 Box 1
Request File
Fitch, Frederic
1948-1953 Box 1
Request File
Forndon, Wilfred A.
1950 Box 1
Request File
Frankel, Abraham
1949, 1951 Box 1
Request File
Freilich, Gerald
1946, n.d. Box 1
Request File
Gill, Bennington
1937, 1943 Box 1
Request File
Ginsburg, Jekuthial
1937, 1940, 1948 Box 1
Request File
Gödel, Kurt
1938-1939 Box 1
Request File
Gonseth, F.
1939, 1950 Box 1
Request File

Some in French

Gottschall, Morton
1944 Box 1
Request File
Grafton, Samuel
1945-1948 Box 1
Request File
Gugino, E.
1952 Box 1
Request File
Gutterman,
n.d. Box 1
Request File
Harvard College Observatory
1912 Box 1
Request File
Henricksen, Melvin
1948 Box 1
Request File
Himwich, A.A.
1929 Box 1
Request File
Hinshaw, Virgil
1947 Box 1
Request File
Hochfeld, Emmanuel
1951 Box 1
Request File
Iseki, Kiyosi
1940, 1944, 1946 Box 1
Request File
Javits, Jacob
1950 Box 1
Request File
Johnson, Edgar
1949 Box 1
Request File
The Journal of Symbolic Logic
1938, 1942, 1948 Box 1
Request File
Kasner, Edward
1940, n.d. Box 1
Request File
Kates, Robert
1951, n.d. Box 1
Request File
Kelley, Thomas W.
1951 Box 1
Request File
Keyser, C.J.
1930, 1940, 1941 Box 1
Request File
Kingdon, Frank
1946-1950, n.d. Box 1
Request File
Kleene, S.C.
1936-1954 Box 1
Request File
Kline, J.R.
1946 Box 1
Request File
Korngold, Eric
1949 Box 1
Request File
Lerner, Max
1947, 1950 Box 1
Request File
Lewis, C.I.
1940, 1944 Box 1
Request File
Linial, Samuel
1949 Box 1
Request File
Littauer, Sebastian
1928-1931, n.d. Box 1
Request File
Lorch, Lee
1949-1951, n.d. Box 1
Request File
Lubell, Albert
1937 Box 1
Request File
MacLane, Saunders
1941-1943 Box 1
Request File

See Also Ser.I, Bulletin of the American Mathematical Society

McLaughlin, Doris
1950 Box 1
Request File
Martin, Norman M.
1948 Box 1
Request File
Mathematical Reviews
1943 Box 1
Request File
Menger, Karl
1931, 1938 Box 1
Request File
Mischel, Theodore
1947 Box 1
Request File
Mostowski, Andrzej
1948 Box 1
Request File
Myrick, Jack A.
1952 Box 1
Request File
Myhill, John
n.d. Box 1
Request File
Neuwirth, Jerome H.
1952 Box 1
Request File
New York Post
1946 Box 1
Request File
New York University
1951 Box 1
Request File
Newman, Donald J.
1948-1952 Box 1
Request File
Orleans, Joseph B.
1937-1940 Box 1
Request File
Paley, Thomas
1950 Box 1
Request File
Pincherle, S.
1930 Box 1
Request File

In French

Pollack, Richard
1952 Box 1
Request File
Quine, Willard V.
1937, 1947 Box 1
Request File
Reynolds, Frederick G.
1937-1944 Box 2
Request File
Rich, Barnett
1950 Box 2
Request File
Richardson, Moses
1940-1941 Box 2
Request File
Ritt, J.F.
1931-1948 Box 2
Request File
Robbins, Leon C.
1951 Box 2
Request File
Rosenblatt, Murray
1946, 1950, n.d. Box 2
Request File
Rosser, J. Barkley
1953, n.d. Box 2
Request File
Rubel, Lee A.
1950 Box 2
Request File
Ruderman, Harry D.
1948 Box 2
Request File
Saurel, Paul
1932 Box 2
Request File
Scholz, Heinrich
1941-1948 Box 2
Request File
Schwartz, Jacob
1949 Box 2
Request File
Shapiro, Harold N.
1943-1949 Box 2
Request File
Sheridan, Peter
1950 Box 2
Request File
Shugar, Alvin C.
n.d. Box 2
Request File
Silverman, Abe
1951 Box 2
Request File
Simpson, Kenneth C.
1943 Box 2
Request File
Skolem, Th.
1946 Box 2
Request File
Solomon, Charles
1930, 1932, n.d. Box 2
Request File
Sonkin, Si
n.d. Box 2
Request File
Stephens, Eugene
1924, 1930 Box 2
Request File
Stevenson, Adlai
1952 Box 2
Request File
Syracuse University
1946 Box 2
Request File
Tarski, Alfred
1940-1948 Box 2
Request File
Thompson, Dorothy
1945-1946 Box 2
Request File
Turquette, A.R.
1942 Box 2
Request File
Unidentified
1947, 1951, n.d. Box 2
Request File

Some in French

The United Nations
1945 Box 2
Request File
United States Naval Observatory
1912 Box 2
Request File
United States. Secretary of State
1951 Box 2
Request File
United States. War Department
1948 Box 2
Request File
United States. White House
1951, 1953 Box 2
Request File
Vandiver, H.S.
1953 Box 2
Request File
Webb, Donald L.
1935-1938 Box 2
Request File
Weinstein, Philip K.
1939 Box 2
Request File
Weisner, Louis
1932 Box 2
Request File
Weissblum, Walter
1951 Box 2
Request File
Wernick, William
1942 Box 2
Request File
Weyl, Hermann
1944 Box 2
Request File

See Also Ser.I, American Journal of Mathematics

Widder, Dave V.
1948 Box 2
Request File
Wiener, Norbert
1923 Box 2
Request File
Wirth, Herbert P.
1937-1943 Box 2
Request File
Winter, Jacob
1939 Box 2
Request File
Wisan, Harold
1939 Box 2
Request File
Wohl, Sonia
1946 Box 2
Request File
Wouk, Arthur
n.d. Box 2
Request File
Series II. Subject Files
1888-1955 1 box; 6 folders Request Series

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
Request File
Bibliography
1953 Box 2
Request File
Condolence Letters to Mrs. Post
1954-1955 Box 2
Request File
Family History
1888-1954, n.d. Box 2
Request File
Mailing List
n.d. Box 2
Request File
Teaching Miscellanea
1942-1953, n.d. Box 2
Request File
Series III. Works by Post
1921-1953 2 boxes; 0.25 linear feet Request Series

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
Request File
Calculus of Variation
n.d. Box 2
Request File
[Combinations]
1935 Box 2
Request File
"Degrees of Recursive Unsolvability"
1948-1952 Box 2
Request File
"Finite Combinatory Processes--Formulation I"
n.d. Box 2
Request File
"Formal Reductors of the General Combinatorial Decision Problem--Page Proofs"
1942 Box 2
Request File
"Formal Reductions of the General Combinatorial Decision Problem--Typescript"
n.d. Box 2
Request File
"A Fundamental Problem in Postulate Theory"
  Box 2
Request File

-See Ser.III, [Postulate Theory]

"The Generalized Derivative"
n.d. Box 2
Request File
"Generalized Differentiation"
1929 Box 2
Request File
[Laplace Transform and Generalized Differention]
1923, 1932 Box 2
Request File
[Logic and Set Theory]
  Box 2
Request File
Folder #1
1940-1949, n.d. Box 2
Request File

On index cards

Folder #2
1935, 1952 Box 2
Request File
"The Modern Paradoxes"
  Box 2
Request File

-See Ser.III, [Logic and Set Theory]

"New Ideas for Researches"
  Box 2
Request File

-See Ser.III, [Logic and Set Theory]

"Note on Functions Identically Equal to Their Variations"
  Box 2
Request File

-See Ser.III, [Calculus of Variation]

"Note on the Five Regular Polyhedra"
  Box 2
Request File

-See Ser.III, [Five Regular Polyhedra]

"On Arthur Schath's "Proof" of a Form of the Cont. Hyp."
  Box 2
Request File

-See Ser.III, [Logic and Set Theory]

"Polyadic Groups"--Proof (Corrected)
1940 Box 3
Request File
"Polyadic Groups"--Typescript
1935 Box 3
Request File
[Postulate Theory]
1921, 1935 Box 3
Request File
"Recursively Renumerable Sets of Positive Integers and Their Decision Problems"--Page Proofs
n.d. Box 3
Request File
Recursively Renumerable Sets of Positive Integers and Their Decision Problems"--Typescript
n.d. Box 3
Request File
"A Trifle"--Poem
1922 Box 3
Request File
"A Variant of a Recursively Unsolvable Problem"--Page Proofs
n.d. Box 3
Request File
"A Variant of a Recursively Unsolvable Problem"--Typescript
n.d. Box 3
Request File
Series IV. Research Notes
1917-1953 6 boxes; 2.75 linear feet Request Series

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
Request File

-See also Ser.IV, "Theory of Finite Processes" Vol. II-XVII

"Closed Truth Systems" Vol. I
1929-1930 Box 3
Request File
"Closed Truth Systems" Vol. II
1930 Box 3
Request File
"Closed Truth Systems" Vol. III
1930-1931 Box 3
Request File
"Closed Truth Systems" Vol. IV
1931-1932 Box 4
Request File
"Closed Truth Systems" Vol. V
1931 Box 4
Request File
"Complete Equivalence of Normal Set and Recursive Function Development"
1942-1945 Box 4
Request File
[Corrections of Unknown Manuscript]
n.d. Box 4
Request File
"Creative Logic" Vol. I
1938 Box 4
Request File
"Creative Logic" Vol. II
1938 Box 4
Request File
"Creative Logic" Vol. III
1939 Box 4
Request File
"Creative Logic" Vol. IV
1939 Box 4
Request File
"Creative Logic" Vol. V
1940-1941 Box 4
Request File
"Creative Logic" Vol. VI
1941-1942 Box 5
Request File
"Creative Logic" Vol. VII
1942-1945 Box 5
Request File
"Creative Logic" Vol. VIII
1945 Box 5
Request File
"Creative Logic" Vol. IX
1945 Box 5
Request File
"Creative Logic" Vol. X
1945 Box 5
Request File
"Creative Logic" Vol. XI
1945-1946 Box 5
Request File
"Creative Logic" Vol. XII
1946 Box 5
Request File
"Creative Logic" Vol. XIII
1946 Box 5
Request File
"Creative Logic" Vol. XIV
1947 Box 5
Request File
"Creative Logic" Vol. XV
1947 Box 6
Request File
"Creative Logic" Vol. XVI
1947-1948 Box 6
Request File
"Creative Logic" Vol. XVII
1948-1949 Box 6
Request File
"Creative Logic" Vol. XVIII
1949-1952 Box 6
Request File
"Definability" Vol. I
1952 Box 6
Request File
"Definability" Vol. II
1952-1953 Box 6
Request File
"The Logic of Mathematics"
  Box 6
Request File

-See Ser.IV, "Creative Logic"

[Math 6 Notes]
1917 Box 6
Request File
"Theory of Finite Processes" Vol. I
  Box 6
Request File

-See Ser.IV, "Calculus of Finite Processes" Vol. I

"Theory of Finite Processes" Vol. II
1942 Box 6
Request File
"Theory of Finite Processes" Vol. III
1942-1943 Box 6
Request File
"Theory of Finite Processes" Vol. V
1944 Box 7
Request File

(Vol. IV is missing from this collection)

"Theory of Finite Processes" Vol. VI
1944-1945 Box 7
Request File
"Theory of Finite Processes" Vol. VII
1945-1946 Box 7
Request File
"Theory of Finite Processes" Vol. VIII
1946 Box 7
Request File
"Theory of Finite Processes" Vol. IX
1946-1947 Box 7
Request File
"Theory of Finite Processes" Vol. X
1947-1948 Box 7
Request File
"Theory of Finite Processes" Vol. XI
1948 Box 7
Request File
"Theory of Finite Processes" Vol. XII
1948-1949 Box 7
Request File
"Theory of Finite Processes" Vol. XIII
1949 Box 7
Request File
"Theory of Finite Processes" Vol. XIV
1949-1950 Box 8
Request File
"Theory of Finite Processes" Vol. XV
1950 Box 8
Request File
"Theory of Finite Processes" Vol. XVI
1951 Box 8
Request File
"Theory of Finite Processes" Vol. XVII
1951 Box 8
Request File
Series V. Materials Gathered by Phyllis Post Goodman
1955-1995 1 box; 0.25 linear feet Request Series

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
Request File
Birkhäuser
1990-1993 Box 8
Request File
Bungay, Richard
1960-1961 Box 8
Request File
City College Alumnus
1980-1981 Box 8
Request File
City College of New York
1957-1991 Box 8
Request File
Clippings
1954-1993, n.d. Box 8
Request File
Datamation
n.d. Box 8
Request File
Davids, Norman
1990 Box 8
Request File
Davis, Martin
1956-1994 Box 8
Request File
Dawson, John
1988, 1993, 1995 Box 8
Request File
Douglas, Jesse
1955 Box 8
Request File
Epstein, George
1994 Box 8
Request File
Erdos, Paul
1994 Box 8
Request File
Gleiser, Molly
1979-1987 Box 8
Request File
Grattan-Guinness, I.
1991 Box 8
Request File
Hodges, Andrew
1984 Box 8
Request File
Kennedy, Hubert
1972 Box 8
Request File
Kukin, Ira
1980 Box 8
Request File
Lorch, Lee
1990-1993 Box 8
Request File
Ozarow, Vivian
1990 Box 8
Request File
Princeton University Press
1969 Box 8
Request File
Rogner and Bernhard Publishing
1972 Box 8
Request File

Some in German

Rota, Gian-Carlo
1969 Box 8
Request File
Springer-Verlag Publishers
1979 Box 8
Request File
Sister Teresemarie
1976 Box 8
Request File
Series VI. Photographs
1924, 1948 1 box, 3 folders Request Series

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
Request File
Post, Emil L.
Jun. 1924 Box 8
Request File
Emil Post, formal portrait, June 1924.
1924 June 1.0 Photograph(s) Request Item

Abstract: Bust length formal portrait of Post.

Access digital object:
http://diglib.amphilsoc.org/fedora/repository/graphics:3086

Photographs of Sketches by Emil L. Post
n.d. Box 8
Request File