کتاب قضیه گودل اثر جمعی از نویسندگان انتشارات نیلوفر

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