Dag Prawitz
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 |
| Scientific career | |
| Fields | Mathematical Logic Computer Science Philosophy |
| Workplaces | 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
- ↑ Prawitz, Dag (1965). Natural Deduction: A Proof-Theoretic Study. Acta Universitatis Stockholmiensis; Stockholm Studies in Philosophy, 3. Stockholm, Göteborg, Uppsala: Almqvist & Wiksell. OCLC 912927896.
- ↑ Prawitz, Dag (2006). Natural Deduction: A Proof-Theoretic Study. Mineola, New York: Dover Publications. ISBN 9780486446554. OCLC 61296001.
- ↑ "Gruppe 3: Idéfag" (in Norwegian). Norwegian Academy of Science and Letters. Archived from the original on 9 January 2015. Retrieved 16 January 2011.
- ↑ "Former Fellows SCAS".
External links
Categories:
- 1936 births
- Living people
- Swedish logicians
- Mathematical logicians
- Swedish philosophers
- Members of the Royal Swedish Academy of Sciences
- Members of the Norwegian Academy of Science and Letters
- Proof theorists
- 20th-century Swedish philosophers
- People from Stockholm
- Swedish scientist stubs
- European mathematician stubs