skip to content
Papers, 1888-1994. Preview this item
ClosePreview this item
Checking...

Papers, 1888-1994.

Author: Emil L Post
Edition/Format:   Archival material : English
Database:WorldCat
Summary:
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.
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Articles
Birth certificates
Clippings
Correspondence
Death certificates
Drawings
Galley proofs
Journals (notebooks)
Manuscripts (for publication)
Named Person: Alonzo Church; Martin Davis; Kurt Godel; W V Quine; Alonzo Church; Martin Davis; Kurt Gödel; W V Quine
Document Type: Archival Material
All Authors / Contributors: Emil L Post
OCLC Number: 86138611
Description: 4 linear ft.

Abstract:

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.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/86138611> # Papers,
    a schema:CreativeWork, library:ArchiveMaterial ;
   library:oclcnum "86138611" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/pau> ;
   rdfs:comment "Unknown 'gen' value: arc" ;
   schema:about <http://experiment.worldcat.org/entity/work/data/69974403#Organization/city_university_of_new_york_city_college> ; # City University of New York. City College.
   schema:about <http://viaf.org/viaf/139806980> ; # American Mathematical Society.
   schema:about <http://experiment.worldcat.org/entity/work/data/69974403#Person/godel_kurt> ; # Kurt Gödel
   schema:about <http://experiment.worldcat.org/entity/work/data/69974403#Organization/american_mathematical_society> ; # American Mathematical Society.
   schema:about <http://experiment.worldcat.org/entity/work/data/69974403#Person/church_alonzo_1903_1995> ; # Alonzo Church
   schema:about <http://id.worldcat.org/fast/805020> ; # Algorithms
   schema:about <http://experiment.worldcat.org/entity/work/data/69974403#Person/quine_w_v_willard_van_orman> ; # Willard Van Orman Quine
   schema:about <http://id.worldcat.org/fast/1113587> ; # Set theory
   schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
   schema:about <http://experiment.worldcat.org/entity/work/data/69974403#Person/davis_martin_1928> ; # Martin Davis
   schema:creator <http://viaf.org/viaf/41933673> ; # Emil L. Post
   schema:description "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." ;
   schema:description "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." ;
   schema:description "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." ;
   schema:description "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." ;
   schema:description "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." ;
   schema:description "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." ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/69974403> ;
   schema:genre "Galley proofs" ;
   schema:genre "Correspondence" ;
   schema:genre "Manuscripts (for publication)" ;
   schema:genre "Articles" ;
   schema:genre "Birth certificates" ;
   schema:genre "Journals (notebooks)" ;
   schema:genre "Death certificates" ;
   schema:genre "Clippings" ;
   schema:genre "Drawings" ;
   schema:inLanguage "en" ;
   schema:name "Papers," ;
   schema:productID "86138611" ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/86138611> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/69974403#Organization/american_mathematical_society> # American Mathematical Society.
    a schema:Organization ;
   schema:name "American Mathematical Society." ;
    .

<http://experiment.worldcat.org/entity/work/data/69974403#Organization/city_university_of_new_york_city_college> # City University of New York. City College.
    a schema:Organization ;
   schema:name "City University of New York. City College." ;
    .

<http://experiment.worldcat.org/entity/work/data/69974403#Person/church_alonzo_1903_1995> # Alonzo Church
    a schema:Person ;
   schema:birthDate "1903" ;
   schema:deathDate "1995" ;
   schema:familyName "Church" ;
   schema:givenName "Alonzo" ;
   schema:name "Alonzo Church" ;
    .

<http://experiment.worldcat.org/entity/work/data/69974403#Person/davis_martin_1928> # Martin Davis
    a schema:Person ;
   schema:birthDate "1928" ;
   schema:familyName "Davis" ;
   schema:givenName "Martin" ;
   schema:name "Martin Davis" ;
    .

<http://experiment.worldcat.org/entity/work/data/69974403#Person/godel_kurt> # Kurt Gödel
    a schema:Person ;
   schema:familyName "Gödel" ;
   schema:familyName "Godel" ;
   schema:givenName "Kurt" ;
   schema:name "Kurt Gödel" ;
   schema:name "Kurt Godel" ;
    .

<http://experiment.worldcat.org/entity/work/data/69974403#Person/quine_w_v_willard_van_orman> # Willard Van Orman Quine
    a schema:Person ;
   schema:familyName "Quine" ;
   schema:givenName "Willard Van Orman" ;
   schema:givenName "W. V." ;
   schema:name "Willard Van Orman Quine" ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
   schema:name "Logic, Symbolic and mathematical" ;
    .

<http://id.worldcat.org/fast/1113587> # Set theory
    a schema:Intangible ;
   schema:name "Set theory" ;
    .

<http://id.worldcat.org/fast/805020> # Algorithms
    a schema:Intangible ;
   schema:name "Algorithms" ;
    .

<http://viaf.org/viaf/139806980> # American Mathematical Society.
    a schema:Organization ;
   schema:name "American Mathematical Society." ;
    .

<http://viaf.org/viaf/41933673> # Emil L. Post
    a schema:Person ;
   schema:birthDate "1897" ;
   schema:deathDate "1954" ;
   schema:familyName "Post" ;
   schema:givenName "Emil L." ;
   schema:name "Emil L. Post" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.