2005-11-09 下から読んでも子猫 think 久々にロン2やったらサクッと5連勝。楽な展開でう〜む。 ヒルベルトが講義で言ってたっていう存在証明の話。 「この教室には、次の命題にあてはまる学生が少なくとも一人はいます。その学生よりも髪の毛が多い学生は他にはいないという命題です。それはどの学生でしょう。もちろん、私にはその人の髪の毛の本数も、他の人に比して何本多いのかもわかりません。けれどもそういう学生がいることは、絶対の確信をもてます。」 わかりやすい。