2023.07.31
https://gyazo.com/9e6096461a7a2e86bf65a914293014e2
https://www.youtube.com/watch?v=Wp55SXrrnj0
前：
2023.07.30
後：
2023.08.01
#日報
思った
そして最後には，私は最も大好きな，嘘とサイコロに戻ってきたのだった
メモ
Tarski-Mostowski-Robinson算術
形式化されたChaitinの不完全性定理
すいませんメモしてませｎｎ
M. Kikuchi, T. Kurahashi, H. Sakai, "On proofs of the incompleteness theorems based on Berry's paradox by Vopěnka, Chaitin, Boolos"
思った
C. Smoryński, "The incompleteness theorems"
ってよく考えたらどこに収録されてるものなんだと思ってよく見たら
Handbook of Mathematical Logic
の付録Dらしい．
となるとあのクソ分厚い本なのか？！となって卒倒した
観た
ライアー・ライアー 第5話
伏線が後出しなの本当に意味不明で良い
メモ
Noson S. Yanofsky, "A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points"
対角化補題
/
不動点補題
って圏論の言葉で上手く整理できんか？という論点ちょっと気になるな