3人寄れば

3人寄れば文殊の知恵

とはいいますが、所詮、たいした専門知識も持っていない人が集まってもねぇ

というわけで今日は

3人寄れば大混乱

でした。

よく分からないこと

  • P=NP、P≠NP?
  • P=NPは決定不能?
  • 決定不能とはどういうことか?
  • 証明可能とは証明木が構成できるということか?
  • ときどき、公理系と独立とか聞くけどあれの意味は?
  • 任意の命題は肯定か否定のどちらか一方が成り立つのか?
  • 真だが証明できない命題があるのは不完全性定理から?
More Reading
Newer// Problem 33
Older// Problem 17