I attended the MAMLS
conference at Hofstra University, in Hempstead, Long Island, on
March 6, 2004. MAMLS is the Mid-Atlantic
Mathematical Logic Seminar, funded by the National Science Foundation. I gave a
1-hour invited talk. The title of my talk was ** Two topics in the
theory of computability and unsolvability**.

My abstract is available in plain text.

My transparencies are available in several formats: PDF, PS.

A list of my recent and upcoming talks is available.

My publication list is available.

t20@psu.edu / 10 March 2004