Dag Prawitz

Dag Prawitz
Born	1936 (age 88–89) 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

1. 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.
2. Prawitz, Dag (2006). Natural Deduction: A Proof-Theoretic Study. Mineola, New York: Dover Publications. ISBN   9780486446554. OCLC   61296001.
3. "Gruppe 3: Idéfag" (in Norwegian). Norwegian Academy of Science and Letters. Archived from the original on 9 January 2015. Retrieved 16 January 2011.

External links

• Prawitz's web page at Stockholm University