توصل غيرارد غينتزن إلى إثبات اتساقية Consistency مسلمات بيانو Peano Axioms عام 1936، عند عمر 27 سنة، وشغله الباقي في المنطق والرياضيات أعظم وأعظم
جزء ضخم مما نصفه بالمنطق الرياضي الحديث تتم محاكمته إلى مجموعة شروط، إذا وافقها قيل "منطق غنتزن - Gentzen Logic"، وإذا جاوزها لم نقل
مات غنتزن بسبب الجوع عند عمر 36 في معسكر تشيكي بعد اعتقاله كمواطن ألماني آخر الحرب العالمية الثانية
هذي سيرته الذاتية مدمجة مع أعماله المنطقية والرياضية. مؤلفة من 465 صفحة، وهي من أحلى المكتوب في تاريخ الرياضيات والمنطق الرياضي، ومن أحلى سِيَر المناطقة الرياضيين
توصل غيرارد غينتزن إلى إثبات اتساقية Consistency مسلمات بيانو Peano Axioms عام 1...
