SnO₂WMaN @sno2wman@fedibird.com

日報(2023.09.16)

https://scrapbox.io/sno2wman/2023.09.16

「理論Tで証明できない命題があれば理論Tは少なくとも矛盾はしていない（逆に矛盾しているなら任意の命題が証明できるから）」という事実未だに非直感的すぎて慣れない

日報(2023.09.15)

https://scrapbox.io/sno2wman/2023.09.15

Auth0からのユーザ取得が確率的にコケるという意味不明のバグのせいで開発が全然進まない

まあいいんじゃないでしょうか

#OtoMADB

日報(2023.09.14)

https://scrapbox.io/sno2wman/2023.09.14

日報(2023.09.13)

https://scrapbox.io/sno2wman/2023.09.13

Robinson算術が本質的決定不能かつZF集合論を解釈可能という事実などから行けるかと思ったけどこれから導かれるのは第1不完全性定理であって言明の第2不完全性定理ではないハズだから冷静に考えるとどうやって示すのかは知らないな　モデル理論的な方法なのだろうか？

結局行くことが出来なかった若手による数理論理研究集会2023に証明可能性論理D(森岡 蒼; "証明可能性論理Dのモデルの拡張")についての発表があったが調べても出てこないためどういうものなのかさっぱりわからない

https://educ.titech.ac.jp/ila/news/2023_04/064173.html

東工大の教養卒論の優秀賞に趙 瑛希; "MADムービーは創作活動として認められるべきか"という謎の論文があり、これが指すものが我々のいうアレと同じものなのか気になる　しかし学外の人間が読む手段は無い

#クロスポスト　

https://twitter.com/SnO2WMaN/status/1702067483426083155

『涼宮ハルヒの憂鬱』の8話『笹の葉ラプソティ』の長門の台詞「無矛盾な公理的集合論は自己そのものの無矛盾性を証明できないから」、よりによってなんで公理的集合論の方を採用したんだ

日報(2023.09.12)

https://scrapbox.io/sno2wman/2023.09.12

Buchholzの第2不完全性定理の証明がドイツ語の講義テキストにしかないっぽいのどういうことなんだ

日報(2023.09.11)

https://scrapbox.io/sno2wman/2023.09.11

日報(2023.09.10)

https://scrapbox.io/sno2wman/2023.09.10

日報(2023.09.09)

https://scrapbox.io/sno2wman/2023.09.09

はてなでインターンしてこの機能を実装しました

https://scrapbox.io/sno2wman/はてなリモートインターン2023に参加しました [参照]

日報(2023.09.08)

https://scrapbox.io/sno2wman/2023.09.08