2023.08.01
https://www.youtube.com/watch?v=3Nvxv6ZJ1oo
2023年にこれを投稿しているのは正気ではない
前：
2023.07.31
後：
2023.08.02
#日報
読んだ
暗号学園のいろは(1)
やった
数理計画法
線型計画法
について
シンプレックスタブロー
のやり方について学んだ
まあまあ面白い
メモ
Smullyanの初等形式体系
知った
「
述語論理
」を「
1階論理
」と呼ぶようになったのは，
R. Smullyan, "First Order Logic"
の功績によるものが大きいらしい
『
スマリヤン 数理論理学講義 下巻
』の監訳者（
田中一之
）のあとがきによれば
メモ
この間
仮想的なプログラミング言語を想定してKolmogorov複雑度の計算不能性を証明する
って結局何を主張したものなのか？と訊かれて確かに…となってしまった
結局何が計算不能だったのだろうか
Kolmogorov複雑度の計算不能性