Martin Davis (Berkeley/New York)
Contributions of E. L. Post to the Study of the Incomputable

The talk will survey Post's work on unsolvable problems and degrees of unsolvability beginning in the1920s. Connections with computer science will be emphasized.