240 发简信
IP属地:台湾
  • 120
    认知学习法 ——全知遮蔽

    人类文明得以缔造的整个通道,不是因为我们有知识,而是因为我们无知。——《人类简史》 数论的所有一致的公理化形式系统都包含不可判定的命题。 这是哥德尔第二不完全性定理。推论过程...