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.
Read article at Wikipedia
Date of birth:
- 1936 (age 73 years)
Dag Prawitz
top ↑
top ↑
Facts from the Community
From the Proofs are Programs base
Contributions:
| Key concept | Date | Why this is interesting |
|---|---|---|
|
|
Similar topics in Freebase
-
Alonzo Church
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–Turing thesis, Frege–Church ontology, and the Church... -
Per Martin-Löf
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 and Philosophy at Stockholm University. He is the... -
Charles Peirce
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 scientist for 30 years. It is largely his contributions... -
Philip Wadler
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 design of the purely functional language Haskell,... -
Bertrand Russell
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, he was born in Wales, where he also died. Russell... -
Timothy G. Griffin
-
Jean-Yves Girard
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 interaction; and ludics. Alumnus of the École normale... -
Gottlob Frege
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 philosopher, he is generally considered to be the father... -
Robert Feys
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). -
J. Roger Hindley
