jeneshicc https://blog.hatena.ne.jp/jeneshicc/ 落書き、時々落学 https://jeneshicc.hatenadiary.org/ 日記 3人寄れば文殊の知恵 とはいいますが、所詮、たいした専門知識も持っていない人が集まってもねぇというわけで今日は 3人寄れば大混乱 でした。よく分からないこと P=NP、P≠NP？ P=NPは決定不能？ 決定不能とはどういうことか？ 証明可能とは証明木が構成できるということか？ ときどき、公理系と独立とか聞くけどあれの意味は？ 任意の命題は肯定か否定のどちらか一方が成り立つのか？ 真だが証明できない命題があるのは不完全性定理から？ 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fjeneshicc.hatenadiary.org%2Fentry%2F20081029%2F1225295454" title="3人寄れば - 落書き、時々落学" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2008-10-29 00:50:54 rich https://jeneshicc.hatenadiary.org/entry/20081029/1225295454 1.0 100%