HOME > ニュース > 2011 > 証明論の展開とその哲学(2011年2月26日(土))開催について
証明論の展開とその哲学(2011年2月26日(土))開催について
日時:2011年2月26日(土)13:00~18:00
場所:三田キャンパス東館6階 G-SEC Lab (キャンパスマップ)
講演者:
Richard Zach (University of Calgary)タイトル:"Gödel's First Incompleteness Theorem and Mathematical Instrumentalism"
Ryo Takemura (Keio University)タイトル:"Proof Theory for Reasoning with Euler Diagrams"
Sam Sanders (Tohoku University)タイトル:"Reverse Mathematics & Non-Standard Analysis:WHY SOME THEOREMS ARE MORE EQUAL THAN OTHERS"
Michele Basaldella (Kyoto University)タイトル:"A Gentle Introduction to Ludics"
現代論理学、特に証明論から引き出された文脈のなかで、Hilbert, Gödel, Friedman, Girard らによって議論されたテーマのいくつかついて、その技術的概観とともに哲学的観点を検討することを本研究会の目的としています。
*使用言語:英語(通訳なし)
*会費・事前登録は不要ですので、どうぞ皆さま奮ってご参加ください。
詳しくは、こちらをご覧ください。(ポスター)