Loading article…
リチャード・ザック | |
|---|---|
| 母校 | カリフォルニア大学バークレー校 |
| 科学者としてのキャリア | |
| フィールド | |
| 機関 | カルガリー大学 |
| 論文 | ヒルベルトの有限主義：歴史的および哲学的観点 （2001） |
| 博士課程の指導教員 | パオロ・マンコス、ジャック・シルバー |
| Webサイト | このサイトについて |
リチャード・ザックはカナダの論理学者、数学哲学者、論理学と分析哲学の歴史家であり、現在はカルガリー大学の哲学教授です。
研究
ザックの研究対象には、形式論理の発展と、この発展に関連する歴史上の人物（ヒルベルト、ゲーデル、カルナップ）が含まれます。数学の哲学では、ヒルベルトのプログラムと証明論の哲学的関連性について研究してきました。数理論理学では、証明論（イプシロン計算、証明の複雑性）と様相論理および多値論理、特にゲーデル論理に貢献してきました。[1]
キャリア
ザックはウィーン工科大学で学士号を取得し、カリフォルニア大学バークレー校の論理学および科学方法論グループで博士号を取得しました。彼の博士論文「ヒルベルトのプログラム：歴史的、哲学的、メタ数学的観点」は、パオロ・マンコスとジャック・シルバーの共同指導を受けました。[2]
彼は2001年からカルガリー大学で教鞭を執っており、教授の地位にある。カリフォルニア大学アーバイン校[3]とマギル大学[4]の客員教授も務めた。ザックはReview of Symbolic LogicとJournal for the Study of the History of Analytic Philosophyの創刊編集者であり、Studia Logicaの副編集者、スタンフォード哲学百科事典（近代論理の歴史）の主題編集者でもある。[5]バーネイズ版[6]とカルナップ版[7]の編集委員を務めている。彼は2008年に記号論理学会評議会[8] （ASL）に選出され、ASL論理教育委員会[9]とクルト・ゲーデル協会の執行委員会で務めた。[10]
参考文献
- ^ Richard Zach. 「研究と出版物」. 2014年12月10日閲覧。
- ^ 数学系譜プロジェクトのリチャード・ザック
- ^ UC Irvine LPS. 「Logic and Philosophy of Science Visitors」 。 2014年12月12日閲覧。
- ^ マギル大学哲学科。「訪問学者」 。 2014年12月12日閲覧。
- ^ 「リチャード・ザック」カルガリー大学哲学部。 2014年12月11日閲覧。
- ^ カーネギーメロン大学。「The Bernays Project」 。 2014年12月11日閲覧。
- ^ カーネギーメロン大学。「ルドルフ・カルナップ全集」 。 2012年12月11日閲覧。
- ^ 記号論理学協会(2008 年 1 月)。「ASL ニュースレター」(PDF)。、
- ^ ASL 論理教育委員会。「メンバー」 。2014年 12 月 12 日閲覧。
- ^ クルト・ゲーデル協会。「組織」 。 2014年12月12日閲覧。
外部リンク
- 公式ウェブサイト
- LogBlog: ロジックブログ
- 部門情報ページ
- 分析哲学史研究協会
- オープンロジックプロジェクト