Introduction

David Deutsch: If certain things are undecidable in mathematics, that makes them inherently uninteresting. The idea of decidability or completeness and so forth is a part of mathematical logic. It's interesting insofar as now we know that there can't be a single set of axioms from which you can prove all of mathematics for all time.