Dag Prawitz
Swedish philosopher and logician
From Wikipedia, the free encyclopedia
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.[1][2]
Born16 May 1936
AlmamaterStockholm University
KnownforNormalization and strong normalization theorems for Natural Deduction
Proof of Takeuti's conjecture
Curry-Howard correspondence
Proof-theoretic semantics
Conjecture on the identity of proofs
Proof of Takeuti's conjecture
Curry-Howard correspondence
Proof-theoretic semantics
Conjecture on the identity of proofs
Dag Prawitz | |
|---|---|
| Born | 16 May 1936 |
| Alma mater | Stockholm University |
| Known for | Normalization and strong normalization theorems for Natural Deduction Proof of Takeuti's conjecture Curry-Howard correspondence Proof-theoretic semantics 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 |
Prawitz is a member of the Norwegian Academy of Science and Letters,[3] of the Royal Swedish Academy of Letters and Antiquity and the Royal Swedish Academy of Science.
In the Fall of 1991, he was a Fellow at the Swedish Collegium for Advanced Study in Uppsala, Sweden.[4]
Prawitz was awarded the Rolf Schock Prize in Logic and Philosophy in 2020.
