期刊文献+
共找到20篇文章
< 1 >
每页显示 20 50 100
基于不定可扩展性概念再探对角线方法
1
作者 段天龙 《计算机科学》 CSCD 北大核心 2023年第S01期114-118,共5页
使用对角线方法不仅能得到数理逻辑的基本定理,也能导致逻辑悖论。通过对达米特的不定可扩展性概念及其与对角线方法的关联的考查,指出:(1)西蒙斯没有将不定可扩展性概念与对角线方法关联起来,所以其关于对角线论证不同类型的划分只是... 使用对角线方法不仅能得到数理逻辑的基本定理,也能导致逻辑悖论。通过对达米特的不定可扩展性概念及其与对角线方法的关联的考查,指出:(1)西蒙斯没有将不定可扩展性概念与对角线方法关联起来,所以其关于对角线论证不同类型的划分只是表面的;(2)汤姆逊对角线引理并没有刻画出对角线方法的实质;(3)对某概念可以使用对角线方法当且仅当该概念是不定可扩展的;(4)使用对角线方法可以发现不定可扩展性概念,从而为刻画自然语言的动态语义模型提供思路。 展开更多
关键词 对角线方法 悖论 不定可扩展性概念 自然语言
下载PDF
对角线方法、对角线引理与悖论研究 被引量:1
2
作者 张建军 《自然辩证法研究》 CSSCI 北大核心 1997年第12期11-15,共5页
对角线方法、对角线引理与悖论研究张建军1对角线方法的提出1873年,德国数学家康托尔致力于探讨如下问题:实数集R和自然数集N之间能否建立一一对应?至年末他给出了否定答案的证明,从而表明了R之不可数性。这是康托尔创建超... 对角线方法、对角线引理与悖论研究张建军1对角线方法的提出1873年,德国数学家康托尔致力于探讨如下问题:实数集R和自然数集N之间能否建立一一对应?至年末他给出了否定答案的证明,从而表明了R之不可数性。这是康托尔创建超穷集合论的一个重要步骤。但是,康托... 展开更多
关键词 对角线方法 对角线引理 悖论
下载PDF
关于Cantor-Hilbert对角线论证方法的分析与研究 被引量:5
3
作者 黄秀琴 陈桂正 朱梧槚 《南京晓庄学院学报》 2010年第3期20-26,共7页
在近现代数学中,通常认为Cantor-Hilbert对角线论证方法是有效的.特别有如文献[1]之2.4,列举多条理由论证Cantor-Hilbert对角线论证方法是无懈可击的,但经分析研究文献[1]之2.4中所列之论据,其中每一条论据都是没有根据的.文献[2]之6.6... 在近现代数学中,通常认为Cantor-Hilbert对角线论证方法是有效的.特别有如文献[1]之2.4,列举多条理由论证Cantor-Hilbert对角线论证方法是无懈可击的,但经分析研究文献[1]之2.4中所列之论据,其中每一条论据都是没有根据的.文献[2]之6.6指出:在兼容两种无穷观之分析方法前提下,可以证明Cantor-Hilbert对角线论证方法并不是无懈可击的.文献[3]又在逻辑演算之谓词与集合的层面上,给出了一个不同于文献[2]之6.6中的证明方法.因此该文既是一篇评论性文章,其实更是一篇研究性论文. 展开更多
关键词 对角线方法 潜无限 实无限 中介公理集合论 近代公理集合论
下载PDF
无尽的对角线 被引量:1
4
作者 邢滔滔 《科学文化评论》 2014年第3期5-20,共16页
本文尝试以简单的对角线直观,连贯起数理逻辑史上的几个重大结果,一方面介绍其背后的动机、思想,另一方面强调对角线方法的意义。文章重思想,不重技术,或许可为从思想方面理解这些结果提供一条线索。
关键词 对角线方法 康托尔定理 罗素悖论 塔斯基定理 哥德尔定理
下载PDF
盾构机液压油板式换热器清洗与检测方法
5
作者 马明东 《工程机械与维修》 2016年第1期66-66,共1页
盾构机液压系统通常使用板式换热器。板式换热器使用4000h后应进行拆检清洗,本文介绍板式换热器拆卸、清洗、装配、检测方法。1.结构板式换热器由多层槽形片叠加而成,两侧各有1块固定板,通过紧固螺栓固定。槽形片表面设有沟槽,构成冷却... 盾构机液压系统通常使用板式换热器。板式换热器使用4000h后应进行拆检清洗,本文介绍板式换热器拆卸、清洗、装配、检测方法。1.结构板式换热器由多层槽形片叠加而成,两侧各有1块固定板,通过紧固螺栓固定。槽形片表面设有沟槽,构成冷却水道和液压油道2个腔体。板式换热器固定板上、下各有2个管件接口与2个腔体相通,冷却水和液压油可分别从固定板上面的2个管件接口进入,从下面的2个管件接口流出,南冷却水对液压油进行冷却。 展开更多
关键词 板式换热器 固定板 槽形 液压系统 冷却水道 紧固螺栓 截止阀 对角线方法 顺序号 空气测试
下载PDF
层迭三维体表面重构的算法探讨 被引量:9
6
作者 刘刚 胡远来 邓林 《成都理工大学学报(自然科学版)》 CAS CSCD 北大核心 2003年第5期537-540,共4页
给出了一类多层迭合的三维体表面重构的定义,介绍了构造这类三维体表面的最短对角线方法,以及其涉及的三角片满足的条件。最后,说明了具体使用最短对角线方法重构层迭三维体表面的详细实施步骤。
关键词 层迭三维体 三角片 最短对角线方法
下载PDF
无穷观问题的研究(Ⅱ)—从Hausdorff的直觉和Poincaré的名言到Brouwer剧场现象 被引量:3
7
作者 朱梧槚 肖奚安 +1 位作者 宋方敏 顾红芳 《南京航空航天大学学报》 EI CAS CSCD 北大核心 2002年第3期201-205,共5页
本组系列论文 ( )~ ( )从数学和认识论的角度系统地研究了无穷观问题的历史发展和现状 ,确立了无穷观背景世界的三分法原则 ,指出了两种无穷观相互排斥的局限性 ,形成了统一两种无穷于同一框架中的基本观点 ,并建立了一个统一实无限... 本组系列论文 ( )~ ( )从数学和认识论的角度系统地研究了无穷观问题的历史发展和现状 ,确立了无穷观背景世界的三分法原则 ,指出了两种无穷观相互排斥的局限性 ,形成了统一两种无穷于同一框架中的基本观点 ,并建立了一个统一实无限与潜无限于同一框架中的公理集合论系统 APAS。 展开更多
关键词 无穷观问题 Brouwer剧场现象 潜无穷 实无穷 公理集合论 自然数系统 对角线方法 直觉主义 数学基础
下载PDF
无穷观问题的研究(Ⅲ)——‘每一’与‘所有’ 被引量:3
8
作者 朱梧槚 肖奚安 +1 位作者 宋方敏 顾红芳 《南京航空航天大学学报》 EI CAS CSCD 北大核心 2002年第3期206-210,共5页
本组系列论文 ( )~ ( )从数学和认识论的角度系统地研究了无穷观问题的历史发展和现状 ,确立了无穷观背景世界的三分法原则 ,指出了两种无穷观相互排斥的局限性 ,形成了统一两种无穷于同一框架中的基本观点 ,并建立了一个统一实无限... 本组系列论文 ( )~ ( )从数学和认识论的角度系统地研究了无穷观问题的历史发展和现状 ,确立了无穷观背景世界的三分法原则 ,指出了两种无穷观相互排斥的局限性 ,形成了统一两种无穷于同一框架中的基本观点 ,并建立了一个统一实无限与潜无限于同一框架中的公理集合论系统 APAS。 展开更多
关键词 无穷观问题 '每一’'所有’ 潜无穷 实无穷 公理集合论 自然数系统 对角线方法 直觉主义
下载PDF
无穷观问题的研究(Ⅳ)——自然数系统与无穷公理 被引量:1
9
作者 朱梧槚 肖奚安 +2 位作者 宋方敏 顾红芳 宫宁生 《南京航空航天大学学报》 EI CAS CSCD 北大核心 2002年第4期307-311,共5页
本组系列论文 ( )~ ( )从数学和认识论的角度系统地研究了无穷观问题的历史发展和现状 ,确立了无穷观背世界的三分法原则 ,指出了两种无穷观相互排斥的局限性 ,形成了统一两种无穷于同一框架中的基本观点 ,并建立了一个统一实无限与潜... 本组系列论文 ( )~ ( )从数学和认识论的角度系统地研究了无穷观问题的历史发展和现状 ,确立了无穷观背世界的三分法原则 ,指出了两种无穷观相互排斥的局限性 ,形成了统一两种无穷于同一框架中的基本观点 ,并建立了一个统一实无限与潜无限于同一框架中的公理集合论系统 APAS。 展开更多
关键词 无穷观 自然数系统 无穷公理 公理集合论 对角线方法 直觉主义
下载PDF
有关无限观的三个问题 被引量:1
10
作者 徐利治 郭锡伯 《高等数学研究》 2009年第1期M0002-M0002,3-6,共5页
2008年出版的《数学与无穷观的逻辑基础》第三篇(无穷观问题探索)中,有三个引人注目的内容.一是论述现代分析数学中存在着"新贝克莱悖论";二是证明了令人惊奇的定理:"任何可数无穷集合都是自相矛盾的非集";三是质疑... 2008年出版的《数学与无穷观的逻辑基础》第三篇(无穷观问题探索)中,有三个引人注目的内容.一是论述现代分析数学中存在着"新贝克莱悖论";二是证明了令人惊奇的定理:"任何可数无穷集合都是自相矛盾的非集";三是质疑了Cantor关于实数不可数的对角线证明方法的合理性.本篇评述立足于经典分析数学与Cantor-Zermelo-Halmos素朴集合论的理论基础上,经由分析指出了上述三项内容中的数学论证与推理是不能成立的,并解释了书中出错的主要原因. 展开更多
关键词 潜无限 实无限 新贝克莱悖论 可数无限集 超限序数 对角线方法
下载PDF
基于直觉主义对哥德尔不完全性定理的评论——从维特根斯坦的评论开始 被引量:3
11
作者 庄朝晖 《厦门大学学报(哲学社会科学版)》 CSSCI 北大核心 2008年第2期77-84,共8页
维特根斯坦对哥德尔定理的评论一向为人们所诟病。基于直觉主义,维特根斯坦的评论可以得到更好的理解。在直觉主义者看来,康托尔的对角线证明方法是不适当的,因为在证明中基于可数集定义的康托尔数是一直处于构造之中的,而且可数集与康... 维特根斯坦对哥德尔定理的评论一向为人们所诟病。基于直觉主义,维特根斯坦的评论可以得到更好的理解。在直觉主义者看来,康托尔的对角线证明方法是不适当的,因为在证明中基于可数集定义的康托尔数是一直处于构造之中的,而且可数集与康托尔数的展开是相互追随的。证明中的矛盾不是来自前提错误,而是来自不正当的对康托尔数的定义和使用。同样,哥德尔定理证明中得到的矛盾是来源于哥德尔对哥德尔公式的不正当定义和使用。这一结论还可以推广到递归函数和图灵机这些等价的计算模型。 展开更多
关键词 哥德尔不完全性定理 对角线方法 直觉主义 维特根斯坦
下载PDF
悖论的生成机制和解释
12
作者 吴美华 王拥军 +1 位作者 杨义川 王潇扬 《计算机科学》 CSCD 北大核心 2018年第B06期69-71,共3页
从计算机科学中的具体悖论实例出发,使用对角线方法来说明一类悖论的生成机制,并指出自指代现象是悖论产生的深层次原因。传统的应对策略往往采用回避的方式,简单禁止自指代以避免悖论。从量子力学和范畴理论两个新视角出发,给出容纳悖... 从计算机科学中的具体悖论实例出发,使用对角线方法来说明一类悖论的生成机制,并指出自指代现象是悖论产生的深层次原因。传统的应对策略往往采用回避的方式,简单禁止自指代以避免悖论。从量子力学和范畴理论两个新视角出发,给出容纳悖论的新模型。结果表明,从新角度审视悖论不仅可以使悖论在某些新领域得到合理解释,而且能提供认识问题本质的新思维。 展开更多
关键词 悖论 自指代 对角线方法 量子力学 范畴理论
下载PDF
逻辑及数学演算中的不动项与不可判定命题(Ⅰ) 被引量:2
13
作者 张金成 《智能系统学报》 CSCD 北大核心 2014年第4期499-510,共12页
不动点是一个广泛而深刻的数学现象,它已经渗透到数学的各个领域。把不动点推广到逻辑思维领域,将证明Russel悖论是集合论中的不动项,Gdel不可判定命题是自然数系统N中的不动项,Cantor对角线方法构造的项是不动项,不可判定的Turing机... 不动点是一个广泛而深刻的数学现象,它已经渗透到数学的各个领域。把不动点推广到逻辑思维领域,将证明Russel悖论是集合论中的不动项,Gdel不可判定命题是自然数系统N中的不动项,Cantor对角线方法构造的项是不动项,不可判定的Turing机也是不动项。进一步可以证明,当一个已知集合U可以分割成正、反集合时,不动项不在正集或反集之中,不动项一定是U外不动项,U外不动项的逻辑性质相对于U已经发生变异,是未定义项,U外不动项命题是不可判定的,这是系统的固有现象。自然数系统N中同样存在不动项,不动项的存在与不可判定,并不影响正、反集合的递归性与系统的完全性,因此,Gdel不完全定理的证明不成立,Cantor对角线方法证明是错误的,Turing停机问题证明也是错误的。"系统N能否完全"?实数是否可数?Turing停机问题是否可判定?都必须重新思考。 展开更多
关键词 正项 反项 不动项 悖论 U外不动项 不可判定命题 不完全定理 对角线方法 不可数 停机问题
下载PDF
逻辑及数学演算中的不动项与不可判定命题(Ⅱ)
14
作者 张金成 《智能系统学报》 CSCD 北大核心 2014年第5期618-631,共14页
不动点是一个广泛而深刻的数学现象,它已经渗透到数学的各个领域。文中把不动点推广到逻辑思维领域,证明Russel悖论是集合论中的不动项,Gdel不可判定命题是自然数系统N中的不动项,Cantor对角线方法构造的项是不动项,不可判定的Turing... 不动点是一个广泛而深刻的数学现象,它已经渗透到数学的各个领域。文中把不动点推广到逻辑思维领域,证明Russel悖论是集合论中的不动项,Gdel不可判定命题是自然数系统N中的不动项,Cantor对角线方法构造的项是不动项,不可判定的Turing机也是不动项。进一步可以证明,当一个已知集合U可以分割成正、反集合时,不动项不在正集或反集之中,不动项一定是U外不动项,U外不动项的逻辑性质相对于U已经发生变异,是未定义项,U外不动项命题是不可判定的,这是系统的固有现象。自然数系统N中同样存在不动项,不动项的存在与不可判定,并不影响正、反集合的递归性与系统的完全性,因此,Gdel不完全定理的证明不成立,Cantor对角线方法证明是错误的,Turing停机问题证明也是错误的。"系统N能否完全"、实数是否可数、Turing停机问题是否可判定都必须重新思考。 展开更多
关键词 正项 反项 不动项 悖论 U外不动项 不可判定命题 不完全定理 对角线方法 不可数 停机问题.
下载PDF
su(1,2) Algebraic Structure of XYZ Antiferromagnetic Model in Linear Spin-Wave Frame
15
作者 JIN Shuo XIE Bing-Hao +1 位作者 YU Zhao-Xian HOU Jing-Min 《Communications in Theoretical Physics》 SCIE CAS CSCD 2008年第5期1151-1154,共4页
The XYZ antiferromagnetic model in linear spin-wave frame is shown explicitly to have an su(1,2) algebraic structure: the Hamiltonian can be written as a linear function of the su(1,2) algebra generators. Based o... The XYZ antiferromagnetic model in linear spin-wave frame is shown explicitly to have an su(1,2) algebraic structure: the Hamiltonian can be written as a linear function of the su(1,2) algebra generators. Based on it, the energy eigenvalues are obta/ned by making use of the similar transformations, and the algebraic diagonalization method is investigated. Some numerical solutions are given, and the results indicate that only one group solution could be accepted in physics. 展开更多
关键词 XYZ antiferromagnetic model algebraic diagonalization method
下载PDF
General Solutions of Reflection Equations for Bariev Model
16
作者 WANG Chun KE San-Min YUE Rui-Hong 《Communications in Theoretical Physics》 SCIE CAS CSCD 2008年第1期159-165,共7页
The integrable general open-boundary conditions for the one-dimensional Bariev chain are considered. All kinds of solutions to the reflection equation (RE) and its dual are obtained.
关键词 Bariev model reflection equation non-diagonal solution
下载PDF
Second Reference State and Complete Eigenstates of Open XYZ Chain
17
作者 冯俊 陈曦 +4 位作者 郝昆 侯伯宇 石康杰 孙成一 杨文力 《Communications in Theoretical Physics》 SCIE CAS CSCD 2011年第7期55-60,共6页
The second reference state of the open XYZ spin chain with non-diagonal boundary terms is studied. The associated Bethe states exactly yield the second set of eigenvalues proposed recently by functional Bethe Ansatz.
关键词 algebraic Bethe ansatz XYZ spin chain
下载PDF
A Study on Quantitative Evaluation of Calligraphy Characters
18
作者 Zelong Wang Mengyuan Liao Zenichiro Maekawa 《Computer Technology and Application》 2016年第2期103-122,共20页
In this study, a numerical method was proposed to evaluate the calligraphy work called calligraphy evaluation system. Four classical chirographies of "Kaisho", "Gyosho", "Sousho" and "Hiragana", and 47 charact... In this study, a numerical method was proposed to evaluate the calligraphy work called calligraphy evaluation system. Four classical chirographies of "Kaisho", "Gyosho", "Sousho" and "Hiragana", and 47 characters for each chirography, were selected and analyzed by this system. The "Sumi" distribution of character was clarified from 12 directions and summarized into four parts of horizontal part, diagonal left part, vertical part and diagonal fight part. The character's contour line was converted to a signal data in order to calculate roundness index. The degree of character's radian was presented by roundness index. The smooth index was calculated at the same time. Additionally, width index, "Sumi" ratio, stability index also were calculated to contrast the features of each style. The main character points of four styles of "Kaisho', "Gyosho", "Sousho", "Hiragana" were extracted to compare each other, and provide a reference for learners. The learners could obtain the quantitative data to understand their work's characteristics. It can also be compared with other person's work by this system in order to improve learners' writing skill. 展开更多
关键词 CALLIGRAPHY chirography QUANTIZATION EVALUATION regular script running script cursive script hiragana.
下载PDF
半自动维氏硬度测量系统三种压痕测量方法对结果的影响 被引量:2
19
作者 孔繁伟 景修静 +3 位作者 韩玉楠 贺慧超 李小红 刘凯 《中国石油和化工标准与质量》 2014年第12期63-64,共2页
半自动维氏硬度测量系统广泛应用于石油化工建造领域中材料及焊接工艺评定的硬度测试。本文按照GB/T 4340.1-2009《金属材料维氏硬度试验第1部分:试验方法》使用半自动系统对标准硬度块HV186进行HV10测试并通过三种压痕测试方法得出结论。
关键词 半自动维氏硬度测量系统 压痕对角线长度测试方法 对比 HV10
原文传递
Non-Nehari manifold method for asymptotically periodic Schrodinger equations 被引量:8
20
作者 TANG XianHua 《Science China Mathematics》 SCIE CSCD 2015年第4期715-728,共14页
We consider the semilinear Schrdinger equation-△u + V(x)u = f(x, u), x ∈ RN,u ∈ H 1(RN),where f is a superlinear, subcritical nonlinearity. We mainly study the case where V(x) = V0(x) + V1(x),V0∈ C(RN), V0(x) is 1... We consider the semilinear Schrdinger equation-△u + V(x)u = f(x, u), x ∈ RN,u ∈ H 1(RN),where f is a superlinear, subcritical nonlinearity. We mainly study the case where V(x) = V0(x) + V1(x),V0∈ C(RN), V0(x) is 1-periodic in each of x1, x2,..., x N and sup[σ(-△ + V0) ∩(-∞, 0)] < 0 < inf[σ(-△ +V0)∩(0, ∞)], V1∈ C(RN) and lim|x|→∞V1(x) = 0. Inspired by previous work of Li et al.(2006), Pankov(2005)and Szulkin and Weth(2009), we develop a more direct approach to generalize the main result of Szulkin and Weth(2009) by removing the "strictly increasing" condition in the Nehari type assumption on f(x, t)/|t|. Unlike the Nahari manifold method, the main idea of our approach lies on finding a minimizing Cerami sequence for the energy functional outside the Nehari-Pankov manifold N0 by using the diagonal method. 展开更多
关键词 Schrodinger equation non-Nehari manifold method asymptotically periodic ground state solutions of Nehari-Pankov type
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部