غيرهارت غنتزن

رياضياتي ألماني

غيرهارت كارل إريش غنتزن (24 نوفمبر 1909 - 4 أغسطس 1945) عالم رياضيات ومنطق ألماني. ساهم إسهامًا كبيرًا في أسس الرياضيات، ونظرية البرهان، وخصوصًا في الاستنتاج الطبيعي وحساب المتسلسل. توفي من الجوع في أحد معسكرات الاعتقال السوفيتية في براغ في عام 1945، بعد أن تم احتجازه كمواطن ألماني بعد الحرب العالمية الثانية.

غيرهارت غنتزن
Gerhard Gentzen
Gerhard Gentzen.jpg

معلومات شخصية
الميلاد 24 نوفمبر 1909
غرايفسفالد
 ألمانيا
الوفاة 4 أغسطس 1945
براغ
 تشيكوسلوفاكيا
سبب الوفاة الموت جوعا
مكان الاعتقال براغ (5 مايو 1945–4 أغسطس 1945)[1]  تعديل قيمة خاصية (P2632) في ويكي بيانات
الجنسية ألماني
عضو في كتيبة العاصفة[1]  تعديل قيمة خاصية (P463) في ويكي بيانات
الحياة العملية
المدرسة الأم جامعة غوتينغن
مشرف الدكتوراه Paul Bernays
المهنة رياضياتي،  وفيلسوف،  وتربوي،  وأستاذ جامعي،  ومنطقي  [لغات أخرى]‏  تعديل قيمة خاصية (P106) في ويكي بيانات
الحزب الحزب النازي[1]  تعديل قيمة خاصية (P102) في ويكي بيانات
اللغات الألمانية[2][3]  تعديل قيمة خاصية (P1412) في ويكي بيانات
مجال العمل الرياضيات
موظف في جامعة كارلوفا[1]،  وجامعة غوتينغن[1]،  وفيرماخت[1]  تعديل قيمة خاصية (P108) في ويكي بيانات

الحياة والمسارعدل

كان غنتزن طالبًا لبول بيرنايز (Paul Bernays) بجامعة غوتيتغن. تم فصل بيرنايس من «غير الآريين» في أبريل 1933، وبالتالي عمل هيرمان فايل رسميا كمشرف له. انضم إلى كتيبة العاصفة في نوفمبر 1933 رغم أنه لم يكن مجبرًا على ذلك.[4] ومع ذلك ظل على اتصال مع بيرنايز حتى بداية الحرب العالمية الثانية. في عام 1935، تحدث مع أبراهام فرينكل في القدس وكان متورطًا من قبل اتحاد المعلمين النازيين باعتباره «يحافظ على الاتصالات مع الأشخاص المختارين». في عامي 1935 و 1936، بذل هيرمان فايل، رئيس قسم الرياضيات في غوتنغن في عام 1933 حتى استقالته تحت الضغط النازي، جهودًا قوية لإحضاره إلى معهد الدراسات المتقدمة في برينستون.

بين نوفمبر 1935 و 1939 كان مساعدا لديفيد هيلبرت في غوتينغن. انضم غنتزن إلى الحزب النازي في عام 1937.و في أبريل 193، أقسم غنتزن قسم الولاء لأدولف هتلر كجزء من تعيينه الأكاديمي.[5] من عام 1943 كان مدرسًا في جامعة براغ.[6] بموجب عقد من شوتزشتافل غنتزن عملت بوضوح لمشروع V-2 .[7]

ألقي القبض على غنتزن خلال انتفاضة المواطنين ضد القوات الألمانية المحتلة في 5 مايو 1945. تم تسليمه، مع بقية أعضاء الجامعة الألمانية في براغ، إلى القوات السوفيتية. نظرًا لارتباطه السابق بـ SA و NSDAP و NSD Dozentenbund ، فقد تم احتجاز غنتزن في أحد معسكرات الاعتقال، حيث توفي جوعًا في 4 أغسطس 1945.[8][9]

عملعدل

اخترغ غنتزن نظامين للاستنتاج في المنطق الرياضي: الاستنتاج الطبيعي وحساب التتاليات.

انظر أيضاعدل

المراجععدل

  1. أ ب ت ث المخترع: جون أوكونور و إدموند روبرتسون
  2. ^ المؤلف: المكتبة الوطنية الفرنسيةhttp://data.bnf.fr/ark:/12148/cb12859876g — تاريخ الاطلاع: 10 أكتوبر 2015 — الرخصة: رخصة حرة
  3. ^ مُعرِّف الضَّبط الاستناديِّ في قاعدة البيانات الوطنيَّة التشيكيَّة (NKCR AUT): https://aleph.nkp.cz/F/?func=find-c&local_base=aut&ccl_term=ica=jn20021213006 — تاريخ الاطلاع: 1 مارس 2022
  4. ^ Menzler-Trott, p. 52.
  5. ^ Menzler-Trott, p. 119.
  6. ^ Gerhard Gentzen at math.muni.cz نسخة محفوظة 16 ديسمبر 2009 على موقع واي باك مشين.
  7. ^ Menzler-Trott, p. 238.
  8. ^ Menzler-Trott, p. 273 ff.
  9. ^ "Gerhard Gentzen (1909 - 1945)" en، مؤرشف من الأصل في 11 يونيو 2019، اطلع عليه بتاريخ 07 مارس 2020. {{استشهاد ويب}}: الوسيط غير صالح |script-title=: missing prefix (مساعدة)