Logic Matters経由。ドイツ語でしか読めなかったゲンツェンの伝記が英語で出る！詳細はこちら。 ゲンツェンは Sequent calculus の創設者にして "the founder of modern structural proof theory" と見なされる一方、その愚行は数学基礎論の黒歴史扱いされて…

sumiiの日記経由、多値論理の 0,1 以外の真理値を「その命題が真である確率」を表すものと解釈する人が時々いますが、Lukasiewicz 三値論理などではその解釈は成り立たない、というご指摘。 この論法は、Fuzzy論理の真理値（区間[0,1]の実数値）を確率として…

久しぶりの夏空、よく晴れる。起床は9時半、出勤して雑用。午後も雑用。夕方から発表練習。19時に帰宅、夕食の調理を手伝う。夏野菜とトマトのパスタ、ちゃんと味がする。食後Cと録画した「らき☆すた」を見る。24時に寝る。