گرهارد گنتسن
گرهارد گنتسن ( یا گنتزن؛ انگلیسی: Gerhard Gentzen؛ ۲۴ نوامبر ۱۹۰۹ – ۴ اوت ۱۹۴۵ ) یک منطقدان و ریاضیدن اهل آلمان بود. وی در کنار هیلبرت و برنایز از جمله‌ی مهمترین بنیانگذاران نظریه‌ی برهان به حساب می‌آید.
| گرهارد گنتسن | |
|---|---|
 | |
| زادهٔ | ۲۴ نوامبر ۱۹۰۹ |
| درگذشت | ۴ اوت ۱۹۴۵ (۳۵ سال) |
| ملیت | آلمان |
| محل تحصیل | دانشگاه گوتینگن |
| پیشینه علمی | |
| رشته(های) فعالیت | ریاضیات |
| استاد راهنما | پل برنایز |
وی در چارچوب پروژه‌ی هیلبرت سازگاری منطقی نظریه‌ی اعداد را نشان داد.
منابع
- مشارکت‌کنندگان ویکی‌پدیا. «Gerhard Gentzen». در دانشنامهٔ ویکی‌پدیای انگلیسی، بازبینی‌شده در ۱ ژوئیه ۲۰۱۴.
- «Gerhard Gentzen». دریافت‌شده در ۱ ژوئیه ۲۰۱۴.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.