文兰

作品数:12被引量:28H指数:4
导出分析报告
供职机构:北京大学数学科学学院更多>>
发文主题:悖论说谎者悖论数学家动力系统反证法更多>>
发文领域:理学哲学宗教文化科学更多>>
发文期刊:《中国科学基金》《复印报刊资料(逻辑)》《中国学术期刊文摘》《北京大学学报(自然科学版)》更多>>
所获基金:国家自然科学基金国家重点基础研究发展计划更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-10
视图:
排序:
说谎者悖论:语言学中的一种代数学现象
《湖南科技大学学报(社会科学版)》2024年第3期35-42,共8页文兰 
国家自然科学基金资助项目(11831001)。
从关于说谎者悖论的“句方程”方案中可以提炼出总的看法:说谎者悖论是语言学中一种相当纯粹的代数学现象。这是“句方程”方案的必然结论。实际上,“句方程”方案全面吸收了代数学的思想成果,从基本定义开始,就是参照代数学的思想建立...
关键词:说谎者悖论 布尔方程 句变元 句方程 
说谎者悖论的隐蔽的假设
《复印报刊资料(逻辑)》2022年第3期15-25,共11页文兰 
国家自然科学基金(11831001)。
说谎者悖论是最古老最有影响的一个悖论。关于说谎者悖论,主流的理论着重于对“自我指涉”和“真谓词”的分析。本文指出,自我指涉和真谓词虽然是说谎者悖论的明显的外部特征,却不是问题的要害。问题的要害是说谎者悖论里的一个隐蔽的...
关键词:说谎者悖论 雅布罗悖论 反证法 布尔方程 
说谎者悖论的隐蔽的假设被引量:5
《逻辑学研究》2022年第2期1-20,共20页文兰 
国家自然科学基金(11831001)。
说谎者悖论是最古老最有影响的一个悖论。关于说谎者悖论,主流的理论着重于对“自我指涉”和“真谓词”的分析。本文指出,自我指涉和真谓词虽然是说谎者悖论的明显的外部特征,却不是问题的要害。问题的要害是说谎者悖论里的一个隐蔽的...
关键词:说谎者悖论 雅布罗悖论 反证法 布尔方程 
康托定理与理发师悖论被引量:5
《数学通报》2011年第12期1-3,共3页文兰 
本文作者文兰是我国著名的数学家,中国科学院院士,第三世界科学院院士。在微分动力系统领域的若干基本问题上做出了重要贡献。文兰1970年毕业于北京大学数学力学系,1981年在北京大学获得硕士学位,导师为廖山涛先生。1986年在美国西...
关键词:理发师悖论 康托定理 中国科学院院士 第三世界科学院 微分动力系统 北京大学 数学力学 硕士学位 
数学天元基金的理念、使命与责任——天元基金设立二十周年回顾
《中国科学基金》2010年第5期305-310,共6页文兰 
数学天元基金于1989年设立,至今20年了。在国家自然科学基金委员会(以下简称自然科学基金委)历届领导的支持和指导下,经过5届天元学术领导小组和全国数学家的努力工作,天元基金与国家自然科学基金中资助数学的基金相辅相成,密切...
关键词:数学天元基金 国家自然科学基金委员会 责任 中国数学 数学发展 数学家 支持力 
数学天元基金的理念、使命与责任——纪念数学天元基金二十周年
《数学通报》2010年第9期6-8,15,共4页文兰 
这篇文章是文兰教授在纪念数学天元基金设立20周年暨中国数学发展战略研讨会上的报告.1988年,陈省身等老一辈数学家提出了“中国数学要在二十一世纪率先赶上世界先进水平”的宏伟目标.作为对数学家这一心声的回应,
关键词:数学天元基金 责任 中国数学 数学发展 数学家 陈省身 
动力系统——阻碍集、拟双曲性与线性横截性
《中国学术期刊文摘》2006年第9期10-10,共1页文兰 甘少波 
国家自然科学基金资助(10001003)
对Mane、Sacker-Sell、Selgrade的拟双曲性.线性横截性理论做一整理,提供一种较简洁的处理方式.最后一节解释这一理论如何对应于廖山涛先生的文章《阻碍集(Ⅰ)》,因而该文也可视为对《阻碍集(Ⅰ)》的一个解说.
关键词:阻碍集 拟双曲性 线性横截性 
阻碍集、拟双曲性与线性横截性被引量:2
《北京大学学报(自然科学版)》2006年第1期1-10,共10页文兰 甘少波 
国家自然科学基金(10001003);973基金资助项目
对Mane′、SackerSell、Selgrade的拟双曲性线性横截性理论做一整理,提供一种较简洁的处理方式。最后一节解释这一理论如何对应于廖山涛先生的文章《阻碍集(Ⅰ)》,因而本文也可视为对《阻碍集(Ⅰ)》的一个解说。
关键词:阻碍集 拟双曲性 线性横截性 
迎接新的机遇与挑战
《数学通报》2005年第10期1-3,共3页文兰 
关键词:中国数学会 数学工作者 海滨城市 历史意义 数学家 朋友 
解一个古老的悖论被引量:4
《科学》2003年第4期51-54,共4页文兰 
所谓悖论,是指导致矛盾而原因不明的推理.一般说来,在推理中导致矛盾不一定奇怪.数学中的反证法就是这样.区别在于,反证法有一个明确的假设,因而导致矛盾不奇怪,恰恰证明该假设不成立.但在一个悖论里,却看不出有什么特别的假设.明明导...
关键词:说谎者悖论 双卡悖论 三卡悖论 布尔方程 句方程 说谎者型悖论 
检索报告 对象比较 聚类工具 使用帮助 返回顶部