检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

评王浩教授否定Fuzzy逻辑的讲话

Journal of Mathematical Research with Applications 1983年第2期 137-138页

作者：朱梧槚南京大学

王浩教授在[1]中指出:‘我对Fuzzy逻辑的看法是完全否定。到现在为止,我没有看到Fuzzy逻辑有什么有趣的结果,不大相信。我问问创立Fuzzy逻辑的Zadeh,没有问出什么确切的东西,然后他们就大做广告,然后就热闹起来了。美国社会专业化太厉害... 详细信息

王浩教授在[1]中指出:‘我对Fuzzy逻辑的看法是完全否定。到现在为止,我没有看到Fuzzy逻辑有什么有趣的结果,不大相信。我问问创立Fuzzy逻辑的Zadeh,没有问出什么确切的东西,然后他们就大做广告,然后就热闹起来了。美国社会专业化太厉害,有各种各样的小圈子。在客观上没有什么用处,只要在小圈子热闹就行。我认为外国世界太各种各样了,不看到有趣的结果,我不大相信’。实际上,按照王浩教授的确切标准,他在这里没有说出什么道理。想当年,十八世纪英国大主教Berkeley反对微积分时,尚能针对其基础的含糊性提出一个人们称之谓Berkeley誖论的东西,从而确有成效地迫使人

关键词：王浩 Fuzzy 逻辑

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

中介公理集合论系统MS

中国科学:数学 1988年第2期 113-123页

作者：朱梧槚肖奚安空军气象学院数学教研组南京南京大学数学系

本文概述中介公理集合论MS中有关“两种谓词的划分与定义”、“集合的运算”、“谓词与集合”、“小集与巨集”、“MS与ZFC的关系”、“逻辑数学悖论在MS中的解释方法”等文中的定义、引理和定理。

关键词：定理谓词公理集合论实词集论形式定义引理 MS

Russell悖论的变形与ZFC的正则公理——对无根基悖论和多值逻辑悖论的评析与介绍

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Journal of Mathematical Research with Applications 1985年第3期 95-100页

作者：朱梧槚肖奚安南京大学空军气象学院

§0 引言沈有鼎先生在[1]中构造了几个著名的悖论,即所谓‘无根基和有根基悖论’、‘循环与非循环悖论’和‘n循环与非n循环悖论’。我们首先用通俗的自然语言把这几个悖论陈述出来,再介绍ZFC系统中正则公理AxR的几种等价形式,然后利用... 详细信息

§0 引言沈有鼎先生在[1]中构造了几个著名的悖论,即所谓‘无根基和有根基悖论’、‘循环与非循环悖论’和‘n循环与非n循环悖论’。我们首先用通俗的自然语言把这几个悖论陈述出来,再介绍ZFC系统中正则公理AxR的几种等价形式,然后利用AxR的这些等价命题对上述三个悖论进行分析,即可看出它们都是变了形的Russell悖论,并且很自然地得到结论;Russell悖论和上述三个悖论中所构造的集合,皆不在ZFC系统中,因而这些悖论将不在ZFC系统中出现。

关键词：正则公理 ZFC Russell 根基

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

数学哲学在数学教育中的应用

曲阜师范大学学报（自然科学版） 1993年第1期19卷 9-16页

作者：朱梧槚王前南京航空学院十系江苏省南京市210000 辽宁教育学院科研处辽宁省沈阳市110000

在历史上,数学哲学对数学教育很少有直接影响,而现在,数学哲学的研究,已被置身于数学与社会相互作用的广阔背景上,因而若再不重视和探求数学哲学在数学教育中的应用,则将得不到社会需求所提供的发展动力。另一方面,本世纪30年代以后,关... 详细信息

在历史上,数学哲学对数学教育很少有直接影响,而现在,数学哲学的研究,已被置身于数学与社会相互作用的广阔背景上,因而若再不重视和探求数学哲学在数学教育中的应用,则将得不到社会需求所提供的发展动力。另一方面,本世纪30年代以后,关于数学基础的探索和研究,也为数学哲学在数学教育中的应用创造了条件,本文从理论上探讨了数学哲学在数学教育中的应用的途径与方法。

