DS数学BBS、DS数学BBS・2 を Red cat さんが引き継がれ、継続することとなった由、先程知りました。かように賑わっている掲示板が閉鎖されるのは、とても残念だと思っていたところ、本当にありがたいことです。私のような数ヲタとしては、大歓迎で、本当に嬉しい限りです。新管理人さんには、色々お世話になるかと思いますが、今後ともよろしくお願いします。何の役にも立てませんが、陰ながら応援申し上げます。
>>288
>数学の世界に、そのような立場があった
ええ、「直観主義的集合論」と言われるものです。
古典主義論理の立場に立つ以上、
P :「自然数全体の集合 N の空でない部分集合 X には最小元がある」
は正しい命題であり、証明も出来ます。しかし、直観主義論理の立場では、
P が正しい、ということを、「P が成り立つことを確認する(有限時間で
終わる)方法を具体的に持っている」と解釈します。この立場からは、命題
P は、正しいとも正しくないとも言い切れません。