Dag Prawitz
From Infogalactic: the planetary knowledge core
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
<templatestyles src="Reflist/styles.css" />
Cite error: Invalid <references>
tag; parameter "group" is allowed only.
<references />
, or <references group="..." />
External links
Lua error in package.lua at line 80: module 'strict' not found.
<templatestyles src="Asbox/styles.css"></templatestyles>
<templatestyles src="Asbox/styles.css"></templatestyles>
Categories:
- Pages with reference errors
- 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