孟令江 吴永梁 魏毅强 刘希 陈炼 王绪柱 饶泓 陈纲 郭元春

创新 三段论 科学知识 对碰 财富 LSI 组合逻辑 几乎完全二部图 度序列 速度 神秘 剩余格 推理系统 每个人 答案 获得 数值计算 连接依赖 能量 区间数 企业 分布 同态 图 P∧Q■P规则 输入变量 t模 有效性 公理 渊源