http://n2t.net/ark:/99166/w6pt0jfrrevised
SNAC: Social Networks and Archival Context
revised2015-03-10machineCPF merge programMerge v2.0revised2016-08-10T01:11:03machineSNAC EAC-CPF ParserBulk ingest into SNAC Databaserevised2016-08-10T01:11:03humanSystem Service (system@localhost)created2021-07-29machineSNAC EAC-CPF SerializerSNAC Identity Constellation serialized to EAC-CPFpersonGodel, KurtPost, Emil Leon, 1897-1954GĂ¶del, KurtEmil Leon Post Papers, 1927-1991Post, Emil Leon, 1897-1954Emil Leon Post Papers 1927-19914.0 Linear feetA 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.American Philosophical Society