Gerhard Gentzen

Gerhard Karl Erich Gentzen (November 24, 1909 – August 4, 1945) 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 in 1945 after the Second World War, because he was deprived of food after being arrested in Prague.

单词	Gentzenization
释义	Gentzenization 英语百科 Gerhard Gentzen Gerhard Karl Erich Gentzen (November 24, 1909 – August 4, 1945) 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 in 1945 after the Second World War, because he was deprived of food after being arrested in Prague.
随便看	FAST protocol fast proton radiation fast pulldown recorder picture film scanner fast pull down system fast pulley fast pulsar fast pulse amplifier fast pumpdown Fast Pure Blue lake fast quenching oil fastrack fastract Fast radio burst fast radiochemical separation fast radiochemistry FasTrak fastraverse platen press Fastraverse press fastrax fastraxes Fast ray fast reacting curing agent fast reaction fast reaction kinetics fast reactive autorhythmic cell

Gentzenization

Gerhard Gentzen