关键词：数学哲学数学教育数学认识论

在线全文

学校读者我要写书评

暂无评论

单可表示类的特征

计算机学报 2001年第6期24卷 568-573页

作者：朱朝晖李斌陈世福朱梧檟南京航空航天大学计算机科学研究所南京210016 南京大学计算机软件国家重点实验室南京210093

择优模型是目前常识推理领域中最常用的语义结构之一 .在择优模型中有一类重要的模型——单射择优模型 ,近年来 ,众多的学者对该模型类从各种角度进行了研究 ,但一个重要而基本的问题 ,即何种类型的择优后承具有单射择优模型 ,虽经多位... 详细信息

择优模型是目前常识推理领域中最常用的语义结构之一 .在择优模型中有一类重要的模型——单射择优模型 ,近年来 ,众多的学者对该模型类从各种角度进行了研究 ,但一个重要而基本的问题 ,即何种类型的择优后承具有单射择优模型 ,虽经多位学者的研究到现在仍然悬而未解 .目前 ,最好的结果是 Freund在有限语言限制下证明了“择优后承具有单射择优模型当且仅当它满足弱析取合理性”.文中提出择优模型的一种转换 ,将此转换应用于 Kraus,L ehm an及 Magidor提出的 KL M模型上 ,在一般语言框架下证明了“满足弱析取合理性的择优后承必具有单射择优模型”。

关键词：择优后承择优模型表示定理人工智能常识推理单可表示类

数学直觉形象思维的应有地位及其计算机模拟问题

在线全文

学校读者我要写书评

暂无评论

数学物理学报（A辑） 1996年第S1期16卷 77-87页

作者：朱梧槚肖奚安王建东陈松灿张东摩南京航空航天大学南京大学中国人民解放军空军气象学院

本文从数学形象思维的层次性和低估形象思维之重要作用的现状与背景等几个方面，阐明形象思维在处理实际问题时的重要作用．然后又从数学方法论的几种典型方法出发，讨论数学发现的计算机模拟问题．并在机器发现之简单回顾的基础上，对... 详细信息

本文从数学形象思维的层次性和低估形象思维之重要作用的现状与背景等几个方面，阐明形象思维在处理实际问题时的重要作用．然后又从数学方法论的几种典型方法出发，讨论数学发现的计算机模拟问题．并在机器发现之简单回顾的基础上，对上述计算机模拟问题的研究方法提出一些看法，并指出其研究目的与意义．

关键词：形象思维逻辑思维数学方法论计算机模拟

在线全文

学校读者我要写书评

暂无评论

答《关于Epimenides悖论》一文

Journal of Mathematical Research with Applications 1985年第1期 155-156页

作者：朱梧槚南京大学数学系

莫绍揆教授在[2]中一开始罗列了如下三个命题: (*) Epimcnides(克里特岛人)说:凡克里特岛人都说慌。 (1) 现在我说一句假话(Eubulides)。 (2) (再添附下列“事实”):而克里特岛人其余的话的确都是慌话(Russell)。然后莫教授接着指出:... 详细信息

莫绍揆教授在[2]中一开始罗列了如下三个命题: (*) Epimcnides(克里特岛人)说:凡克里特岛人都说慌。 (1) 现在我说一句假话(Eubulides)。 (2) (再添附下列“事实”):而克里特岛人其余的话的确都是慌话(Russell)。然后莫教授接着指出:‘最近朱梧檟志在两篇文章[1]、[2]中强调了(*)与(1)(2)的区别,指出前者并非真正的悖论,而现在仍然有人把前者当作悖论来对待,朱同志认为“是一种误解或疏忽”。其实朱同志还忽略了另一种情况。当提到古代相传的悖论时,不能不提到该悖论的原形(*),而在作描述性的谈论中(不作详细的严格推导),没有必要把条

关键词：命题 Epimenides 克里特岛克里特