Search results
Doctoral advisor. Paul Bernays. Gerhard Karl Erich Gentzen (24 November 1909 – 4 August 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.
Nov 24, 2013 · 24 November 1909. Greifswald, Germany. Died. 4 August 1945. Prague, Czechoslovakia. Summary. Gerhard Gentzen invented a 'natural deduction' which provided a logic closer to mathematical reasoning than the systems proposed by Frege, Russell and Hilbert. View one larger picture. Biography.
Gentzen's consistency proof is a result of proof theory in mathematical logic, published by Gerhard Gentzen in 1936. It shows that the Peano axioms of first-order arithmetic do not contain a contradiction (i.e. are "consistent"), as long as a certain other system used in the proof does not contain any contradictions either.
Gerhard Gentzen died very young, in his middle 30s, starved to death in 1945 in a Czechoslovakian prisoner-of-war camp. The description of his arrest in Prague, his subsequent imprisonment, and then his horrible death, make for quite harrowing reading in this meticulously researched work.
Gerhard Gentzen – Wikipedia. Gerhard Karl Erich Gentzen (* 24. November 1909 in Greifswald; † 4. August 1945 in Prag) war ein deutscher Mathematiker und Logiker . Inhaltsverzeichnis. 1 Leben. 2 Mathematische Leistungen. 3 Zitate. 4 Schriften. 5 Literatur. 6 Belletristik. 7 Weblinks. 8 Einzelnachweise. Leben.
Apr 1, 2017 · 1. Overture. Gerhard Gentzen died on August 4, 1945, in a prison in Prague. His fellow prisoners were professors of the local German university, and there are accounts of his last days and how he was, rendered weak by lack of food, still pondering over the consistency problem of analysis.
