⓪表記の件を書くモティベーションの1つに、よくそれは学術雑誌に論文として掲載されていますか、という相手の主張に対する反論?として言うおバカが結構多いこと、これは???大学の研究者によって発表されているのですがというバラエティー(泥沼女帝+抱かれたいお爺さん3位の)での発言に別段問題は感じないのですが、そういうのを自分の主張の正しさの根拠にする、脳みそご立派な脳科学者?中野様のようなお方に対する脳みそ皆無の、ナス田楽に使ったので、数楽者からの逆襲です。他にもありますがそれはこれを読むとわかるかと。

 

①数学の方で、ゲーデルというチェコで100年以上前に生まれたデンジャラスな天才数学者が、不完全性定理なるものを証明しています。どういうことかというと、[公理体系(矛盾のなさそうな真っ当な)があったとき、その公理体系内部で証明できない、つまり正しいとか誤りであるとかいうことが論理的に示せない命題が存在する。またその公理体系に矛盾が存在しないことはその公理体系内では証明できない。]ということを証明しています。ちょっと常人離れした内容でしょう?解説すると、例えば数学者は集合論(当然こいつの無矛盾性はまだ照明されていません)にのかった体系で遊んでます、いや研究してます。この体系はまあ矛盾は無いんでしょうね。我々がよくやる背理法(帰謬法)という証明方法があります。何かを証明したいときに、もしそうでないと仮定すると、ずーっと論理を進めていくと、仮定に矛盾したことがでてきて、それはおかしい、なぜそういうおかしなことがおこったか、要は誤った仮定をしたからだ、つまり仮定とは真逆のことが証明されたという証明方法です。これはあまりいい証明のしかたではないです。なぜそういうことが成立するかがイマイチ分からないので。これは我々のやっている数学体系に矛盾は無いという信念に基づいているわけです。つまり我々数学者が依拠している体系は矛盾の無さそうな体系であるという直観的認識が前提にあるわけです。ただ不完全性定理の後半から証明は出来ません。しようと思うなら、現在の体系を含むもっとデカい体系を考えないと、ということです。ところがそのデカい体系が無矛盾であることはそこでは証明できないという連鎖が続きます。ということで、そんなことええじゃないか、少なくとも今まで矛盾が出たことは無いし、この体系はそこそこ正しいで、という直観的信念が数学者にはあるわけです。

そして、われわれの依拠している体系には、連続体仮設という正しいとも誤りとも断定できない命題が実際にあります。これはコーエンという人によって証明され、1966年にフィールズ賞をゲットしています。何が言いたいかというと、数学のように単純な体系でも(易しいといういうことではなく、政治理論のようにドロドロしていないという意味です)結構あやふやで、最終的には数学者たちの直観的な共通認識に基づいているということです。こういうことは集合論がカントールによって考え出された時以来の、カントールも精神病院に入ったり出たりした曰く付きのややこし気な集合論にまつわる問題から発しています。集合論でも、有限集合であればどーってことはないのですが、無限集合となると途端に。。。

 

②ここでドロドロ問題にはいります。不倫は文化であるとか、御前様は不倫は絶対イカンという話から。不倫というのは倫(みち)ならざること、非道徳的(immoral)、みーだら、とでもいうこととします。文化というものに良し悪しは言えません。タツーでもそうです。食犬でも食鯨でも。

タツーは爺はどこが悪いかまるで分かりません。カント的に言うと、趣味判断に属するかと思います。(同性愛でも。爺はAV愛好者ですが、レズは割と見て、美しいし、女性がどうして欲しいのかが分かったりします。男性同士は見たことがありません。見たいと思わないので。でもみたい人は見ればいいと思います。そういうカップルを認めると家族制度が崩壊しかねないと言いますが、それはおかしいと思っています。ここでは深入りしませんが)もし、法律でアカンとすれば、法治国家だし法律を破るという悪となります。日本のように公衆浴場に入るの禁止ならそれを守るだけ、お風呂屋さんがそういう営業の仕方をするのも現在は法律違反ではありません。国際化し、日本の大風呂は評判がいいし、もう一定の役割を果たしたし、良いと思いますが、個人的に。

御前様は不倫という仏教的にあかんもんがあかんと言っているだけで、論理学的にはトートロジー(tautlogy)同語・類語反復です。しかしこれはメディアなどでもよく耳にします。相手を攻撃する時、悪いレッテルを貼って、決めつけてどうこういうの。一度五体不満足の人が何人もの女性とカップリングしてましたが、メディアは無理無理?奥さんに否定的なことを言わせてましたが多分この関係者は了解済みの事かと思っています。八方良しみたいな。張本人は仕事を取り上げられたかなんかし、メディアはネタを得たということです。とにかく週刊誌でも売りたい、TVでも視聴率をあげたい、それだけです。日曜の例のバラエティで井上さんの向かって左に座っている人が、いわば監視的、チェック的役割を持っているとか言っていましたが、まあいいわけということは普通の人は分かっています。聞いていて面白いことが多いですが、プライバシーをどうこう言う割には、やり玉に挙げた人のプライバシーはほぼ無視。

 

③とにかく、数学は厳密な学問と思われているが、突き詰めると直観がよりどころであること、それは数学的に証明されている(不完全性定理により)こと、理工学は数学を基礎に置き、記述するに便利な言葉として、解明手段とされているから、すべての科学は、理工学のみならず確固たるよりどころは無いといってよい。

 

④論理性について。