Jump to content

Dag Prawitz

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by KasparBot (talk | contribs) at 10:59, 6 February 2016 (migrating Persondata to Wikidata, please help, see challenges for this article). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

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.

References

  1. ^ Prawitz, Dag (1965). Natural deduction: A proof-theoretical study. Acta Universitatis Stockholmiensis, Stockholm studies in philosophy 3. Stockholm, Göteborg, Uppsala: Almqvist & Wicksell. {{cite book}}: Invalid |ref=harv (help)
  2. ^ Prawitz, Dag (2006) [1965]. Natural deduction: A proof-theoretical study. Mineola, New York: Dover Publications. ISBN 978-0-486-44655-4. {{cite book}}: Invalid |ref=harv (help)
  3. ^ "Gruppe 3: Idéfag" (in Norwegian). Norwegian Academy of Science and Letters. Retrieved 16 January 2011.


Stub icon

This article about a Swedish scientist is a stub. You can help Wikipedia by expanding it.

Stub icon

This article about a European mathematician is a stub. You can help Wikipedia by expanding it.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Dag_Prawitz&oldid=703586587"