273 ff..
Główne prace Gentzena dotyczyły podstaw matematyki, teorii dowodu, dedukcji naturalnej i rachunku sekwentów.
W roku 1936 Gentzen udowodnił za pomocą indukcji pozaskończonej rzędu ε0 niesprzeczność arytmetyki Peana.
Przypisy
Linki zewnętrzne [dostęp 2021-10-27].
Kategoria:Absolwenci i studenci Uniwersytetu w Getyndze Kategoria:Niemieccy matematycy XX wieku Kategoria:Ludzie urodzeni w Greifswaldzie Kategoria:Nauczyciele akademiccy Uniwersytetu w Getyndze Kategoria:Nauczyciele akademiccy Uniwersytetu Karola Kategoria:Urodzeni w 1909 Kategoria:Zmarli w 1945