A presentation in slide format, with expanded commentary side-by-side, refuting some of Roger Penrose's ideas about mathematics, computers, and artificial intelligence. Furse argues for a definition of these terms which allows for machines to be able to "understand" mathematics.