2024.03.28
https://www.youtube.com/watch?v=LaEgpNBt-bQ
前:
2024.03.27
後:
2024.03.29
#日報
メモ
P. Lindström; "Aspects of Incompleteness"
に備え,
もう何度目かになる
算術化のメモ
をちゃんと書こうと画策している.
今論理式集合が原始再帰的であることまでは示した.
メモ
様相論理のタブロー計算
思ったのだが
タブロー計算
について調べようと
Tableau
で検索してもそういうソフトの名前しか出てこないから
analytic tableaux
とちゃんと言うべき泣き出してきた.
思った
補間定理
について私は命題論理のものすら知らない.ちゃんと追うべきか…
メモ
E. Bárcenas, J. Lavalle-Martínez, G. Molero-Castillo, A. Velázquez-Mena; "Craig Interpolation on the Logic of Knowledge"
知った
前原昭二
の名の由来は昭和2年に生まれたからというやや驚きの事実を知った
https://twitter.com/SnO2WMaN/status/1773191487976530074
同氏は,そのお名前が示しているように,昭和 2年 (1927)東京に生まれられ…
https://www.jstage.jst.go.jp/article/mesj/33/1-2/33_66/_pdf