اشرح بوضوح مبرهنات عدم الاكتمال لغودل، وتحديداً كيف أثبتت أنه في أي نظام بديهي قوي بما يكفي ليتضمن الحساب الأساسي، توجد مقولات صحيحة لا يمكن إثباتها داخل النظام نفسه. ناقش الآثار الفلسفية العميقة لهذه المبرهنات على أمل الرياضيات في اكتمالها، وعلاقتها بآلة تورينغ ومشكلة التوقف في علوم الحاسوب النظرية.