- 871 名前：１３２人目の素数さん mailto:sage [2006/03/02(木) 22:34:36 ]
- >>865
「数学的直観主義」だね。
ja.wikipedia.org/wiki/%E6%95%B0%E5%AD%A6%E7%9A%84%E7%9B%B4%E8%A6%B3%E4%B8%BB%E7%BE%A9
↓ぐぐって見つけた文章
www.ritsumei.ac.jp/se/~tjst/doc/announce/am96.html
＞トポス理論の構築を通して 構成的議論の本当の意味は、
＞種々の数学的定式化に依存しない数学的真理を与えるという点にある、
＞ということを明らかになったのである。
なんかすごい事言ってるような気がするけど、全然分からない…
もうちょっと具体的にはどういう事なの？
