Biography:Dag Prawitz
From HandWiki
Dag Prawitz | |
|---|---|
| Born | 1936 (age 89–90) Stockholm, Sweden |
| 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.[1][2]
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.
Prawitz was awarded the Rolf Schock Prize in Logic and Philosophy in 2020.
References
- ↑ Template:Prawitz Natural Deduction
- ↑ Template:Prawitz Natural Deduction
- ↑ "Gruppe 3: Idéfag" (in no). Norwegian Academy of Science and Letters. http://www.dnva.no/c26849/artikkel/vis.html?tid=40104.
External links
 |  |
