[logic-ml] セミナー案内

[KASHIMA Ryo]

数理論理学セミナーのお知らせ

日時：1月20日(金) 17:00から
場所：東京工業大学 大岡山西８号館 Ｗ棟10階 W1008
話者：竹内泉（産総研）
題目：数学と変数
概要：
　これは数学の言語哲学の研究である。変数の使用は数学の言語に
特有であるので変数の使用を分析することによって数学の本質に迫
ることを目標とする。数学の変数の使用には幾つもの種類がある。
本発表では、以下のような分類に沿って説明する。 (1)恒等式の文
字 (2)方程式の未知数 (3)多項式論の変数と命題変数 (4)座標変数
と確率変数 (5)独立変数と従属変数

------
本セミナーは定期的に東工大で開催しているものです。
初めて参加を希望される方はご一報ください。
-----
鹿島 亮
東京工業大学 情報理工学院 数理・計算科学系
kashima at is.titech.ac.jp