پرش به محتوا

گرهارت گنتسن

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

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

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

منابع

[ویرایش]