حساب کاربری
​
زمان تقریبی مطالعه: کمتر از 1 دقیقه
لینک کوتاه

گرهارد گنتسن

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

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

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

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

منابع

  • «Gerhard Gentzen». دریافت‌شده در ۱ ژوئیه ۲۰۱۴.
آخرین نظرات
  • آلمان
کلیه حقوق این تارنما متعلق به فرا دانشنامه ویکی بین است.