Ричард Зак - Richard Zach

Ричард Зак
Альма-матерКалифорнийский университет в Беркли
Научная карьера
Поля
УчрежденияУниверситет Калгари
ТезисФинитизм Гильберта: исторические и философские перспективы  (2001)
ДокторантыПаоло Манкосу, Джек Сильвер
Интернет сайтUcalgary.ca/ рзач/

Ричард Зак Канадский логик, философ математики и историк логики и аналитической философии. В настоящее время он является профессором философии в Университет Калгари.

Исследование

Научные интересы Зака ​​включают развитие формальной логики и исторических фигур (Гильберта, Гёдель, и Карнап ) связанные с этой разработкой. в философия математики Зак работал над Гильберта программа и философское значение теории доказательств. В математической логике он внес вклад в теория доказательств (эпсилон исчисление, сложность доказательства ) и к модальный и многозначная логика, особенно Логика Гёделя.[1]

Карьера

Зак получил высшее образование в Венский технологический университет и его докторская степень. в Группе логики и методологии науки Калифорнийский университет в Беркли. Его диссертация, Программа Гильберта: исторические, философские и метаматематические перспективы, под совместным руководством Паоло Манкосу и Джек Сильвер.[2]

Он преподавал в Университет Калгари с 2001 г., имеет звание профессора. Он ходил на приемы в Калифорнийский университет в Ирвине[3] и Университет Макгилла.[4]Зак - редактор-основатель Обзор символической логики и Журнал по изучению истории аналитической философии, а также является помощником редактора Studia Logica, и тематический редактор для Стэнфордская энциклопедия философии (История современной логики).[5] Он входит в редколлегию Бернейс версия[6] и Карнап версия.[7] Он был избран в Совет Ассоциация символической логики в 2008[8] и он работал в комитете ASL по обучению логике.[9] и исполнительный комитет Общество Курта Гёделя.[10]

Рекомендации

  1. ^ Ричард Зак. «Исследования и публикации». Получено 2014-12-10.
  2. ^ Ричард Зак на Проект "Математическая генеалогия"
  3. ^ UC Irvine LPS. "Логика и философия науки Посетители". Получено 2014-12-12.
  4. ^ Философский факультет Макгилла. «Приглашенные ученые». Получено 2014-12-12.
  5. ^ "Ричард Зак". Университет Калгари, факультет философии. Получено 2014-12-11.
  6. ^ Университет Карнеги Меллон. "Проект Бернейс". Получено 2014-12-11.
  7. ^ Университет Карнеги Меллон. «Собрание сочинений Рудольфа Карнапа». Получено 2012-12-11.
  8. ^ Ассоциация символической логики (Январь 2008 г.). "Информационный бюллетень ASL" (PDF).,
  9. ^ Комитет ASL ​​по логическому образованию. "Члены". Получено 2014-12-12.
  10. ^ Общество Курта Гёделя. "Организация". Получено 2014-12-12.

внешняя ссылка