“希尔伯特方案”的意思、用法、组词造句及英语翻译-汉语字词典-修远网

网站首页汉语俄语英语

字词	希尔伯特方案
释义	希尔伯特方案哲学卷希尔伯特方案　　希尔伯特提出的解决一致性(协调性)问题的方案。亦即用能行的有穷的方法研究包括古典逻辑和古典数学的形式系统,并论证其一致性的方案(计划)。其基本步骤是:将理论置入于逻辑演算中,使之完全形式化,构成形式系统;再用元理论研究该系统的逻辑性质,特别是证明的逻辑性质,判定其是否会产生逻辑矛盾等。1931年哥德尔发表不完全性定理,否定了该方案的某些设想。但方案所产生的有关方法对数理逻辑的发展起了很大作用。出处：哲学卷 • 逻　辑　学 • 现代形式逻辑数理化力学卷希尔伯特方案　　希尔伯特提出的解决协调性问题的方案。包括两个步骤:(1)对每个经典数学分支,建立一个模拟它的形式系统,形式系统的对象是无任何意义的符号,数学命题的推导关系变成符号串的变化关系。在这形式系统中可以严格地推导出相应的经典数学分支中一切定理的形式表示式。在形式推导中有相当于排中律的变形规则。(2)用立足于有限观点(即涉及的讨论、判断或定义都必须限制在可以彻底给出的对象和可以彻底进行的过程上面)的有限方法,证明该形式系统的无矛盾性。1931年哥德尔发表不完全性定理,否定了该方案的某些设想。但方案所产生的有关方法对数理逻辑的发展起了很大作用。出处：数理化力学卷 • 数　　学 • 数理逻辑 • 数学基础
随便看	施洗约翰是什么意思施洛塞尔是什么意思施洞是什么意思施派尔主教堂是什么意思施浪诏是什么意思施温格尔是什么意思施滉是什么意思施特劳斯是什么意思施特劳赫是什么意思施特恩是什么意思施特恩海姆是什么意思施特拉尔松德是什么意思施特拉尼茨基是什么意思施特拉斯布格是什么意思施特莱斯曼是什么意思施特里马特是什么意思施特鲁哈尔数是什么意思施琅是什么意思施瓦尔茨是什么意思施瓦岑贝格是什么意思施瓦布是什么意思施瓦布实践折中模式是什么意思施瓦茨是什么意思施用是什么意思施甸是什么意思 астробиология的意思 астробиология 的意思 астробионика 的意思 астробионика的意思 астроботаника的意思 астроботаника 的意思 астровизирование的意思 астровизирование 的意思 астрогеография 的意思 астрогеография的意思 project management office project management plan project management process project management professional project management software project management team project oneself into projector projectors projector screen

修远网汉语字词典收录72225条汉语词条，基本涵盖了全部常见汉语字词的翻译、注释及用法释义，是语文学习的有利工具。