Даг Правиц - Dag Prawitz
Даг Правиц (род.1936 г., Стокгольм ) швед философ и логик. Он наиболее известен своей работой над теория доказательств и основы естественный вычет.[1][2]
Prawitz является членом Норвежская академия наук и литературы,[3] из Шведская королевская академия письменности и древности и Шведская королевская академия наук.
Prawitz был награжден Приз Рольфа Шока по логике и философии в 2020 году.
Рекомендации
- ^ Prawitz, Даг (1965). Естественная дедукция: теоретико-доказательное исследование. Acta Universitatis Stockholmiensis, Стокгольмские исследования философии 3. Стокгольм, Гетеборг, Уппсала: Almqvist & Wicksell.CS1 maint: ref = harv (связь)
- ^ Правиц, Даг (2006) [1965]. Естественная дедукция: теоретико-доказательное исследование. Минеола, Нью-Йорк: Dover Publications. ISBN 978-0-486-44655-4.CS1 maint: ref = harv (связь)
- ^ "Группа 3: Идефаг" (на норвежском языке). Норвежская академия наук и литературы. Получено 16 января 2011.
внешняя ссылка
Эта статья о шведском ученом - заглушка. Вы можете помочь Википедии расширяя это. |
Эта статья про европейца математик это заглушка. Вы можете помочь Википедии расширяя это. |