Emil Leon Post Papers 1927-1991


Emil Leon Post Papers, 1927-1991

Emil Leon Post Papers 1927-1991

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.

4.0 Linear feet

Related Entities

There are 7 Entities related to this resource.

Quine, W. V. (Willard Van Orman)

http://n2t.net/ark:/99166/w6j79rg0 (person)

City University of New York. City College

http://n2t.net/ark:/99166/w6x96dcg (corporateBody)

Godel, Kurt

http://n2t.net/ark:/99166/w6pt0jfr (person)

American mathematical society

http://n2t.net/ark:/99166/w6381rdc (corporateBody)

Davis, Martin, 1928-....

http://n2t.net/ark:/99166/w67h29sz (person)

Church, Alonzo, 1903-

http://n2t.net/ark:/99166/w67n2zbc (person)

Post, Emil Leon, 1897-1954

http://n2t.net/ark:/99166/w6km04zh (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, ...