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.