Share This
table started by
warren for the Proofs are Programs Base
There is no user-contributed description yet.
Add More Topics
Save this view to a base, or just for yourself.
16 Key Contributor topics matching:
Filter this Collection|
|
|||||
|---|---|---|---|---|---|
| x name | x image | x Contributions | x article | ||
| x Key concept | x Date | x Contributors | |||
| x Gottlob Frege |
|
Symbolic logic | 1879 |
Friedrich Ludwig Gottlob Frege (8 November 1848 – 26 July 1925) was a German mathematician who became a logician and philosopher. He was one of the founders of modern logic, and made major contributions to the foundations of mathematics. As a...
|
|
| x Bertrand Russell |
|
Russell's paradox | 1901 |
Bertrand Arthur William Russell, 3rd Earl Russell, OM, FRS (18 May 1872 – 2 February 1970) was an English philosopher, logician, mathematician, historian, socialist, pacifist and social critic. Although he spent the majority of his life in England,...
|
|
| x Gerhard Gentzen |
|
Natural deduction logic | 1934 |
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...
|
|
| Subformula property | 1934 | ||||
| Sequent calculus | 1934 | ||||
| x Alonzo Church |
|
Lambda calculus | 1932 |
Alonzo Church (June 14, 1903 – August 11, 1995) was an American mathematician and logician who made major contributions to mathematical logic and the foundations of theoretical computer science. He is best known for the lambda calculus, Church...
|
|
| Typed lambda calculus | 1940 | ||||
| x Haskell Curry |
|
Curry–Howard correspondence | 1969 | William Alvin Howard |
Haskell Brooks Curry (September 12, 1900 – September 1, 1982) was an American mathematician and logician. Curry is best known for his work in combinatory logic; while the initial concept of combinatory logic was based on a single paper by Moses...
|
| Combinatory logic | 1956 | Robert Feys | |||
| x J. Roger Hindley | Type inference | 1978 | Robin Milner | ||
| x Robin Milner |
|
Type inference | 1978 | J. Roger Hindley |
Arthur John Robin Gorell Milner FRS FRSE (Robin Milner or A.J.R.G. Milner, born 13 January 1934 near Plymouth) is a prominent British computer scientist.
Milner was born in Yealmpton, near Plymouth, England into a military family. He was awarded a...
|
| Type polymorphism | 1975 | ||||
| x Jean-Yves Girard |
|
Type polymorphism | 1972 |
Jean-Yves Girard (born 1947 in Lyon) is a French logician working in proof theory. His contributions include a proof of strong normalization in a system of second-order logic called system F; the invention of linear logic; the geometry of...
|
|
| x William Alvin Howard | Curry–Howard correspondence | 1969 | Haskell Curry |
William Alvin Howard (1926 -) is a proof theorist best-known for his work demonstrating formal similarity between intuitionistic logic and the simply-typed lambda-calculus that has come to be known as the Curry-Howard correspondence. He has also...
|
|
| x Per Martin-Löf |
|
Intuitionistic type theory | 1971 |
Per Erik Rutger Martin-Löf (born 1942) is a Swedish logician, philosopher, and mathematician. He is best known for developing intuitionistic type theory as a constructive foundation of mathematics. Per Martin-Löf holds a joint chair for Mathematics...
|
|
| x John C. Reynolds |
|
Type polymorphism | 1974 |
John C. Reynolds (born June 1, 1935) is an American computer scientist.
John Reynolds studied at Purdue University and then earned a PhD in theoretical physics from Harvard University in 1961. He was Professor of Information science at Syracuse...
|
|
| x Dag Prawitz |
|
Natural deduction logic | 1956 |
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.
|
|
| x Robert Feys |
|
Combinatory logic | 1956 | Haskell Curry |
Robert Feys (1889—1961) was a Belgian logician and philosopher, who worked at the University of Leuven (Belgium).
In 1958 Feys and Haskell B. Curry devised the type inference algorithm for the simply typed lambda calculus (Combinatory Logic I).
|
| x Timothy G. Griffin |
|
Peirce's law | 1990 | ||
| x Charles Peirce |
|
Peirce's law | 1885 |
Charles Sanders Peirce (pronounced /ˈpɜrs/ purse) (September 10, 1839 – April 19, 1914) was an American philosopher, logician, mathematician, and scientist, born in Cambridge, Massachusetts. Peirce was educated as a chemist and employed as a...
|
|
| x Philip Wadler |
|
Curry–Howard correspondence | 2003 |
Philip Wadler is a computer scientist well-known for his contributions to programming language design and type theory. In particular, he has contributed to the theory behind functional programming and the use of monads in functional programming, the...
|
|
