雑談スレッド

289：Red cat★：2005/11/20(日) 17:30:21 ID:mYIFzTwE: >>288
＞数学の世界に、そのような立場があった
ええ、「直観主義的集合論」と言われるものです。
古典主義論理の立場に立つ以上、
P :「自然数全体の集合 N の空でない部分集合 X には最小元がある」
は正しい命題であり、証明も出来ます。しかし、直観主義論理の立場では、
P が正しい、ということを、「P が成り立つことを確認する(有限時間で
終わる)方法を具体的に持っている」と解釈します。この立場からは、命題
P は、正しいとも正しくないとも言い切れません。

新着レスの表示

※書き込む際の注意事項はこちら

※画像アップローダーはこちら

（画像を表示できるのは「画像リンクのサムネイル表示」がオンの掲示板に限ります）

掲示板管理者へ連絡無料レンタル掲示板