WikiDer > Richard Zak

Richard Zach
Richard Zak
Olma materBerkli Kaliforniya universiteti
Ilmiy martaba
Maydonlar
InstitutlarKalgari universiteti
TezisHilbertning finitizmi: tarixiy va falsafiy istiqbollar (2001)
Doktorlik maslahatchilariPaolo Mankosu, Jek Kumush
Veb-saytucalgary.ca/ rzach/

Richard Zak Kanadalik mantiqchi, matematikaning faylasufi va mantiq va analitik falsafaning tarixchisi. Hozirda u falsafa professori Kalgari universiteti.

Tadqiqot

Zakning ilmiy qiziqishlari rasmiy mantiq va tarixiy shaxslarning rivojlanishini o'z ichiga oladi (Xilbert, Gödelva Carnap) ushbu rivojlanish bilan bog'liq. In matematika falsafasi Zak ishlagan Xilbertdasturi va isbot nazariyasining falsafiy dolzarbligi. Matematik mantiqda u o'z hissasini qo'shdi isbot nazariyasi (epsilon hisobi, isboti murakkabligi) va ga modali va juda qadrli mantiq, ayniqsa Gödel mantiqi.[1]

Karyera

Zak o'zining bakalavr ta'limini shu erda olgan Vena Texnologiya Universiteti va uning fan doktori. mantiq guruhi va fan metodologiyasi Berkli Kaliforniya universiteti. Dissertatsiyasi, Hilbert dasturi: tarixiy, falsafiy va metamatematik istiqbollar, birgalikda Paolo Mancosu va Jek Kumush.[2]

U dars bergan Kalgari universiteti 2001 yildan beri professor unvoniga ega. U tashrif buyuradigan uchrashuvlarni o'tkazdi Kaliforniya universiteti, Irvin[3] va McGill universiteti.[4]Zach - ning asoschi muharriri Ramziy mantiqni ko'rib chiqish va Analitik falsafa tarixini o'rganish jurnali, shuningdek, assotsiatsiyalangan muharriri Studiya Logicava uchun mavzu muharriri Stenford falsafa entsiklopediyasi (Zamonaviy mantiq tarixi).[5] U tahririyat kengashlarida ishlaydi Bernays nashr[6] va Carnap nashr.[7] U Kengashga saylangan Ramziy mantiq assotsiatsiyasi 2008 yilda[8] va u ASL Mantiqiy ta'lim bo'yicha qo'mitasida ishlagan[9] va ijroiya qo'mitasi Kurt Gödel Jamiyati.[10]

Adabiyotlar

  1. ^ Richard Zak. "Tadqiqotlar va nashrlar". Olingan 2014-12-10.
  2. ^ Richard Zak da Matematikaning nasabnomasi loyihasi
  3. ^ UC Irvine LPS. "Ilmiy tashrif buyuruvchilarning mantiqi va falsafasi". Olingan 2014-12-12.
  4. ^ McGill falsafa bo'limi. "Olimlarni ziyorat qilish". Olingan 2014-12-12.
  5. ^ "Richard Zak". Kalgari universiteti falsafa bo'limi. Olingan 2014-12-11.
  6. ^ Karnegi Mellon universiteti. "Bernays loyihasi". Olingan 2014-12-11.
  7. ^ Karnegi Mellon universiteti. "Rudolf Karnapning to'plamlari". Olingan 2012-12-11.
  8. ^ Ramziy mantiq assotsiatsiyasi (2008 yil yanvar). "ASL axborot byulleteni" (PDF).,
  9. ^ Mantiqiy ta'lim bo'yicha ASL qo'mitasi. "A'zolar". Olingan 2014-12-12.
  10. ^ Kurt Gödel Jamiyati. "Tashkilot". Olingan 2014-12-12.

Tashqi havolalar