گرهارت گنتسن ( آلمانی: Gerhard Gentzen؛ تلفظ آلمانی: ؛ ۲۴ نوامبر ۱۹۰۹ – ۴ اوت ۱۹۴۵ ) یک منطق دان و ریاضی دان اهل آلمان بود. وی در کنار هیلبرت و برنایز از جمله ی مهمترین بنیانگذاران نظریه ی برهان به حساب می آید.
وی در چارچوب پروژه ی هیلبرت سازگاری منطقی نظریه ی اعداد را نشان داد.
این نوشته برگرفته از سایت ویکی پدیا می باشد، اگر نادرست یا توهین آمیز است، لطفا گزارش دهید: گزارش تخلفوی در چارچوب پروژه ی هیلبرت سازگاری منطقی نظریه ی اعداد را نشان داد.
wiki: گرهارت گنتسن