Dag Prawitz
Dag Prawitz | |
|---|---|
| Born | 1936 (age 88–89) |
| Nationality | Swedish |
| Alma mater | Stockholm University |
| Known for | Normalization theorems for Natural Deduction Proof of Takeuti's conjecture Curry-Howard correspondence Proof-theoretic semantics Prawitz's conjecture on the identity of proofs |
| Awards | Rolf Schock prize in logic and philosophy |
| Scientific career | |
| Fields | Mathematical Logic Computer Science Philosophy |
| Institutions | University of Oslo Stockholm University |
| Doctoral students | Luiz Carlos Pereira Peter Schroeder-Heister Cesare Cozzo |
Dag Prawitz (born 1936, Stockholm) is a Swedish philosopher and logician. He is best known for his work on proof theory and the foundations of natural deduction, and for his contributions to proof-theoretic semantics.
Prawitz is a member of the Norwegian Academy of Science and Letters, of the Royal Swedish Academy of Letters and Antiquity and the Royal Swedish Academy of Science.
Prawitz was awarded the Rolf Schock Prize in Logic and Philosophy in 2020.