Gerhard Gentzen

Gerhard Karl Erich Gentzen (November 24, 1909, Greifswald, Germany – August 4, 1945, Prague, Czechoslovakia) was a German mathematician and logician. Gentzen was a student of Paul Bernays at the University of Göttingen. Bernays was fired as "non-Aryan" in April 1933 and therefore Hermann Weyl formally acted as his supervisor. At great risk to his career Gentzen kept in contact with Bernays until the beginning of the second world war. In November ... more

Date of birth:

  • Nov 24, 1909

Date of death:

  • Aug 4, 1945 (age 35 years)

Country of nationality:

Profession:

People

Gender:

Places lived:

top ↑

Facts from the Community

From the Proofs are Programs base

Contributions:

Key concept Date Why this is interesting
  • 1934
  • Gentzen simplified Frege's system of deduction to reflect various axioms within the structure of the inference rules as introduction and elimination pairs.
  • 1934
  • Gentzen's subformula property eliminated diversions in the proof process and demonstrated the property of logical consistency. This paved the way for proofs to be interpreted as programs.
  • 1934
  • Gentzen could only demonstrate the subformula property and proof simplification for the sequent calculus, not for natural deduction.
View entire collection »
top ↑

These people have edited this topic:

Edit this topic
Edit and Show details

Add or delete facts, download data in JSON or RDF formats, and explore topic metadata.

Freebase Logo
What is Freebase?

Freebase is a huge collection of facts, built by people like you. Freebase connects facts in ways other sites can't, giving you new ways to explore millions of subjects.
You can help improve it!

Freebase Attribution

Freebase data is free for use under the CC-BY license.

The original description for Gerhard Gentzen was automatically generated from Wikipedia.org licensed under the GNU Free Documentation License.
[1]
Learn more about Freebase licensing and attribution