Fri Sep 7, 2007
60 Evans Hall, 4–6 PM
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.