The Dennes Room

Event Detail

Fri Sep 7, 2007
60 Evans Hall, 4–6 PM
Logic Colloquium
Martin Davis (Courant Institute, New York University)
E. L. Post in 20th Century Logic

Among Post’s achievements were: the first published proof of the completeness of propositional calculus, the first unsolvability proof for a mathematical problem outside of logic, being among the principal founders of modern recursion theory, and providing the formalism for the formal theory of languages. Ths talk will provide a survey of this work in the context of his time.