گرهارت گنتسن

ریاضی‌دان آلمانی

گرهارت گنتسن (آلمانی: Gerhard Gentzen؛ ‏ تلفظ آلمانی: [ˈɡeːɐ̯haʁt]؛ ‏ ۲۴ نوامبر ۱۹۰۹ – ۴ اوت ۱۹۴۵) یک منطق‌دان و ریاضی‌دان اهل آلمان بود. وی در کنار هیلبرت و برنایز از جمله‌ی مهمترین بنیانگذاران نظریه‌ی برهان به حساب می‌آید.

گرهارت گنتسن
زادهٔ۲۴ نوامبر ۱۹۰۹
درگذشت۴ اوت ۱۹۴۵ (۳۵ سال)
ملیتآلمان
محل تحصیلدانشگاه گوتینگن
پیشینه علمی
شاخه(ها)ریاضیات
استاد راهنماپل برنایز

وی در چارچوب پروژه‌ی هیلبرت سازگاری منطقی نظریه‌ی اعداد را نشان داد.

منابع ویرایش