گرهارت گنتسن

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

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

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

منابع[ویرایش]