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