Dag Prawitz
Encyclopedia
Dag Prawitz is a Swedish philosopher and logician. He is best known for his work on proof theory
Proof theory
Proof theory is a branch of mathematical logic that represents proofs as formal mathematical objects, facilitating their analysis by mathematical techniques. Proofs are typically presented as inductively-defined data structures such as plain lists, boxed lists, or trees, which are constructed...

 and the foundations of natural deduction
Natural deduction
In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the "natural" way of reasoning...

.

Pawitz is a member of the Norwegian Academy of Science and Letters
Norwegian Academy of Science and Letters
The Norwegian Academy of Science and Letters is a learned society based in Oslo, Norway.-History:The University of Oslo was established in 1811. The idea of a learned society in Christiania surfaced for the first time in 1841. The city of Throndhjem had no university, but had a learned...

, of the Royal Swedish Academy of Letters and Antiquity and the Royal Swedish Academy of Science.

External links

The source of this article is wikipedia, the free encyclopedia.  The text of this article is licensed under the GFDL.
 
x
OK