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