توصل غيرارد غينتزن -الرجل في الصورة- إلى إثبات اتساقية(Consistency) مسلمات بيانو...

توصل غيرارد غينتزن -الرجل في الصورة- إلى إثبات اتساقية(Consistency) مسلمات بيانو(Peano Axioms) عام 1936، وشغله الباقي في المنطق والرياضيات أعظم وأعظم

جزء ضخم مما نصفه بالمنطق الرياضي الحديث تتم محاكمته إلى مجموعة شروط، إذا وافقها قيل "منطق غنتزن - Gentzen Logic"، وإذا جاوزها لم نقل

مات غنتزن بسبب الجوع عند عمر 36 في معسكر تشيكي بعد اعتقاله كمواطن ألماني آخر الحرب العالمية الثانية