Gerhard Gentzen

Gerhard Gentzen

male, deceased (1945)
from Mecklenburg-Vorpommern, Sturmabteilung, Nazi Party, naturaldeduction, mathematics, greifswald
Gerhard Karl Erich Gentzen was a German mathematician and logician. Gentzen was born in Greifswald, Germany. He was one of Hermann Weyl's students...
Dag Prawitz

Dag Prawitz

male, 73 years old
Logician, philosopher, naturaldeduction, proof theory
Dag Prawitz (born 1936) is a Swedish philosopher and logician. He is best known for his work on proof theory and the foundations of natural deduction.

Stanisław Jaśkowski

male, deceased (1965)
Genius Wall of fame., wall of fame, Jan Lukasiewicz, polish, paraconsistent logic, naturaldeduction
Stanisław Jaśkowski was a Polish logician who made important contributions to proof theory and semantics. He was a student of Jan Lukasiewicz and a...