>>599
＞ 某広義直観主義者は絵美ちゃんに振られて、今夜も数学板を荒すのか。
振られたとかゆう根拠を明示してください。

>>602
＞ こういう定理って数学の定理のごくごく一部だと思ってたけど。
コンピュータ利用の証明についての話しです。

＞ 自然数論も扱えないような体系自体を研究してるわけじゃないですよ。
そういう体系でもモデルを適切に選べば利用価値はあるのです。

＞ 例えばBanach-Tarskiの定理なんかの事を言っているのかもしれないし
タルスキーの直観主義にたいする理解の浅さをかんがえても、推し量れます｡
タルスキ―の仕事といえばまずゲーデルの不完全性定理のヴァージョンアップ版が
あげられるかな。

>>603
＞ 多くの数学者は「数学的直観」は大切なものだと思っています。
大切だと思うのは高校生だっておもうでしょ。ではなくてより深い理解のことです。

＞ 現実に存在するそういう体系の名前を教えてください。具体例を教えてください。
解析学はどうです。

＞ 「アルゴリズムがない場合に人間が考える方法」を抽出するということ？
できますよ。ここで作ってあげてもいいくらい。