2023.11.03
前:
2023.11.02
後:
2023.11.04
#日報
Memo
様相論理の公理SL
Strong Löb Logic
で
様相論理の公理L
の代わりに置かれる公理
一体なんなのかはよくわかっていない.
思った
紙の横幅に合わせて文字や単語間を開けたりして調整する組版上の機能(?)、どの言語の文書であっても変な事故しか起こしていない上に人生で一度も美しいと思ったことがないが皆はあれをいいネと思っているのだろうか
https://twitter.com/SnO2WMaN/status/1720170412930425157
「自分で髭を剃らない人の髭だけを剃る床屋は、床屋自身の髭をどうするのか?」のパラドックスを雑に扱えば、全ての人の髭を剃る床屋は矛盾している(どういうことですか?)ことにならないだろうか
#床屋のパラドックス
やった
定理証明支援系での論理の形式化