こともなし

曇。

昼から激しい雷雨。

ソール・A・クリプキウィトゲンシュタインパラドックス』を読み始める。Ruby による「プラス」と「クワス」の実装例。

#プラス(アディション)
68 + 57    #=>125
2 + 7      #=>9
15 + 8     #=>23


class Integer
  alias plus +
  def +(other)
    plus(other).digits[0]
  end
end

#クワス(クワディション)
68 + 57    #=>5
2 + 7      #=>9
15 + 8     #=>3

我々はどうして「プラス」と「クワス」を実装してしまえるのか。

 
夜。
風呂で外の虫の声を聴いていた。少なくとも四種類は居そうである。

クリプキの続きを読む。

早寝。