悖论的统一模式 被引量：3

1

作者 蒋星耀 《自然杂志》 北大核心 2001年第3期184-185,共2页

关键词 格雷林悖论 基数民悖论 罗素 反对角线集合 统一模式定理

下载PDF 职称材料

从鸽笼原理到拉姆齐定理 被引量：2

2

作者 蒋星耀 《自然杂志》 1991年第12期934-937,共4页

从鸽笼原理谈起数学中有许多令人惊奇的结果,往往是根据一些极简单的基本原理而得到的。鸽笼原理便是一例。鸽笼原理,又称抽屉原理,据说是由上世纪的著名德国数学家狄利克雷(P.G.L.Dirichlet)

关键词 拉姆齐定理 抽屉原理 德国数学 DIRICHLET 极简单 狄利克雷 色三角形 正整数 波利亚 数学奥林匹克

下载PDF 职称材料

悖论纵横谈 被引量：2

3

作者 蒋星耀 何纯瑾 《自然杂志》 1992年第6期455-459,共5页

人们往往把数学科学比拟成“大厦”,但是这座“大厦”的建造过程不是先打好基础再造上层建筑,而是先造起来再说,待发现上层建筑有倾倒危险时,再打基础补救。

关键词 说谎者 数学科学 理发师悖论 罗素悖论 语言层次 建造过程 集合论公理系统 康托尔定理 哥德尔 二难推理

下载PDF 职称材料

关于L^x的保序、幂等自映射集合的基数 被引量：1

4

作者 蒋星耀 《科学通报》 EI CAS CSCD 北大核心 1991年第11期807-810,共4页

一些集合的基数问题,是集合论和其他数学分支中颇感兴趣的问题。本文通过对某一类函数格的基数计算,得到了L^x上的保序、幂等自映射集合的基数。 设L是完全可分配的完备格。X是一无穷集合,且2≤|L|≤2~|x|。

关键词 完备格 函数格 基数 内部算子

原文传递

关于悖论的统一模式——纪念罗素悖论发现100周年 被引量：1

5

作者 蒋星耀 《北京工业大学学报》 CAS CSCD 北大核心 2002年第1期87-90,共4页

用数学的语言给出了一个抽象的悖论．令Ｆ是从集合Ａ到集合Ｂ的双射，记Ｍ＝ａＡａＦ（ａ），如果在某个理论中 Ｍ Ｂ是合法的（或看起来是合理的）则问题ｍ Ｍ？将是该理论中的一个悖论．该抽象悖论也可看成悖论的统一模式，只要适当... 用数学的语言给出了一个抽象的悖论．令Ｆ是从集合Ａ到集合Ｂ的双射，记Ｍ＝ａＡａＦ（ａ），如果在某个理论中 Ｍ Ｂ是合法的（或看起来是合理的）则问题ｍ Ｍ？将是该理论中的一个悖论．该抽象悖论也可看成悖论的统一模式，只要适当选择双射Ｆ和集合Ａ、Ｂ就可以将所有已知悖论包含在该模式中．由于找到所有悖论的统一模式，也找到了产生悖论的唯一的本质的原因，为圆满解决悖论问题创造条件． 展开更多

关键词 悖论 罗素 反对角线集合 统一模式定理 准反对角线集合 抽象悖论

下载PDF 职称材料

科学概念中混进了赝品悖论的根源

6

作者 蒋星耀 《自然杂志》 北大核心 2003年第1期61-62,57,共3页

关键词 悖论 反对角线集合 统一模式定理 统一解悖方案 不存在原则

下载PDF 职称材料

拟邻域算子集合的基数

7

作者 蒋星耀 《数学杂志》 CSCD 北大核心 1993年第2期195-199,共5页

本文引出的0、Ⅰ、Ⅱ、Ⅲ型的拟邻域空间是拓扑空间不同程度的弱化与推广,在首先证明Ⅲ—型空间的闭包算子(?)具有性质 ①(?)=(?)(X)=X ②A(?)(A)③A(?)B(?)(A)(?)(B),及其逆命题的基础上给出了以下结果:|K_m(X)|=|D(X)|=|K_Ⅲ(X)/≌|=|... 本文引出的0、Ⅰ、Ⅱ、Ⅲ型的拟邻域空间是拓扑空间不同程度的弱化与推广,在首先证明Ⅲ—型空间的闭包算子(?)具有性质 ①(?)=(?)(X)=X ②A(?)(A)③A(?)B(?)(A)(?)(B),及其逆命题的基础上给出了以下结果:|K_m(X)|=|D(X)|=|K_Ⅲ(X)/≌|=|D(X)/≌|=(?)。 展开更多

关键词 拟邻域算子 集合 基数 拟邻域空间

下载PDF 职称材料

关于OST系统

8

作者 蒋星耀 钱传宗 《自然杂志》 1992年第8期631-632,共2页

OST系统是关于对象、空间和时间的形式理论,由W.D.Blizard首先给出。该系统是一阶三类理论,它在经典的有等词的一阶谓词演算的基础上形成。

关键词 一阶谓词演算 OST 形式理论 非逻辑

下载PDF 职称材料

基于事件／概念关系的自然语言文章／段落产生系统

9

作者 张金更 蒋星耀 《上海工业大学学报》 1992年第1期89-94,共6页

关键词 人工智能 自然语言 知识库

下载PDF 职称材料

关于OST系统的系统特征问题

10

作者 蒋星耀 《上海工业大学学报》 1992年第2期149-153,共5页

关键词 可靠性 完备性 相容性 OST系统

下载PDF 职称材料

关于数学结构的一些元数学定理

11

作者 蒋星耀 钱传宗 《自然杂志》 1991年第8期633-633,共1页

定义1 设S是个体集合,R是S上的一些关系的集合,M(S,R)由R和S所组成。如果它的公理可在一阶语言L中表述。

关键词 数学定理 数学结构 一阶语言 有穷 紧致性定理 生成子群 子环 子结构 穷子 穷生

下载PDF 职称材料