Dag Prawitz | |
|---|---|
| Born | 1936 (age 89–90) |
| Alma mater | Stockholm University |
| Known for | 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 Swedishphilosopher andlogician. He is best known for his work onproof theory and the foundations ofnatural deduction, and for his contributions toproof-theoretic semantics.[1][2]
Prawitz is a member of theNorwegian Academy of Science and Letters,[3] of theRoyal Swedish Academy of Letters and Antiquity and theRoyal Swedish Academy of Science.
Prawitz was awarded theRolf Schock Prize in Logic and Philosophy in 2020.
| International | |
|---|---|
| National | |
| Academics | |
| People | |
| Other | |
 | This article about a Swedish scientist is astub. You can help Wikipedia byadding missing information. |
 | This article about a Europeanmathematician is astub. You can help Wikipedia byadding missing information. |
