Previous (Chronologically) Next Biographies Index Previous ( Alphabetically) Next Welcome page
Gentzen's work was on logic and the foundations of mathematics. He gave a consistency proof for elementary number theory despite the limitations imposed by Gödel's results. Gentzen's was the most outstanding contribution to Hilbert's programme.
References:
Previous (Chronologically) Next Biographies Index Previous ( Alphabetically) Next Welcome page History Topics Index Famous curves index Chronologies Birthplace Map Mathematicians of the day Anniversaries for the year Search Form Simple Search Form Search Suggestions