Biography:Dag Prawitz
From HandWiki
Dag Prawitz | |
|---|---|
| Born | 16 May 1936 Stockholm, Sweden |
| 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 |
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.
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.
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.
- ↑ "Former Fellows SCAS". https://www.swedishcollegium.se/fellows/former-fellows/all-former-fellows.
External links
 |  |
