گرهارت گنتسن

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

گرهارت گنتسن (آلمانی: Gerhard Gentzen؛ ‏ تلفظ آلمانی: [ˈɡeːɐ̯haʁt]؛ ‏ ۲۴ نوامبر ۱۹۰۹ – ۴ اوت ۱۹۴۵) یک منطق‌دان و ریاضی‌دان اهل آلمان بود. وی در کنار هیلبرت و برنایز از جمله‌ی مهمترین بنیانگذاران نظریه‌ی برهان به حساب می‌آید.

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

منابع


    This article is issued from ویکی‌پدیا. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.