bVery Short Introductions: Brilliant, Sharp, Inspiring /b 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 challenged prevalent...