Gödel's Theorem

A.W. Moore is Professor of Philosophy at the University of Oxford and Tutorial Fellow in Philosophy at St Hugh's College, Oxford. He has held teaching and research positions at University College, Oxford, and King's College, Cambridge. He is joint editor, with Lucy O'Brien, of the journal Mind. In 2016 he wrote and presented the series A History of the Infinite on BBC Radio 4.

• 1: What is Gödels theorem?2: The appeal and demands of axiomatization3: Historical background4: The key concepts involved in Gödel's theorem5: The diagonal proof of Gödel's theorem6: A second proof of Gödel's theorem, and a proof of Gödel's second theorem7: Hilbert's programme, the human mind, and computers8: Making sense in and of mathematics

This is a concisely written book, and the ideas are subtle, so I suspect that many laymen will find some of this material a bit demanding. On the whole, though, it seems reasonably accessible....A bibliography (short, but annotated) is also a useful feature of this book. All in all, this seems like another good entry in the interesting Very Short Introduction series.