koiwaslie

音楽とか小説とか映画とかアニメとか。好きなものを好きなまま書きます。

2019-03-05から1日間の記事一覧

感想『恋と禁忌の述語論理』

感想 井上真偽著『恋と禁忌の述語論理』 森帖詠彦から数理論理学者の叔母、硯さんへの相談。それは名探偵が解決した事件、その推理の真偽の証明。記号化により推理は論理へと姿を変え、見えているはずなのに見えていなかった矛盾を示す。 まず本書の特徴とい…