I gave a rough-and-ready talk yesterday, introducing the MRDP theorem to some logic-minded philosophers (mostly postgrads). The aim was to explain what the theorem says and why it is interesting, rather than to talk about the proof in detail. Here’s a slightly tidied version of my rough-and-ready handout.
I don’t pretend to know a great deal about this stuff, so I’d like to hear about needed corrections: and suggestions for additions will be most welcome too.
(Added 4 March) Comments from David Auerbach and Warren Goldfarb have prompted some small improvements!