3人寄れば

日記

3人寄れば文殊の知恵
とはいいますが、所詮、たいした専門知識も持っていない人が集まってもねぇ

というわけで今日は
3人寄れば大混乱
でした。

よく分からないこと

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