3人寄れば文殊の知恵

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

というわけで今日は

3人寄れば大混乱

でした。

よく分からないこと

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