Английская Википедия:Dag Prawitz

Материал из Онлайн справочника
Версия от 01:10, 24 февраля 2024; EducationBot (обсуждение | вклад) (Новая страница: «{{Английская Википедия/Панель перехода}} {{short description|Swedish philosopher and logician}} '''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.<ref>{{cite book|last1=Prawitz|first1=Dag|year=1965|title=Natural deduction: A proof-theoretical study|url=https://archive.org/details/naturalded...»)
(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)
Перейти к навигацииПерейти к поиску

Шаблон:Short description 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

Шаблон:Reflist

External links

Шаблон:Authority control


Шаблон:Sweden-scientist-stub Шаблон:Europe-mathematician-stub

Партнерские ресурсы
Криптовалюты
Магазины
Хостинг
Разное

  1. ↑ Шаблон:Cite book
  2. ↑ Шаблон:Cite book
  3. ↑ Шаблон:Cite web
Источник — http://wikihandbk.com/ruwiki/index.php?title=Английская_Википедия:Dag_Prawitz&oldid=14157492