期刊文献+
共找到49篇文章
< 1 2 3 >
每页显示 20 50 100
A Brief Discussion on the Social Philosophical Significance of Gödel’s Incompleteness Theorems
1
作者 YUAN Hongjian 《Cultural and Religious Studies》 2024年第11期725-728,共4页
This paper applies Gödel’s Incompleteness Theorems to the evolution and development of human social systems.Although Gödel’s Incompleteness Theorems originated in the field of mathematics,their influence h... This paper applies Gödel’s Incompleteness Theorems to the evolution and development of human social systems.Although Gödel’s Incompleteness Theorems originated in the field of mathematics,their influence has long extended beyond mathematics,making an impact on philosophy,systems science,and the humanities and social sciences.The paper analyzes the autonomy and completeness of human social systems,arguing that evolving human societies are generally self-consistent.However,if the completeness of a human social system is compromised,the system either maintains self-consistency,ceases to evolve forward,enters a death spiral,and eventually decays and disintegrates.Or the system addresses the completeness issue,enters a state of non-self-consistency,introduces new axioms,becomes self-governing again,and enters a new form.From the sociological perspective,this is articulated as social revolution-the system continues to evolve forward;the absence of social revolution-the system does not evolve forward(Jin,1988). 展开更多
关键词 gödel’s Incompleteness Theorems human society logical system SELF-CONSISTENCY COMPLETENESS
下载PDF
Gdel逻辑系统中1/2-子代数上的广义重言式理论 被引量:6
2
作者 李修清 《计算机工程与应用》 CSCD 北大核心 2011年第5期43-45,100,共4页
将Gdel逻辑系统中的广义重言式理论进行推广,讨论了逻辑系统-G中具有1/2聚点的三类无限子代数上的广义重言式理论,并利用可达广义重言式的概念在-G的三类子代数中给出F(S)关于同余的一个分划。
关键词 gdel逻辑系统 广义重言式 子代数 分划
下载PDF
三值Gdel命题逻辑中基于前提信息的随机真度 被引量:1
3
作者 崔美华 徐罗山 《扬州大学学报(自然科学版)》 CAS CSCD 北大核心 2010年第2期1-5,共5页
利用赋值集的随机化方法,在三值Gdel命题逻辑系统中引入基于前提信息Γ公式的Γ-随机真度,证明了Γ-随机真度的MP规则、HS规则及交推理规则;同时引入公式间的Γ-随机相似度和Γ-随机伪距离,建立了Γ-随机逻辑度量空间,推导出Γ-随机... 利用赋值集的随机化方法,在三值Gdel命题逻辑系统中引入基于前提信息Γ公式的Γ-随机真度,证明了Γ-随机真度的MP规则、HS规则及交推理规则;同时引入公式间的Γ-随机相似度和Γ-随机伪距离,建立了Γ-随机逻辑度量空间,推导出Γ-随机相似度的若干性质;在Γ-随机逻辑度量空间中提出3种不同类型的近似推理模式并研究了它们之间的关系. 展开更多
关键词 三值gdel逻辑系统 前提信息 Γ-随机真度 Γ-随机相似度 Γ-随机逻辑度量空间
下载PDF
论Gdel蕴涵算子不宜用于建立模糊逻辑系统 被引量:4
4
作者 王伟 王国俊 《模糊系统与数学》 CSCD 北大核心 2005年第2期14-18,共5页
通过演绎定理和命题的真度理论指出基于Go¨del蕴涵算子的3值逻辑系统反映了直觉主义逻辑的特点。但如果基于Go¨del蕴涵算子建立模糊逻辑系统,则相应的语构理论与积分语义理论是不协调的。
关键词 goedel蕴涵算子 命题的真度 积分语义学 几乎定理 几乎不相容
下载PDF
Gdel系统中一种降级算法及性质 被引量:19
5
作者 吴洪博 《四川大学学报(自然科学版)》 CAS CSCD 北大核心 2003年第6期997-1001,共5页
与G del系统中广义重言式之间的一种升级算法相对应,作者给出了G del系统中广义矛盾式之间的一种降级算法,对其基本性质进行了讨论,并讨论了G del系统中关于广义矛盾式理论的广义语义MP规则与广义语义HS规则,为进一步对G del系统的研究... 与G del系统中广义重言式之间的一种升级算法相对应,作者给出了G del系统中广义矛盾式之间的一种降级算法,对其基本性质进行了讨论,并讨论了G del系统中关于广义矛盾式理论的广义语义MP规则与广义语义HS规则,为进一步对G del系统的研究提供了帮助. 展开更多
关键词 模糊逻辑 goedel逻辑系统 广义矛盾式 降级算法
下载PDF
Gdel系统中一类子代数上的广义重言式理论 被引量:4
6
作者 魏海新 《计算机工程与应用》 CSCD 北大核心 2010年第29期56-57,62,共3页
将Gdel逻辑系统中的广义重言式理论进行推广,讨论了一类无限子代数上的广义重言式理论,并利用可达广义重言式的概念在G的标准子代数E0中给出F(S)关于﹁同余的一个分划。
关键词 gdel逻辑系统 广义重言式 子代数 分划
下载PDF
Lukasiewicz逻辑系统中的公理在Gdel以及R_0系统中的真度分析 被引量:1
7
作者 屠桂晶 张兴芳 李志允 《聊城大学学报(自然科学版)》 2010年第1期1-3,共3页
对Lukasiewicz逻辑系统中的公理在Gdel系统以及R0系统中的真度大小进行了分析,得到了有意义的结果:Lukasiewicz逻辑系统的某些公理在Gdel,以及R0系统中不是公理,但其真度皆大于0.5.
关键词 公理 gdel系统 Lukasiewicz系统 R0系统 真度
下载PDF
Gdel中单个或两个原子生成公式的真度分布
8
作者 李友雨 张兴芳 李成允 《计算机工程与应用》 CSCD 北大核心 2009年第14期56-57,共2页
以Gdel系统为背景,针对由单个或两个原子生成的公式,解决了公式的真度分布问题。得到任一由单个或两个原子生成的公式的真度必为0,1/6,2/6,1/2,4/6,5/6,1之一。进而按照真度将由单原子或两个原子生成的公式集进行了细致的分类。
关键词 gdel系统 逻辑公式 真度
下载PDF
Gdel逻辑系统中标准子代数上的广义矛盾式 被引量:1
9
作者 李修清 魏海新 《桂林航天工业高等专科学校学报》 2010年第3期391-393,共3页
文章讨论了Gdel逻辑系统中标准子代数E0上的广义矛盾式理论,给出标准子代数上可达0-重言式的一个分划,证明了在标准子代数E0中,重言式不可能由对非重言式进行有限次升级算法得到,利用广义重言式和α-矛盾式概念在E0中给出了F(S)的一... 文章讨论了Gdel逻辑系统中标准子代数E0上的广义矛盾式理论,给出标准子代数上可达0-重言式的一个分划,证明了在标准子代数E0中,重言式不可能由对非重言式进行有限次升级算法得到,利用广义重言式和α-矛盾式概念在E0中给出了F(S)的一个关于同余的分划。 展开更多
关键词 gdel逻辑系统 广义矛盾式 子代数 分划
下载PDF
Gdel宇宙模型在理想流体条件下的一个近似解
10
作者 杨淑敏 张伟 周向玲 《四川理工学院学报(自然科学版)》 CAS 2009年第3期18-20,共3页
在引力源为理想流体条件下,通过对Gdel宇宙基本性质的分析求解了Einstein场方程,给出了一个Gdel宇宙时空度规的近似解。并且对此解进行了分析。结果表明,在参量f(x)的两种不同情况下,Gdel宇宙将分别表现出静态与膨胀的特征。对于膨... 在引力源为理想流体条件下,通过对Gdel宇宙基本性质的分析求解了Einstein场方程,给出了一个Gdel宇宙时空度规的近似解。并且对此解进行了分析。结果表明,在参量f(x)的两种不同情况下,Gdel宇宙将分别表现出静态与膨胀的特征。对于膨胀宇宙,H的取值主要依赖于λ、k以及σ等模型参数。 展开更多
关键词 度规 gdel 宇宙模型 EINSTEIN场方程
下载PDF
修正的Gdel系统的子代数中F(S)的分划及升级算法
11
作者 魏海新 李晨晖 《计算机工程与应用》 CSCD 2012年第26期44-47,共4页
将修正的Gdel逻辑系统中广义矛盾式理论推广,讨论了修正的Gdel逻辑系统中一类子代数上的广义矛盾式理论,进而在相应的子代数上给出了公式集F(S)的一种分划。
关键词 修正的gdel系统 广义矛盾式 子代数 分划
下载PDF
Gdel宇宙模型在真空条件下的一个近似解
12
作者 杨淑敏 张伟 周向玲 《喀什师范学院学报》 2009年第3期32-33,共2页
在真空情况下,通过求解Einstein场方程,给出了一个关于膨胀的Gdel宇宙时空度规的近似解.并且对此解进行了分析.
关键词 度规 gdel 宇宙模型 EINSTEIN场方程
下载PDF
模糊命题系统Gdel和L~*中条件真度的比较 被引量:2
13
作者 范欣 王国俊 《云南师范大学学报(自然科学版)》 2010年第4期23-27,共5页
首先把条件真度由三值逻辑系统推广到连续值系统Gdel和L*中,然后通过计算同时包含伴随对(,→)的4个公式(pq)→r,p(q→r),(p→q)r和p→(qr)基于同一个信息Γ={p}下的条件真度并比较其大小,得到条件真度的大小服从三角模算子的... 首先把条件真度由三值逻辑系统推广到连续值系统Gdel和L*中,然后通过计算同时包含伴随对(,→)的4个公式(pq)→r,p(q→r),(p→q)r和p→(qr)基于同一个信息Γ={p}下的条件真度并比较其大小,得到条件真度的大小服从三角模算子的大小顺序,即τL*≤Gτd. 展开更多
关键词 模糊命题系统gdel和L* 蕴涵算子 三角模算子 伴随对 公式的条件真度
下载PDF
Gdel语言延迟声明语句的语义及其实现方法
14
作者 曹炳义 赵致琢 《计算机科学》 CSCD 北大核心 2012年第5期114-116,共3页
Gdel语言因语言成份复杂而缺乏严格的语义基础和成熟的编译器,因此推出后它一直发展缓慢。对此采用进化代数描述了其主要语言成分延迟声明语句的过程性语义,然后介绍了依据该语义的具体实现方法并给出运行流程图和C语言描述。最后通... Gdel语言因语言成份复杂而缺乏严格的语义基础和成熟的编译器,因此推出后它一直发展缓慢。对此采用进化代数描述了其主要语言成分延迟声明语句的过程性语义,然后介绍了依据该语义的具体实现方法并给出运行流程图和C语言描述。最后通过一个例子来具体说明延迟计算在基于扩展Warren机的编译系统中的执行情况。实验结果表明了其可行性。 展开更多
关键词 gdel语言 延迟计算 进化代数 过程性语义 扩展Warren机
下载PDF
Gdel语言控制机制的研究与实现
15
作者 高伟 赵致琢 +1 位作者 李慧琪 昌杰 《智能系统学报》 2009年第4期345-351,共7页
Gdel语言是在Prolog语言基础上发展而来的一种新型逻辑程序设计语言,而控制机制是逻辑程序设计语言的核心内容.针对Prolog语言控制机制存在的问题,引出了Gdel语言中新的控制机制,包括DELAY延迟机制和剪枝操作然后通过实例分析,表明... Gdel语言是在Prolog语言基础上发展而来的一种新型逻辑程序设计语言,而控制机制是逻辑程序设计语言的核心内容.针对Prolog语言控制机制存在的问题,引出了Gdel语言中新的控制机制,包括DELAY延迟机制和剪枝操作然后通过实例分析,表明了这些新机制能有效地避免递归谓词的低效或无限循环调用,并能够实现子目标的协同执行,从而提高系统的运行效率.针对这一有效改进,在对Gdel语言控制机制比较深入研究的基础上,最后给出了Gdel语言控制机制的实现算法.该算法已在研发的Gdel语言编译系统中得以实现,通过实例测试,验证了算法具有较高的效率. 展开更多
关键词 gdel语言 控制机制 延迟 剪枝
下载PDF
逻辑程序设计语言Gdel与Prolog的比较
16
作者 昌杰 赵致琢 +1 位作者 李慧琪 高伟 《智能系统学报》 2009年第2期163-168,共6页
在多态多类的一阶逻辑基础之上,围绕类型系统、模块系统、控制机制、元程序设计和输入/输出部分对Gdel语言功能进行分析.重点比较了逻辑程序设计语言Gdel与Prolog的联系与区别,通过比较分析,表明由于摒弃了Prolog语言中的非逻辑成分... 在多态多类的一阶逻辑基础之上,围绕类型系统、模块系统、控制机制、元程序设计和输入/输出部分对Gdel语言功能进行分析.重点比较了逻辑程序设计语言Gdel与Prolog的联系与区别,通过比较分析,表明由于摒弃了Prolog语言中的非逻辑成分,引入了多种新的语言成分,Gdel语言具有更好的说明性语义和执行效率. 展开更多
关键词 gdel语言 PROLOg语言 模块系统 类型系统 控制机制 元程序设计
下载PDF
Gdel逻辑系统中一类模糊逻辑方程解的性质
17
作者 杨洁 《烟台大学学报(自然科学与工程版)》 CAS 2012年第3期166-169,231,共5页
以模糊逻辑系统中公式的真度理论为基础,提出了模糊逻辑方程概念,从而实现了方程思想与模糊逻辑的结合;并在Gdel逻辑系统中选取形如τ(p→X)=α的一类模糊逻辑方程,展开方程解的性质讨论,其中,p为原子命题,X是待定的公式,由此得到如... 以模糊逻辑系统中公式的真度理论为基础,提出了模糊逻辑方程概念,从而实现了方程思想与模糊逻辑的结合;并在Gdel逻辑系统中选取形如τ(p→X)=α的一类模糊逻辑方程,展开方程解的性质讨论,其中,p为原子命题,X是待定的公式,由此得到如下结论:模糊逻辑方程τ(p→X)=α有同型解当且仅当α=0或1;有m-同型解(m≥2)当且仅当α∈{i/(m+2)!|i=0,1,2,…,(m+2)!}. 展开更多
关键词 gdel逻辑系统 真值函数 真度 模糊逻辑方程
下载PDF
Gdel逻辑系统中公式真度判断方法
18
作者 张凤姣 张兴芳 《聊城大学学报(自然科学版)》 2011年第1期39-42,46,共5页
通过给出Gdel系统中公式的伪真值函数的概念,得到了判断原子个数比较少的公式真度的一般方法.
关键词 gdel逻辑系统 逻辑公式 真值函数 伪真值函数 真度
下载PDF
G觟del语言的说明性语义简述
19
作者 高伟 《福建电脑》 2009年第2期40-41,共2页
Gdel语言是在Prolog语言基础上发展而来的一种新型逻辑程序设计语言。本文基于类型一阶谓词逻辑的模型论,阐明了Gdel语言的说明性语义,为该语言的实现模型奠定了一定的理论基础。
关键词 gdel语言 类型 说明性语义
下载PDF
形式Peano算术的Gdel不完备性定理的一个简单证明
20
作者 秦一明 《中国科学技术大学学报》 CAS CSCD 北大核心 2003年第6期681-682,共2页
给出了形式Peano算术的G
关键词 形式Peano算术 goedel不完备性定理
下载PDF
上一页 1 2 3 下一页 到第
使用帮助 返回顶部