言及状況

Twitter (3 users, 4 posts, 3 favorites)

@oka_seki_mori https://t.co/Tcviph0nHl が結構参考になります
引用元はhttps://t.co/Tcviph0nHl https://t.co/3nSbnelF7A
こう言うの知らなくて素朴に感心してます、へー 選列と論理 I : 直観主義解析学における連続性原理 https://t.co/Wrt7BZo4uf 直観主義において構成される実数は完結じた対象ではなく,必要に応じて各項を幾らでも計算して行くことのできるコ一シー列に他ならない。
金子洋之「選列と論理 I: 直観主義解析学における連続性原理」『北海道大學文學部紀要』1990 を読んでいた. http://t.co/hEMy0s4r3e

収集済み URL リスト