[logic-ml] PSSJ Symposium

takeuti at kuis.kyoto-u.ac.jp takeuti at kuis.kyoto-u.ac.jp
Thu Oct 16 17:57:00 JST 2014


各位

科学哲学会シンポジウムの宣伝を致します。

シンポジウム「数学を巡る思索」
日時:11月15日(土)14:15〜16:45
会場:南山大学名古屋キャンパスB棟B11教室
ウェブ:http://pssj.info/program/program.html

会費が1000円掛かります。

論理学の観点からは、
野本和幸氏のデデキントの数概念に関する講演があります。

数学としての話はありません。
計算機科学としては、蓮尾さんに会えます。

産総研
竹内泉
takeuti at ni.aist.go.jp



More information about the Logic-ml mailing list