Very Short Introductions : Brilliant, Sharp, Inspiring Kurt Gödel first published his celebrated theorem, showing that no axiomatization can determine the whole truth and nothing but the truth concerning arithmetic, nearly a century ago. The theorem chall