משתמש:Yoni206/גרהרד גנצן

*גרהרד גנצן* -

גרהרד גנצן (24 בנובמבר 1909 - 4 באוגוסט 1945) היה מתמטיקאי גרמני ולוגיקן. לזכותו תרומות מרכזיות ביסודות המתמטיקה ובתורת ההוכחה, בעיקר בדדוקציה טבעית ותחשיב הסקוונטים. הוא נפטר בשנת 1945 לאחר מלחמת העולם הראשונה, לאחר שהורעב אחרי מעצרו בפראג.

קורות חייו וקריירה אקדמית

גנצן למד אצל פול ברנייס והרמן ווייל באוניברסיטת גטינגן.

ראו גם

• שם ערך

לקריאה נוספת

• שם סופר, שם ספר, שם הוצאה, תאריך הוצאה

קישורים חיצוניים

• התוכן בקישור, באתר (שם האתר)