胥良 宁海林 黄秦安 张践明 温邦彦 杨小军 李慧华 周昌乐

排序定理 美学体系 元逻辑 非形式化 图灵机 不完全性 实证禅学 形式系统 双重标准 指数增长 多伊奇 可证 矛盾 宇宙 形式化 美本质 自动机 不可判定 自指示 说谎者悖论 投票悖论 社会改革 负号否定 能指词 后现代转向 数学真理 灵感理论 悖论 数学科学 禅宗思想