Dag Prawitz
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.[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
External links
Lua error in package.lua at line 80: module 'strict' not found.
<templatestyles src="Asbox/styles.css"></templatestyles>
 |
This article about a Swedish scientist is a stub. You can help Wikipedia by expanding it. |
<templatestyles src="Asbox/styles.css"></templatestyles>
 |
This article about a European mathematician is a stub. You can help Wikipedia by expanding it. |
- Articles with short description
- 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
- Swedish scientist stubs
- European mathematician stubs
