Slide presentations
Computers and paradoxes
One-tape Turing machines, talk to Dublin U. Maths Society, April 2004 (postscript)
Do sets exist? Talk given to the John Cleary Memorial conference, May 2010 (pdf)
Deciding the undecidable, DU Maths Soc, 24/2/21