形式Peano算术的Gdel不完备性定理的一个简单证明

给出了形式Peano算术的G del不完备性定理的一个简单证明     

基于Gdel配数的程序结构研究

用自然数研究程序结构的特点是文章的写作目的。在提出同构程序概念和程序G del数概念后,讨论了静态同构程序与动态同构程序之间的关系,证明了同构程序可数;在文中建立的程序积的概念下,从结构化程序设计角度,继承性地对一般程序结构进行了定义,并对它们的特点进行了较详细的讨论,从而指出循环结构和子程序结构都是分枝结构的特殊形式;利用同一程序的静态结构与动态结构G del数、程序积之间的关系找出了程序中存在子程序结构、分枝结构和循环结构的条件。讨论的结果表明用G del配数研究程序设计理论是一种行之有效的方法。最后,提出了进一步研究的目标。     

Gdel宇宙模型的一个近似解

通过对Gdel宇宙基本性质的分析,求得了弱场条件下其Einstein方程近似解,并对该解进行了分析.     

Gdel逻辑系统中公式真度判断方法

通过给出Gdel系统中公式的伪真值函数的概念,得到了判断原子个数比较少的公式真度的一般方法.     

Gdel系统中一种降级算法及性质

与G del系统中广义重言式之间的一种升级算法相对应,作者给出了G del系统中广义矛盾式之间的一种降级算法,对其基本性质进行了讨论,并讨论了G del系统中关于广义矛盾式理论的广义语义MP规则与广义语义HS规则,为进一步对G del系统的研究提供了帮助.     

论信息量的度量及其方法论意义

本文遵循逻辑和历史相一致的原则,探讨了人类对信息的认识过程,说明了信息量度量公式的提出标志着信息论的产生,论述了信息量度量公式的提出在方法论上的意义。     

论"动态联盟"及其方法论意义

现代制造业领域诞生的动态联盟的成功运作,已经超出了其作为一种生产模式或管理手段的本质内涵,而抽象为一种崭新的管理理念或思维范式,越来越深刻地渗透到人类生产生活的众多领域,不但具有深刻的认识论和方法论意义,而且意味着人类对传统生存方式的超越和生存空间的拓展。     

三值Gdel命题逻辑中基于前提信息的随机真度

利用赋值集的随机化方法,在三值Gdel命题逻辑系统中引入基于前提信息Γ公式的Γ-随机真度,证明了Γ-随机真度的MP规则、HS规则及交推理规则;同时引入公式间的Γ-随机相似度和Γ-随机伪距离,建立了Γ-随机逻辑度量空间,推导出Γ-随机相似度的若干性质;在Γ-随机逻辑度量空间中提出3种不同类型的近似推理模式并研究了它们之间的关系.     

模糊命题系统Gdel和L~*中条件真度的比较

首先把条件真度由三值逻辑系统推广到连续值系统Gdel和L*中,然后通过计算同时包含伴随对(,→)的4个公式(pq)→r,p(q→r),(p→q)r和p→(qr)基于同一个信息Γ={p}下的条件真度并比较其大小,得到条件真度的大小服从三角模算子的大小顺序,即τL*≤Gτd.     

形式Peano算术的G(o)del不完备性定理的一个简单证明

给出了形式Peano算术的Godel不完备性定理的一个简单证明.     

n值Gdel逻辑系统中广义矛盾式的计量化研究

利用势为n的均匀概率空间的无穷乘积,在n值Gdel逻辑系统中引入公式的α-矛盾度概念,从而将矛盾式的概念进行双重程度化,进而给出广义矛盾度的推理规则。     

Lukasiewicz逻辑系统中的公理在Gdel以及R_0系统中的真度分析

对Lukasiewicz逻辑系统中的公理在Gdel系统以及R0系统中的真度大小进行了分析,得到了有意义的结果:Lukasiewicz逻辑系统的某些公理在Gdel,以及R0系统中不是公理,但其真度皆大于0.5.     

不完全偏好意义下的极大元定理及其应用

由Brezis和Browder得到的非线性泛函分析序集一般原理及其推广已经被广泛应用到许多科学领域。然而，上述定理中的序集必须要求满足反对称性，而在理论数学、应用数学，特别是在经济学等许多领域中，一些序结构并不满足反对称性。为解决上述问题，我们首先提出了不要求反对称性的不完全偏好，在此基础上我们获得了许多不完全偏好意义下的极大元定理。作为应用，我们改进了由Brezis和Browder得到的非线性泛函分析序集一般原理及其许多推广，并给出了一个最小值定理，此定理推广了Weierstrass定理。     

老庄直觉思维及其方法论意义

本文以老庄直觉思维的对象为切入点,深入探讨其思维方式的程式、特点及其在人类掌握世界的两种方式科学和艺术中的方法论意义。并以此为案例说明中西思维方式互补和融合的重要性。     

意识形态的方法论意义及其启示

意识形态概念原初的意义是“使思想变得科学”,其方法论原则是辩证地批判。马克思、列宁娴熟地运用了这一方法论原则,创立了独具特色的无产阶级意识形态理论——“社会批判理论”。充分领会意识形态的方法论意义,对于我国社会主义意识形态建设无疑具有重要的启示意义。     

论Hlder不等式(英文)

本文给出(i)H(?)lder不等式一个有趣的性质;(ii)H(?)lder不等式改进后之应用.     

波动方程的建立及其科学方法论意义

欧文·薛定谔(Erwin Schrodinger,1887—1961)是奥地利杰出的理论物理学家,1926年1月到6月,在瑞士苏黎士大学工作期间,他以《作为本征值问题的量子化》为题,连续在《物理学年鉴》上发表了四篇论文,完成了波动力学的创立工作。在此期间,他建立了著名的波动方程:     

论孔子义利观对高校后勤工作的方法论意义

高校后勤工作为高校教学和研究工作提供了重要的保障,更是学校各种工作得以开展的基础。高校后勤部门,作为管理学校国有资产的重要承担者,在工作中如何处理好义、利关系,显得尤为重要。我国古代伟大的思想家、教育家孔子在义利观问题上提倡重义轻利,更指明了如何合理妥善处理好义、利关系,为当前后勤工作的开展起到了重要的价值指引作用。     

形式Peano算术的Gödel不完备性定理的一个简单证明

给出了形式Peano算术的Godel不完备性定理的一个简单证明.