Kurt Gödel

Kurt Gödel

male, deceased (1978)
Logician, incompleteness theorems, mathematician, mathematics, philosopher, Gödel numbering…intuitionisticlogic, classical logic, logic, Modal Logic
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...
Arend Heyting

Arend Heyting

male, deceased (1980)
L.E.J. Brouwer, dutch, Logician, mathematician, lugano, From Amsterdam…mathematical logic, intuitionisticlogic
Arend Heyting (May 9, 1898 - July 9, 1980) was a Dutch mathematician and logician. He was a student of L.E.J. Brouwer, and did much to put...
Neil Tennant

Neil Tennant

male, 59 years old
Ohio State University faculty, Ohio State University, American Philosophical Quarterly, Philosophical Realism, non-classical logic, anti-realism…intuitionisticlogic
Neil Tennant (born 1 March 1950) is Humanities Distinguished Professor of Philosophy at the Ohio State University. Along with Michael Dummett,...
Haskell Curry

Haskell Curry

male, deceased (1982)
Harvard University, Princeton University, Logician, mathematician, Princeton University faculty, Pennsylvania State University faculty…mathematical logic, intuitionisticlogic, combinatory logic, Foundations of Mathematical Logic
Haskell Brooks Curry was an American mathematician and logician. The son of educator Samuel Silas Curry, he was educated at Harvard University and...
Dick de Jongh

Dick de Jongh

male, 70 years old
PhD, Stephen Kleene, intuitionisticlogic, proof theory, University of Wisconsin-Madison alumni, mathematics…logic, provability logic
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...
Andrey Kolmogorov

Andrey Kolmogorov

male, deceased (1987)
intuitionisticlogic, classical mechanics, computational complexity, Hero of Socialist Labor, turbulence, Alumni and faculty of Moscow State University
Andrey Nikolaevich Kolmogorov (April 25, 1903 - October 20, 1987) was a Soviet mathematician who made major advances in different academic fields...

Stanisław Jaśkowski

male, deceased (1965)
Genius Wall of fame., wall of fame, Jan Lukasiewicz, polish, paraconsistent logic, natural deduction…intuitionisticlogic, Lwów–Warsaw School of Logic, inconsistency-tolerant (or paraconsistent) logic, semantics of logic, free logic
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...

William Alvin Howard

male
Ph.D., University of Chicago, typed lambda-calculus, Curry-Howard correspondence, Ordinal, intuitionisticlogic
William Alvin Howard (1926 -) is a proof theorist most well-known for his work demonstrating formal similarity between intuitionistic logic and the...