[logic-ml] 鈴木右京のセミナー (名古屋大学にて)

[Jacques Garrigue]

logic-mlの皆さん、

名古屋大学多元数理科学研究科のJacques Garrigueです。
突然ですが、以下のセミナーを開催しますので、ご案内申し上げます。

講演者:　鈴木佑京（東京大学大学院広域科学科）
日時:　　2月24日（火）　10:30--12:00と13:00--14:30
会場:　　名古屋大学　理学A館　A328号室

タイトル:　可述算術の世界

アブストラクト:
エドワード・ネルソンは、古典的算術に対するオルタナティブでありながら、
直 観主義的算術や有限主義的算術とも異なる――より徹底した構成主義の
立場に立つ ――自然数論として、「可述算術」と呼ばれる理論を提案した。
彼の理論は、後の 限定算術の研究に影響をあたえるとともに、数学的帰納法に
関する独特な分析を 含んでおり、極めて興味深い。
この講演では、１）まずネルソンの構成主義的な思想を説明した後、
２）可述算 術の数学的展開を解説することで、まず可述算術に対する
イントロダクションを 行う。
そののち、３）ネルソンのような改訂主義とは異なる、講演者自身の観点 から、
可述算術の持つ概念的な興味を解説する。ここでは、可述算術が、
ウィト ゲンシュタインなどが展開した「概念形成としての数学」という描像を
モデル化 したものであることが主張される。