گرهارد گنتسن
ریاضیدان آلمانی
گرهارد گنتسن ( یا گنتزن؛ انگلیسی: Gerhard Gentzen؛ ۲۴ نوامبر ۱۹۰۹ – ۴ اوت ۱۹۴۵) یک منطقدان و ریاضیدن اهل آلمان بود. وی در کنار هیلبرت و برنایز از جملهی مهمترین بنیانگذاران نظریهی برهان به حساب میآید.
گرهارد گنتسن | |
---|---|
زادهٔ | ۲۴ نوامبر ۱۹۰۹ |
درگذشت | ۴ اوت ۱۹۴۵ (۳۵ سال) |
ملیت | آلمان |
محل تحصیل | دانشگاه گوتینگن |
پیشینه علمی | |
شاخه(ها) | ریاضیات |
استاد راهنما | پل برنایز |
وی در چارچوب پروژهی هیلبرت سازگاری منطقی نظریهی اعداد را نشان داد.
منابع
- «Gerhard Gentzen». دریافتشده در ۱ ژوئیه ۲۰۱۴.