تخیل عقل یا دقیق تر شور منطقی عنصر اصلی کار ریاضیدانان است. کار آنان همان چیزی است که در یک شعر یا انقلاب راستین رخ می دهد. کورت گودل بی تردید یکی از آنهاست که نبوغ و البته شخصیت کافکایی اش با اثبات دو قضیه پرآوازه اش سرنوشت ریاضیات و منطق را در قرن بیستم تغییر داد. در سال های اولیه انتشار مقاله تاریخی او تنها معدودی از نابغه های هم نسلش از جمله فون نویمن و تورینگ ارزش و اهمیت آن را درک کردند اما امروزه دیگر قضایای او فاکت هایی کاملا پذیرفته شده است. پیامدهای فلسفی اثر او در طیف وسیعی از رشته ها از فلسفه ذهن گرفته تا هوش مصنوعی همچنان محل بحث و مناقشه است. تقریبا یکی دو دهه پس از انتشار مقاله