2023.07.14
https://gyazo.com/9ec503f70c04eb1fbc9da8f6f45da6c9
https://fedibird.com/@sno2wman/110706108503639597
G. Boolos; "The Logic of Provability"
の表紙はいくらなんでもダサすぎると本当に個人的に思う
前：
2023.07.13
後：
2023.07.15
#日報
知った
https://ja.wikipedia.org/wiki/麻雀の得点計算
政治家になる以前の
菅直人
が、麻雀の点数計算の複雑さに目を付けて麻雀の点数を自動的に計算する機械を発明して特許を取ったが、実用化はされなかった。
何なんだ
知った
Chaitinの不完全性定理
万能Turingマシン
のエンコーディングに全てが依るんだったらこの定義ダメじゃね？と思って修正
思った
きょうは何もしない日でいいかと思って3連続してたら気が狂った
やった
S. Krtchman, R. Raz; "The surprise examination paradox and the second incompleteness theorem"
を読んだ