Ричард Зак - Richard Zach
Ричард Зак | |
---|---|
Альма-матер | Калифорнийский университет в Беркли |
Научная карьера | |
Поля |
|
Учреждения | Университет Калгари |
Тезис | Финитизм Гильберта: исторические и философские перспективы (2001) |
Докторанты | Паоло Манкосу, Джек Сильвер |
Интернет сайт | Ucalgary |
Ричард Зак Канадский логик, философ математики и историк логики и аналитической философии. В настоящее время он является профессором философии в Университет Калгари.
Исследование
Научные интересы Зака включают развитие формальной логики и исторических фигур (Гильберта, Гёдель, и Карнап ) связанные с этой разработкой. в философия математики Зак работал над Гильберта программа и философское значение теории доказательств. В математической логике он внес вклад в теория доказательств (эпсилон исчисление, сложность доказательства ) и к модальный и многозначная логика, особенно Логика Гёделя.[1]
Карьера
Зак получил высшее образование в Венский технологический университет и его докторская степень. в Группе логики и методологии науки Калифорнийский университет в Беркли. Его диссертация, Программа Гильберта: исторические, философские и метаматематические перспективы, под совместным руководством Паоло Манкосу и Джек Сильвер.[2]
Он преподавал в Университет Калгари с 2001 г., имеет звание профессора. Он ходил на приемы в Калифорнийский университет в Ирвине[3] и Университет Макгилла.[4]Зак - редактор-основатель Обзор символической логики и Журнал по изучению истории аналитической философии, а также является помощником редактора Studia Logica, и тематический редактор для Стэнфордская энциклопедия философии (История современной логики).[5] Он входит в редколлегию Бернейс версия[6] и Карнап версия.[7] Он был избран в Совет Ассоциация символической логики в 2008[8] и он работал в комитете ASL по обучению логике.[9] и исполнительный комитет Общество Курта Гёделя.[10]
Рекомендации
- ^ Ричард Зак. «Исследования и публикации». Получено 2014-12-10.
- ^ Ричард Зак на Проект "Математическая генеалогия"
- ^ UC Irvine LPS. "Логика и философия науки Посетители". Получено 2014-12-12.
- ^ Философский факультет Макгилла. «Приглашенные ученые». Получено 2014-12-12.
- ^ "Ричард Зак". Университет Калгари, факультет философии. Получено 2014-12-11.
- ^ Университет Карнеги Меллон. "Проект Бернейс". Получено 2014-12-11.
- ^ Университет Карнеги Меллон. «Собрание сочинений Рудольфа Карнапа». Получено 2012-12-11.
- ^ Ассоциация символической логики (Январь 2008 г.). "Информационный бюллетень ASL" (PDF).,
- ^ Комитет ASL по логическому образованию. "Члены". Получено 2014-12-12.
- ^ Общество Курта Гёделя. "Организация". Получено 2014-12-12.