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