  |
はてなキーワード: ペネロペとは
量子力学における観測者問題についてはよく知られるように、人間の主観性が量子実験の結果に重要な役割を果たしている。
ドイツの物理学者ヴェルナー・ハイゼンベルクによる有名な引用がある。
「私たちが観察するのは現実そのものではなく、私たちの質問の方法にさらされた現実です。」
例えば有名なダブルスリット実験では、スリットの後ろに検出器を置かなければ電子は波として現れるが、検出器を置くと粒子として表示される。
したがって実験プロトコルの選択は、観察する行動パターンに影響する。これにより、一人称視点が物理学の不可欠な部分になる。
さて、数学にも一人称視点の余地はあるか。一見すると、答えは「いいえ」のように見える。
ヒルベルトが言ったように、数学は「信頼性と真実の模範」のようである。
それはすべての科学の中で最も客観的であり、数学者は数学的真理の確実性と時代を超越した性質に誇りを持っている。
ピタゴラスが生きていなかったら、他の誰かが同じ定理を発見しただろう。
さらに定理は、発見時と同じように、今日の誰にとっても同じことを意味し、文化、育成、宗教、性別、肌の色に関係なく、今から2,500年後にすべての人に同じ意味があると言える。
さて、ピタゴラスの定理は、平面上のユークリッド幾何学の枠組みに保持される直角三角形に関する数学的声明である。しかし、ピタゴラスの定理は、非ユークリッド幾何学の枠組みでは真実ではない。
何が起こっているのか?
この質問に答えるには、数学的定理を証明することの意味をより詳しく調べる必要がある。
定理は真空中には存在しない。数学者が正式なシステムと呼ぶものに存在する。正式なシステムには、独自の正式な言語が付属している。
つまり、アルファベットと単語、文法は、意味があると考えられる文章を構築することを可能にする。
その言語には、「点」や「線」などの単語と、「点pは線Lに属する」などの文章が含まれる。
次に正式なシステムのすべての文のうち、有効または真実であると規定した文を区別する。これらは定理である。
それらは2つのステップで構築されれる。まず、最初の定理、証明なしで有効であると宣言する定理を選択する必要がある。これらは公理と呼ばれる。
公理からの演繹は、すべての数学がコンピュータで実行可能な印象を生む。しかし、その印象は間違っている。
公理が選択されると、正式なシステムで定理を構成するものに曖昧さがないのは事実である。
これは実際にコンピュータでプログラムできる客観的な部分である。
例えば平面のユークリッド幾何学と球の非ユークリッド幾何学は、5つの公理のうちの1つだけで異なる。他の4つは同じである。
しかしこの1つの公理(有名な「ユークリッドの5番目の仮定」)はすべてを変える。
ユークリッド幾何学の定理は、非ユークリッド幾何学の定理ではなく、その逆も同様。
ユークリッド幾何学と非ユークリッド幾何学の場合、答えは明確である。これは、単に説明したいものに対応している。
数学は広大であり、どのように公理を選択するかという問題は、数学の基礎に深く行くと、はるかに感動的になる。
すべての数学的オブジェクトは、いくつかの追加構造を備えたセットと呼ばれるものであるということだ。
たとえば自然数のセット1,2,3,4,...は加算と乗算の演算を備えている。
集合論は特定の正式なシステムによって記述される。Ernst ZermeloとAbraham Fraenkelと、選択の公理と呼ばれる公理の1つに敬意を表して、ZFCと呼ばれる。
今日の数学者は、すべての数学を支える集合論の正式なシステムとしてZFCを受け入れている。
彼らは、無限の公理と呼ばれるZFCの公理の1つを含めることを拒否する。
言い換えれば、有限主義者の正式なシステムは、無限の公理のないZFCである。
無限大の公理は、自然数の集合1,2,3,4,...が存在すると述べている。すべての自然数に対してより大きな数があるという声明(「ポテンシャル無限大」と呼ばれる)よりもはるかに強い声明である。
有限主義者は、自然数のリストは決して終わらないことに同意するが、いつでも自然数の集合の有限の部分集合のみを考慮することに限定する。
彼らは一度にまとめたすべての自然数の合計が実在することを受け入れることを拒否する。
この公理を取り除くと、有限主義者が証明できる定理はかなり少なくなる。
正式なシステムを判断し、どちらを選択するかを決定することができるいくつかの客観的な基準...なんてものはない。
「時間と空間を超越した何かを象徴しているので無限大が大好きだ」と言えば無限大の公理を受け入れることができる。
ゲーデルの第二不完全性定理は、十分に洗練された正式なシステム(ZFC等)は、自身の一貫性を証明することができないと述べている。
数学者は、今日のすべての数学の基礎であるZFCが確固たる基盤にあるかどうかを実際に知らない。
そしておそらく、決して知ることはない。
なぜなら、ゲーデルの第二の不完全性定理によって、より多くの公理を追加することによってZFCから得られた「より大きな」正式なシステムにおけるZFCの一貫性を証明することしかできなかったから。
一貫性を証明する唯一の方法は、さらに大きな正式なシステムを作成することだけだ。
数学を行うためにどの公理を選択すべきかについて、実際には客観的な基準がないことを示唆している。
要するに、数学者が主観的に選んでいるというわけである。自由意志に任せて。
公理のための主観的な基準というのは、より豊かで、より多様で、より実りある数学に導くものを選ぶという人は多い。
これは自然主義と呼ぶ哲学者ペネロペ・マディが提唱する立場に近い。
特定の公理のセットを選択する行為は、量子物理学の特定の実験を設定する行為に似ている。
それには固有の選択肢があり、観察者を絵に導く。
昔からキャラ萌えが魅力的な物語を作るための基本だったのだけど。
ホメロスではペネロペイアたんprprなわけだし、シェイクスピアではコーデリアたんprprだし、ゲーテではロッテたんprprだし、トルストイではカチューシャたんprprだし、ドストエフスキーではドゥーニャたんprprだし。
ドラマや映画だってヒロインは美人ばっかり。オードリー・へプバーンとかいま見てもほんとにきれいだよね。
硬派なアニメが好きな人には申し訳ないけど、キャラ萌えがすべての基本なんだよね。これ現実。アニメだけの問題じゃない。えるたそ～してるのはキモオタのぼくらだけじゃないってこと。
なんできみらが美少女のことをそんなに嫌がるのかぼくにはわけがわからないよ。
硬派で内容があるといわれているエヴァだってコードギアスだってまどマギだって美少女ばっかりだよね？（とくに亡国のアキトのレイラ・マルカルってやばくない？）ファンの大半はストーリー考察して楽しんでるのではなくて、単純にほむほむしてるわけ。宇宙戦艦ヤマト2199の森雪とかも魅力的すぎてやばいよね。
昔のアニメだってそう。ハイジだったらクララが勃ったのクララさんは美少女だし、ロミオの青い空ではアンジェレッタたんとか超美少女天使だったし。
万葉集にだって恋の歌がたくさん載ってる。日本の神話ではたとえば木花之佐久夜毘売たんprprなわけだし。ニーベルンゲンの歌ではクリームヒルトたんprprだし。北欧神話ではフレイヤたんprprでしょ？
ぼくらキモオタは間違っていない。きわめて正常だ。世界中の人間が美人や美少女を見てはprprしているのだから。
美少女を見てすぐに豚向けだとか言ってるやつらがおかしいんだよ。たとえばけいおんにだってちゃんとストーリーはあるしドラマもある。
日常描写に意味を感じられないなら、それは純文学や詩を楽しめないのと同じだし、それって要するに感度が低いだけっていうか、物事の繊細さ、風雅を理解しないがさつな人間ってことなんじゃないの？
人が死んだり戦争したりっていう極端な描写、刺激の強いものしか理解できない人間ってことなんじゃないの？
曖昧な共感だとかを理解しないコミュニケーション能力不足な人間ってことなんじゃないの？
日本は和歌の文化だったけど、ときにはなんでもない自然を取り上げてこざっぱりと歌い上げたりしてきたわけだよ。アニメの美少女描写はそういう自然を歌ったときの感動に近いものがあると思う。未確認で進行形の真白たんはかわいさがやばかったけど、あのかわいさはひとつの芸術だよ。おしつけがましい演出ではなく、あくまで真白たんにとっての当たり前の動作として表現しているところがすごい。ここに静かな、だが奥深い感動があるわけだ。
美少女アニメはこれからも続いていくよ。ラブライブが馬鹿売れしたみたいだしね。結局ぼくらが求めてるものってそういうのなんだよ。
硬派なオタクはアニメがくだらなくなったとか嘆くけど、だったらきみがいいと思うアニメにちゃんとお金を出しなよ。ネットで俺わかってるみたいに気取ってないでさ、ちゃんといいと思った作品を買い支えなきゃ。オタクがみんな美少女いらねってなればそういう硬派なアニメが増えるんじゃないでしょうか。しかしそんなことになるかな。ぼくらは美少女が見たいのでね。
失恋をした。
1通目
一昨日
こんにちは o(^-^)o
今度、映画パイレーツオブカリビアンを見に行きませんか？
●●さんの大好きなペネロペクルスが出てるよ
結果は無視された。
2通目
昨日
僕のことがまだ嫌いなのかな…
(;ω;)
あれから成長したんだよ。
相手の立場になって考えることができるようになったし、思いやりも持てるようになったんだよ
結果はまた無視。
3通目
今から送信予定
お返事がもらえないということは、僕の事がまだ嫌いなのだろうと思います。
それにも関わらず2日続けて迷惑なメールをしてしまい、ごめんなさい。
残念ですが、●●さんは僕の事が嫌いのようなので、もうこのメールを最後に連絡をするのを最後にします。
きっと●●さんは自分の事も忘れてほしいと思っていると思います。●●さんの事も忘れます。
ただ最後に僕の嘘偽りのない本音をどうか聞いてやってください。
数ヶ月もの間何も連絡も無く、今回急に連絡したのは、本当はもっと前に連絡したかったんだけど、以前僕が就職する気が無いと言っていたことを思 い出
し、正社員で就職するまでは会うことはおろか、連絡さえもしないでおこうと
あと、当時から僕の事が嫌いだったみたいで、そんな時に何を言っても逆効果と思って。時間が経てば少しは考え直してくれるだろうと思ったからで す。
本当はそんなこと無いんだよ、就職する気はあったよ。本当はマジメなんだ
よっていうことをどうしても言いたくて。
僕の態度や考え方が嫌いって言ってたことがあったけど、それにも全部訳が
あって。
意見や会話等をあえて否定して対立した構図を作った方が盛り上がるかなと
思って‥
何を言ってもわからないって言ってたけど、言ってくれれば全部必ず直せた
よって。
一生僕のことが嫌いでいいけど、せめて誤解だけはしてほしくなくて。
信じられないかもしれないけど、●●さんを傷つけようと思ったことは１度たりともありませんでした。
どうしたら●●さんが喜んでくれるのかしか頭にありませんでした。
それだけはどうか信じてやって下さい。
●●●の思い出をどうか嫌いにならないで下さい。悪いのは全部僕です。●●●に罪はありません。思い出を汚してしまい本当に申し訳ないです。
これで全てが終わり。
辛い思いを1人で抱えきれなくなって、晒すことによってその気持ちを分散したつもりでいたかったのかもしれません。
慰めてほしかったのかもしれません。
そうなんだろうけど、その文化自体に脳のリミッターを温存したり解除したりするきっかけが
仕込まれてるんじゃないかっていう気がする。
よく処女にこだわるのはキリスト教文化って言うけど、実は全然そんなことなくて儒教でもイスラム教でも普通にあるわけで、
ギリシャ神話のペネロペの話とか見ると遥か古代からあったわけだ。時間も空間も離れた場所で同じようなものが
生まれるとすれば、何がしかの人間の脳のシステムじゃないかという推論も成り立つ。
そんでこれらに共通してるのは都市文化だということ。
大雑把に言えば農村文化＝乱交、都市文化＝処女（結婚制度）というのがあって、都市文化のように人間が人間を
秩序立てて管理しようとしたときに、その場所の人間の行動は性行動も含めて制限され、
本来外されるべきリミッターが温存されるんじゃないかと。
つまり「処女」という概念は都市とともに誕生したんじゃないかという説。
