گرهارد گنتسن

ریاضی‌دان آلمانی

گرهارد گنتسن ( یا گنتزن؛ انگلیسی: Gerhard Gentzen؛ ۲۴ نوامبر ۱۹۰۹ – ۴ اوت ۱۹۴۵) یک منطقدان و ریاضیدن اهل آلمان بود. وی در کنار هیلبرت و برنایز از جمله‌ی مهمترین بنیانگذاران نظریه‌ی برهان به حساب می‌آید.

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

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

منابع

  • مشارکت‌کنندگان ویکی‌پدیا. «Gerhard Gentzen». در دانشنامهٔ ویکی‌پدیای انگلیسی، بازبینی‌شده در ۱ ژوئیه ۲۰۱۴.
  • «Gerhard Gentzen». دریافت‌شده در ۱ ژوئیه ۲۰۱۴.[پیوند مرده]