>>548 つづき

おっちゃん、「構成主義的数学」（下記）わかりますか？

http://fomalhautpsa.sak 強制改行
ura.ne.jp/
科学図書館 （2012/06/04 改 訂)
(抜粋)
村田　全の部屋(2008年7月6日逝去)
――透徹した史観と幅広い視野を持つ数学 史家・村田全の著作を収めた部屋――
(引用終り)

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