論理的に考えることの強力さを一生忘れなくさせる世界一くだらない問題

学校で教える内容を増やすとか減らすとかいう話を聞くと、思い出すことがある。 学校の授業で聞いたことで、今も覚えていることといえば、どれも余計なことばかりだ。 人間が不真面目にできているせいかもしれないが、意思伝達から冗長さや不要なものを除いていくと、いつしか何も伝わらなくなってしまうんじゃないかと思ってしまう。 以下で紹介するのも、むかし雑談のように聞いて、今も忘れがたく頭の片すみにあるバカ話である。 この主張を調査によって検証するためには、髪の毛の数を数えるという手間のかかる作業を、膨大な人数分繰り返すことが必要である。 ほとんどの人にとっては不可能であり、また可能な者がいたとしても、この主張の成否を知ることにはあまりにメリットがないので、調査が実施される見込みはほとんどない。 ではこの件は、人類にとって永遠に謎のままなのかといえば、そうではない。 我々は思考の力によって結論を得ることが

[mjy]

ツッコミどころが多すぎて混乱した。「誰にでも頭髪的双子が存在する」は証明できていない。「頭髪的双子が世界に一組は存在する」というのは周知の事実。この人は禿を見たことがないのか。

[niam]

鳩の巣論法で分かるのは、髪の毛の数が全く同じ人の組が1組は存在する事だけ。「自分と」髪の毛の数が同じ人間が存在するかどうかは分からない。自分だけ10万3本で、他の人類は皆10万本と言う事はあり得る。

[kybernetes]

「髪の毛の数が同じ2人の人間が、必ず存在する」というだけで、「下限0と、ある上限nの間の任意の数kに対して、k本の髪の毛の持つ人間が60億人の中に少なくとも2人存在する」ではない。

[koyhoge]

「髪の毛の数がまったく同じ人間が一人も存在しない」ことと「髪の毛の数が自分とまったく同じ人間が少なくとももう一人存在する」ことは等価ではないじゃろ。何の証明にもなってない。

[QJV97FCr]

禿二人連れてきたら終わり

[terazzo]

なぜ「髪の毛の数がまったく同じ人間が、少なくとも一組存在する。」にしなかったのか。

[nippondanji]

全然論理的じゃなかった。最初の命題は量化子が全称（全ての人にとって〜）か存在（〜という人が存在する）かで全然意味が違うので、それを明記しないのは酷い。

[outalaw]

頭髪的帰納法。人間は皆ハゲであることを証明する。髪の毛が0本は勿論ハゲである。1本もハゲである。髪がn本のハゲは所詮1本増えてもハゲである。ゆえに帰納的に髪が何本あってもハゲである。あなたも私もハッゲ～♪

[steel_eel]

ん？下の方で勝手に『自分と』とか『誰にでも』って付け加えて『成立しない』っていってるのはおかしくね？それとも俺が見た時点で文章修正済み？にしてもわかりにくい文章ではあるけど。

[sonata-kanata]

論理的に考えることの強力さを一生忘れなくさせる世界一くだらない問題

[ippikiohkami]

TKGHatebuReaderより

[blue03]

TKGHatebuReaderより

[tak4hir0]

論理的に考えることの強力さを一生忘れなくさせる世界一くだらない問題 読書猿Classic: between / beyond readers 学校で教える内容を増やすとか減らすとかいう話を聞くと、思い出すことがある。 　学校の授業で聞いたことで、今

[kochizufan]

えええええ？∃の話だったの？元の命題、∀にしか読めないんだが…。

[yoko-hirom]

id:craftone さん。ブログ主さんの訂正記事に解説が出てますよ。http://readingmonkey.blog45.fc2.com/blog-entry-655.html

[tanakaBox]

なるほど

[bobokov]

いやいやいや、これおかしいでしょ、と思ったらブコメで山ほどつっこまれててﾜﾛﾀｗ この画像を載せたかっただけと見た。

[endo_5501]

「髪の毛の数がまったく同じ人間が、少なくとももう一人存在する」の証明

[kazutanaka]

∀x∃y HairTwin(x,y) と ∃x∃y HairTwin(x,y) の違い。

[hrstt]

こういう「引き出し」を持っている先生が面白い先生だったなぁと懐かしくなった．

[tyru]

なるほど

[ryoc0402]

ワロタ

[bluesmart]

数学は好きじゃないけど

[hatechan09]

関係ないけど髪の毛一桁の人って現実に存在するのかな？

[arapro]

面白！[:]

[f1950s]

論理的に考えることの強力さを一生忘れなくさせる世界一くだらない問題

[KaeruHeika]

ロジックで考える前に、文章の示すものを見定める、という前提の重要さを教えてくれる記事。

[chuck_41]

これは恥ずかしいだろうな。

[craftone]

最後の証明が分からない。。「相異なる６個の整数を選んだとすれば、どんな場合にも、鳩の巣原理により、５種類の巣箱のいずれかに、２個の数字が含まれるものがあるはずである。」指摘が無いところを見ると俺だけ？

[sakidatsumono]

せいぜい10万本どまりだからかぶらないわけはないと考えたがそう来たか

[ocs]

「少なくとももう一人」ではなくて「少なくとも一組」だよなーと思ったら案の定指摘済みであった / どうでもいい話だけど、自分にとってのディリクレ原理の初出は→ http://izu-mix.com/math/exam/waseda/1996_1.html

[darklord-118]

「髪の毛の数がまったく同じ人間が、少なくとももう一人存在する。」という命題の証明 論理的に考えることの強力さを一生忘れなくさせる世界一くだらない問題 読書猿Classic: between / beyond readers

[takachino]

素晴らしい。 → 論理的に考えることの強力さを一生忘れなくさせる世界一くだらない問題 読書猿Classic: between / beyond readers

[kabisuke]

「366人いたら同じ誕生日のペアが必ずいる」と同じだよって言えばわかるよね（閏年除く） / むしろ鳩ノ巣原理の真骨頂は「存在しない」ことを背理法で示すときに使えるってところだったり。かなり強力な手法。

[tajima_taso]

考え方って重要だな。

[pmint]

定理に主語が無かった。冒頭に「すべての人には…」か末尾に「…という人が一人はいる」が必要。

[myogab]

産毛と頭髪の違いは？産毛だけ残ってるのはハゲ？薄毛？　人間は四六時中抜け毛してるんだから、ある瞬間と次の瞬間では本数の同じペアが変わるし。双子のシンクロ的に、生涯本数の異なる瞬間の無い二人～だったら？

[epytoerets]

「ブコメが本番」の良い例。

[ninosan]

× Q.E.D　○ Q.E.D.　←この点って「省略」という意味がちゃんとあるんですよ？それにしてもコメ欄にボコボコされる構図になぜか興奮した。