>>401
＞ だから、無限小＝０　です。
失礼ながら､まだこんなことを言われるのですか？コーシーの定義をもう一度
読み直してください｡
>>403
＞ 通常、第三者の立場の人が、割り当てられます。
これこそ、その証拠といえるのではないですか？
>>404
＞ 単なるあなたの思い込みです。
こたえづらいですが、広義の直観主義といったものなら多くの数学者がそれであると
おもうのですが。
>>405
＞竹内外史が、Alfred Tarski に
タルスキーは数学者とは言えないでしょう｡
と言うと、数学者の定義でひともめするかな。
>>417
＞説明できなくて、実は知らないことに気づかされる
わからないようですので、もっと簡単な例をだしましょう。
「数学とはなんですか」ときかれたらどうです。
説明しようとしなければ、数学についてある程度はわかっているでしょう。
でも、いざ説明しようとしたら大変だ｡そういうことはたくさんあるのです。
もっともソクラテス的な無知に気づいたというならそれはそれで結構ですが。
>>421
＞機械は証明を考える能力を持っていません。
またでたらめを言う｡簡単な問題なら証明を機械がやっているでしょう。
なにを称して’考える’というのかの問題は残りますかね。

＞機械での証明検証プログラムを作るのに１０年以上かかっています。
その検証プログラムを検証するプログラムを20年くらいかけてつくってください。