كورت غودل (١٩٠٦ - ١٩٧٨): عالم رياضيات أمريكي نمساوي المولد، وصاحب برهان غودل الذي يقرر وجود مسائل في أي نظام رياضي منطقي صارم لا يمكن إثباتها أو نقضها اعتمادًا على بديهيات ذلك النظام. كان لهذا البرهان أثر عظيم في تقدم المنطق الرياضي وفي فهم حدود النظم الحسابية.