>>349
＞ だから、実際にそうだよ、と言っただけですけど…
それで、その後の文をその理由付けと思ったら違う話しだったわけですか。
ということは、”実際にそうだよ”だけが定義されてない用語はないということへの
解答ということですか。

＞ 大体数学自体のことを歴史の函数なんて言った人なんて知りませんが。
よくいわれるのは、「”厳密性"は歴史の関数である」と「"証明”は歴史の関数である」です。
厳密性には公理､定義の完全さへの言及があります。ここまでいえば、数学自体が歴史の
関数といっていいでしょう。だれの言葉か明記しなくとも。

＞ 無いものをあると強弁されても困ります。
それは今意識されてないだけのことです。歴史を振り返ってみればわかること。

＞ 直観主義はもともとBrouwerの個人的信条に基づいた特殊な思想だったのですが
特殊な思想は言い過ぎでしょう。ヒルベルトもおおきな影響をかんじていたのだから。
排中律はともかくとして、直観主義の主要な考え方に同意する数学者は多いとおもいます。
それに形式主義も論理主義も下火になってしまったでしょう。みな数学的直観が大事だと
思っているのでは｡

＞ 計算機を使おうが使うまいが、人がチェックして正しいことが確認できれば
ほとんどチェックできない証明ばかりではないですか。取るに足らない、計算機を使う必要も
ない証明をべつにして。

＞もし査読者が無能な数学者だったら、
だから複数の査読が必要なんです。もし査読者が有能でも、証明者と同じ党派に属していたら
これも信用できないです。