Kurt Gödel

Kurt Gödel

male, deceased (1978)
Logician, incompleteness theorems, mathematician, mathematics, philosopher, Gödel numbering…prooftheory, axioms of set theory, axiomatic set theory, set theory
Kurt Gödel (April 28, 1906 Brünn, Austria-Hungary (now Brno, Czech Republic) - January 14, 1978 Princeton, New Jersey) was an Austrian American ma...
Johan van Benthem

Johan van Benthem

male, 60 years old
M.H. Löb, Rijswijk, first-order logic, Master of Arts, Modal Logic, CSLI…prooftheory, game theory
Johannes Franciscus Abraham Karel (Johan) van Benthem (Rijswijk, June 12, 1949-) is a University Professor ("universiteitshoogleraar") of logic at...
David Hilbert

David Hilbert

male, deceased (1943)
Relativists, craters of the Moon named after them, German native of East Prussia, Functional Analysis, Mathematical analyst, contributor to general relativity…prooftheory, invariant theory
David Hilbert was a German mathematician, recognized as one of the most influential and universal mathematicians of the 19th and early 20th...
Jean-Yves Girard

Jean-Yves Girard

male
Logician, system F, linear logic, strong normalization, geometry of interaction, second-order logic…prooftheory
Jean-Yves Girard is a French logician working in proof theory. His contributions include a proof of strong normalization in a system of...
Gerhard Gentzen

Gerhard Gentzen

male, deceased (1945)
from Mecklenburg-Vorpommern, Sturmabteilung, Nazi Party, natural deduction, mathematics, greifswald…prooftheory, proof-theoretic semantics, Gentzen's consistency proof
Gerhard Karl Erich Gentzen was a German mathematician and logician. Gentzen was born in Greifswald, Germany. He was one of Hermann Weyl's students...
Dick de Jongh

Dick de Jongh

male, 70 years old
PhD, Stephen Kleene, intuitionistic logic, prooftheory, University of Wisconsin-Madison alumni, mathematics
Dick de Jongh (born 1939) is a Dutch logician and mathematician. He received his PhD degree in 1968 from the University of Wisconsin-Madison under...
Dag Prawitz

Dag Prawitz

male, 73 years old
Logician, philosopher, natural deduction, prooftheory
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.
Georg Kreisel

Georg Kreisel

male, 86 years old
Stanford University, World War II, Logician, mathematician, University of Paris, British…proof, mathematical proof, prooftheory
Georg Kreisel (born September 15, 1923 in Graz) is an Austrian-born mathematical logician who has studied and worked in Great Britain and America....
Gaisi Takeuti

Gaisi Takeuti

male, 83 years old
Princeton University, Logician, mathematician, princeton, Japanese, University Of Illinois At Urbana-Champaign…prooftheory
Gaisi Takeuti is a Japanese mathematician, known for his work in proof theory. After graduating from Tokyo University, he went to Princeton to...
Jacques Herbrand

Jacques Herbrand

male, deceased (1931)
Logician, Isère, homological algebra, Herbrand-Ribet theorem, class field theory, Euler characteristic…prooftheory
Jacques Herbrand was a French mathematician who was born in Paris, France and died in La Bérarde, Isère, France. He worked in mathematical logic an...