16/11/27 13:02:30.01 dKz7cXDk.net
>>548 つづき
おっちゃん、「構成主義的数学」（下記）わかりますか？
URLﾘﾝｸ(fomalhautpsa.sak)<) 強制改行
ura.ne.jp/Science/Murata/sugaku-kisoron-rekishi.pdf
数学基礎論の歴史 ―その一つの断面― 村田 全
(抜粋)
経験主義―E. Borel 達の解析学者の主張に始まる。集合論における「対応」が
どの程度まで具体的であるべきか等を論じた。特に集合論の選択公理の妥当性を
めぐって論争したが，その主旨は今日の「構成主義的数学」，あるいは回帰的関
数(recursive function) の理論などに生かされている。
(引用終り)