2023.10.12
https://gyazo.com/4f16b68038f7dc709c70c890ddd7467c
O. Semastian; "Incompleteness Ex Machina"
https://www.scottaaronson.com/incompleteness.pdf
前：2023.10.11
後：2023.10.13
#日報
観た
陰の実力者になりたくて！ 2nd Season; 第2話「」
暴走が始まる…
彼女がフラグを折られたら
渋滞しすぎ渋滞しすぎ渋滞しすぎ渋滞しすぎ
16bitセンセーション ANOTHER LAYER; Layer 2
萌すぎ
メモ
T Kurahashi, A. Visser; "Pour-El's Landscape"
理論の不完全性/理論の決定可能性/理論の分離可能性について
おもしろそう
ところで"Pour-El"ってなんと発音すればいいのだろう？プーエル？
本質的遺伝的決定不能性の遺伝的決定不能性の部分ってなんなんだろうか？
メモ
普通に逆だと思っていたが、Presburger算術の決定可能性はGödelの不完全性定理より前に証明されているらしい
M. Presburger; "Über die Vollständigkeit eines gewissen Systems der Arithmetik ganzer Zahlen, in welchem die Addition als einzige Operation hervortritt"
この論文は1929年に書かれている．
K. Gödel; "Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme. I."
この論文は1931年．
Presburger算術って記号としては何を用いれば良いんだっけ$ \sf P?
なお現代的な視座では
Presburger算術の論理式を有限オートマトンに帰着する方法でPresburger算術の決定可能性を証明することが出来る
y.; "有限オートマトンとPresburger算術"
メモ
Arthur Francis Smullyanという哲学者が居て随分Raymond Smullyanに名前が似てるなと思った所普通にいとこ関係らしい．
His cousin was the philosopher Arthur Francis Smullyan (1912-1998).
https://en.wikipedia.org/wiki/Raymond_Smullyan
メモ
S. Iwata, T. Kurahashi, "Topological semantics of conservativity and interpretability logics"