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