日記は下書きにして置いておく、というのを数日続けていたのだけれど、まかり間違ってぽちっと公開などしてしまうと大変なことになるので、単にワードにベタ入力することにした。はていつまで続くやら。
ヘウレーカの録画を見ていて、昔聞いたことのあるような背理法の説明がおもしろかった。背理法とはある主張Ａを証明するのに、Ａでないという前提では矛盾が生じることでをＡを証明する証明法。
例として「僕はカレーが好き」という証明を背理法を用いて、つまり、カレーが好きでないという前提の矛盾を証明するわけだけれども、「カレーが好きではないのに、なぜ昨日の晩カレーを食べたのか」から始まる好きではないことを証明するための苦しい言い訳みたいなのが続く。対話していた数学者の「それは、好きですね」というコメントで証明終了となる。
ここに「カレー」以外の何かを入れて考えてみたりするとけっこうおもしろかったりする。
