期刊文献+
共找到7篇文章
< 1 >
每页显示 20 50 100
逻辑悖论与固定点定理 被引量:1
1
作者 刘靖贤 王永峰 《重庆理工大学学报(社会科学)》 CAS 2016年第1期12-19,共8页
罗素悖论的解决方案被划分为两大范畴:有类型限制的方案和无类型限制的方案。无类型限制方案的背景逻辑是多值逻辑或者不包含否定词的经典逻辑,它的一致性证明在实质上是利用固定点定理构造模型。在介绍克里悖论、莫绍揆悖论和吉尔莫尔... 罗素悖论的解决方案被划分为两大范畴:有类型限制的方案和无类型限制的方案。无类型限制方案的背景逻辑是多值逻辑或者不包含否定词的经典逻辑,它的一致性证明在实质上是利用固定点定理构造模型。在介绍克里悖论、莫绍揆悖论和吉尔莫尔悖论,回顾这些悖论的解决方案与布劳威尔固定点定理和塔斯基固定点定理之间的内在关联的基础上,探讨无类型限制方案在二阶罗素悖论中的应用,并且证明一系列相关结果。 展开更多
关键词 罗素悖论 克里悖论 布劳威尔固定点定理 塔斯基固定点定理 巴拿赫固定点定理
下载PDF
向量值映射锥鞍点存在定理(英文)
2
作者 梁红卫 张宇 《应用数学》 CSCD 北大核心 2011年第4期833-840,共8页
本文首次通过借助Kakutani-Fan-Glicksberg固定点定理和非线性标量化,研究了向量值映射的Benson锥鞍点定理.然后,通过使用该Kakutani-Fan-Glicksberg固定点定理,同样得到了集值映射的锥松鞍点定理.
关键词 锥松鞍定理 固定点定理 向量值映射 集值映射
下载PDF
十个最优美的数学定理
3
作者 冯占怀 《数学教学》 2003年第6期47-47,39,共2页
数学定理一般都被误认为是枯燥无味的,哪里有什么美可言。但数学家们有他们自己的审美标准,能从大家认为干瘪瘪的定理中发现美。几年前读过一篇数学小品文,文中提到1998年David Wells在《The mathematicalIntelligencer》(vol.10 No.4 P... 数学定理一般都被误认为是枯燥无味的,哪里有什么美可言。但数学家们有他们自己的审美标准,能从大家认为干瘪瘪的定理中发现美。几年前读过一篇数学小品文,文中提到1998年David Wells在《The mathematicalIntelligencer》(vol.10 No.4 P.30)针对数学界发出问卷,评选最优美的数学定理。文中列出二十四个被当今数学家认为最简明、最优美的数学定理让许多大数学家打分。 展开更多
关键词 数学定理 质数 多面体 固定点定理 无理数 超越数 欧拉公式 四色定理
下载PDF
多元真理论的混合问题——从凯撒问题的角度看
4
作者 刘靖贤 《逻辑学研究》 CSSCI 2019年第5期1-18,共18页
混合问题是说,如何确定涉及不同领域的语句是真的。这个问题是多元真理论所面临的一个严峻问题。首先,多元真理论的动机可以被归结为范围投射论证。虽然这种论证存在不合理之处,但这种不合理之处并非是不可克服的。其次,从凯撒问题的角... 混合问题是说,如何确定涉及不同领域的语句是真的。这个问题是多元真理论所面临的一个严峻问题。首先,多元真理论的动机可以被归结为范围投射论证。虽然这种论证存在不合理之处,但这种不合理之处并非是不可克服的。其次,从凯撒问题的角度看,混合问题隐含着一个两难困境。实际上,混合问题是一种跨领域问题,即任意一个领域与另一个领域之间的跨越。再次,从构造方法的角度看,凯撒问题的解决依赖于罗素悖论的解决,而罗素悖论的解决依赖于固定点的存在,所以固定点的存在是解决凯撒问题的必要条件。最后,从凯撒问题的解决方案中得到的启示是,真值函数的固定点是解决混合问题的一个必要条件,这个必要条件来自于对劳威尔固定点定理哲学意义的阐释。 展开更多
关键词 多元论 真理论 混合问题 凯撒问题 固定点定理
下载PDF
Existence of Positive Solution for Superlinear Semipositone Singular Second-order m-point Boundary Value Problem 被引量:4
5
作者 ZHANG Xing-qiu 《Chinese Quarterly Journal of Mathematics》 CSCD 2010年第1期151-158,共8页
By applying fixed point theorem, the existence of positive solution is considered for superlinear semipositone singular m-point boundary value problem -(Lφ)(x)=(p(x)φ′(x))′+q(x)φ(x) and ξi ∈ (0,... By applying fixed point theorem, the existence of positive solution is considered for superlinear semipositone singular m-point boundary value problem -(Lφ)(x)=(p(x)φ′(x))′+q(x)φ(x) and ξi ∈ (0,1)with 0〈ξ1〈ξ2……〈ξm-2〈1,αi ∈ R^+,f ∈C[(0,1)×R^+,R^+],f(x,φ) may be singular at x=0 and x=1,g(x):(0,1)→R is Lebesgue measurable, g may tend to negative infinity and have finitely many singularities. 展开更多
关键词 SEMIPOSITONE SUPERLINEAR singular m-point boundary value fixed point theo-rem positive solution
下载PDF
Existence of Positive Solution to a Singular System of Nonlinear Fractional Differential Equation
6
作者 WANG Jin-hua XIANG Hong-jun 《Chinese Quarterly Journal of Mathematics》 CSCD 2010年第4期582-588,共7页
In this paper,we discuss a singular system of nonlinear fractional differential equation,in which the inhomogeneous term depends on the fractional derivative of lower order.By using the Krasnoselskii's fixed point th... In this paper,we discuss a singular system of nonlinear fractional differential equation,in which the inhomogeneous term depends on the fractional derivative of lower order.By using the Krasnoselskii's fixed point theorem and the Leray-Schauder nonlinear alternative method,some suffcient conditions for the existence of positive solution of the singular system are obtained. 展开更多
关键词 fractional differential equation positive solution fixed point theorem
下载PDF
Almost Fixed Point,Fixed Point and Quasi-Variational Inequality on Generalized Convex Spaces
7
作者 朴勇杰 《Journal of Mathematical Research and Exposition》 CSCD 2009年第6期1107-1113,共7页
The definitions of S-KKM property and Γ-invariable property for multi-valued map- ping are established, and by which, a new almost fixed point theorem and several fixed point theorems on Haudorff locally G-convex uni... The definitions of S-KKM property and Γ-invariable property for multi-valued map- ping are established, and by which, a new almost fixed point theorem and several fixed point theorems on Haudorff locally G-convex uniform space are obtained, and a quasi-variational inequality theorem for acyclic map on Hausdorff Φ-space is proved. Our results improve and generalize the corresponding results in recent literatures. 展开更多
关键词 generalized convex space F-convex Φ-map Φ-space better admissible multimap acyclic multimap the almost fixed point property.
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部