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

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

جون فن عالم منطق ورياضيات وفيلسوف إنجليزي معروف بمخطط فن الذي ظهرت أهميته في رسم العلاقات بين المجموعات، ويُستخدم مخطط فن في نظرية المجموعات والاحتمالات والمنطق والإحصاء وعلوم الحاسوب لتمثيل التقاطع والاتحاد والاختلاف بين المجموعات.

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

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