前回:汲み取り式便所とボットン便所は同じ物なのか - 次回:「美女と野獣と矛盾」と必要十分条件


第九回 脳内メーカーは正しいのか

「脳内メーカー」は最近話題になっているが、名前を入れるだけで脳内図が分かるという。
しかし、これでは、同姓同名の人とは脳内が同じということになってしまう。

また、名前と名字の間にスペースを入れるかどうかで結果が変わってしまうらしい。

これははなはだ疑問である。

今回は、背理法で、脳内メーカーは必ずしも正しいとはいえないことの証明をする。

脳内メーカーは必ずしも正しいとはいえないことの証明

脳内メーカーの結果が必ず正しいと仮定する。…@

しかし、名前と名字の間にスペースを入れるかどうかで結果が変わってしまうことがある。
これは同じ人の脳内図であるから、2つの結果の内、少なくとも一方は間違っていることになる。…A

Aは@の、脳内メーカーの結果が必ず正しいという仮定に対して矛盾する。

この矛盾は脳内メーカーの結果が必ず正しくなると仮定したことにより発生した。

∴脳内メーカーの結果が必ず正しいとはいえない。

※「脳内メーカーの結果は全て正しい」の否定は「脳内メーカーの結果が必ず正しいとはいえない」、または「脳内メーカーの結果について、間違った物がある」

特に、背理法の実用例として使いました。別に侮辱しているわけではありません。
数学の証明です


別の証明法

脳内メーカーは必ずしも正しいとはいえないことの証明 another version

脳内メーカーの結果が必ず正しいと仮定する。…@

「滝沢泰恵」という名前(架空)の人について、
漢字の新字体、旧字体がそれぞれ2つずつあり、書き方は16通りある。

※「滝」と「瀧」、「沢」と「澤」、「泰」は俗字がある、「恵」と「惠」

ここで、どれを入れるかで結果が変わってしまう。
仮定より、「滝沢泰恵」の16通りは全て同じ人であるから、
16つの結果の内、少なくとも1つ以上は間違っていることになる。…A

Aは@の、脳内メーカーの結果が必ず正しいという仮定に対して矛盾する。

この矛盾は脳内メーカーの結果が必ず正しくなると仮定したことにより発生した。

∴脳内メーカーの結果が必ず正しいとはいえない。

※入れるのは本名でなければならないという指摘があったため変更。


数学ネタへ戻る