スマリヤンの決定不能の論理パズル を相変わらず読んでるのですが、つまずいたところがあったので、頭の整理を兼ねてメモ。 なかなか理解できなかったのが、以下の論法。 教授が生徒に「君が神の存在を信じないならば、そしてそのときに限り神は存在する」と…

川辺本、読了。 とても読みやすくて、初心者にも分かりやすかったです。 自分はブール代数に馴染みがなかったので、本当に代数でやってしまうあたり、ちょっと感銘を受けました。 （x ⊃ y = xy + x + 1 とか xx = x とか）で、次はコレ。しかし、いくらなん…