Keywords

#gerhard_gentzen

Gerhard Gentzen

German mathematician

Gerhard Karl Erich Gentzen was a German mathematician and logician. He made major contributions to the foundations of mathematics, proof theory, especially on natural deduction and sequent calculus. He died of starvation in a Czech prison camp in Prague in 1945, having been interned as a German national after the Second World War.

Sun 26th

Provided by Wikipedia

Learn More

This keyword could refer to multiple things. Here are some suggestions:

Gerhard Gentzen Gentzen's consistency proof Sequent calculus Cut-elimination theorem Double-negation translation Gerhard Hilbert's second problem Natural deduction Mathematical logic Turned A
0 searches
This keyword has never been searched before
This keyword has never been searched for with any other keyword.