张民悦 金东星 肖奚安 杨达中 惠富春 楼宇同 朱梧槚 顾红芳 高兹文 白鹏

协变性 逻辑演算 韦克斯韦尔方程 数理逻辑 集合论 不等式 劳伦茨变换 Godel配数法 非经典逻辑 电磁张量 Godel数 广义相对性原理 模型论 递归论 Godel不完备性定理