2023.09.17
前：
2023.09.16
後：
2023.09.18
#日報
観た
撲殺天使ドクロちゃん
ひどすぎる
やった
思った
今日はずっと寝ていた
読んだ
M. Kikuchi, T. Kurahashi; "Liar-type paradoxes and the incompleteness phenomena"
証明可能性論理
の上に
嘘つき型パラドックス論理式
と
厳密嘘つき型パラドックス論理式
というものを定義する．
これを用いると
嘘つきのパラドックス
、
抜き打ちテストのパラドックス
、
Mooreのパラドックス
、
Curryのパラドックス
などを容易に形式化することができる
#パラドックスの形式化
詳しくはあとでメモをする
G. Boolos; "The Logic of Provability"
少しね