DEL计算机英语翻译,哥德尔计算机,G·del computer,音标,读音,翻译,英文例句,英语词典...

补充资料：哥德尔，K.

数理逻辑学家、哲学家。1906年生于捷克斯洛伐克的布尔诺，1924年去维也纳大学主修物理，1926年转修数学，同年参加M.石里克主持的哲学小组，1930年春获博士学位，1933～1938年任维也纳大学讲师，1938年去美国普林斯顿高等研究所从事研究，1953年任该所教授，1978年1月逝世。

哥德尔一生在治学方面大致分为两个时期：1929～1943年主要研究数理逻辑和数学基础，1944年以后则更多地考虑哲学问题。在数理逻辑和数学基础方面，哥德尔的重要贡献有：①1929年的博士论文《逻辑谓词演算公理的完全性》，证明了狭谓词演算的有效公式皆可证。②1931年《〈数学原理〉及有关系统中的形式不可判定命题》的讲师论文证明，如果一个初等数论的形式系统一致，则它是不完全的；该论文还证明，这种系统的一致性在本系统中不能证明，更不能用有穷方法证明。③1939年出版的《连续统假设的一致性》一书证明，连续统假设相对于通常的集论公理系统是一致的。④1958年发表的《关于一个尚未用过的有穷观点的扩张》一文中，给出一个对于古典数论的构造性解释。他的这些工作正面或反面地，或是部分地解答了20世纪以来数学基础问题争论的最根本或最重要的问题，同时也给希尔伯特方案以很大的冲击。他以独立的哲学见解和精湛的数学才能把数学和逻辑结合起来，创造了新方法，从而把数学基础研究提高到新的水平，使大部分的数理逻辑发展成为数学的分支。

在哲学方面，哥德尔在20年代虽曾参加石里克小组的讨论，但他并不赞成逻辑实证主义观点，只是对用数理逻辑分析哲学问题感兴趣。他后期致力于哲学研究后，并未发表过系统的哲学论著，其哲学观点都散见于讨论数学或物理的哲学论文或讲演之中。他认为，健全的哲学思想和成功的科学研究密切相关。在他看来，一般数学和元数学，特别是关于超穷思想方法的客观主义观点，对于他的逻辑研究是根本的。他在《什么是康托尔的连续统假设》一文中指出，数学对象，如集论里的超穷集，是独立于人们所构造的"客观实在"，而不是象I.康德所断定的那样，是"纯主观"的。他认为，正如感性知觉对于物理对象一样，人们通过数学直观所得到的知觉也可以提供代表客观实在的材料，但他对此没有再进一步说明。哥德尔自称其哲学观点为"客观主义"，这比称之为"新柏拉图主义"更为恰当。

说明：补充资料仅用于学习参考，请勿用于其它任何用途。

DEL计算机英语翻译,哥德尔计算机,G·del computer,音标,读音,翻译,英文例句,英语词典...相关推荐

计算机专用电噪声,计算机电源噪声,the noise signals of computer,音标,读音,翻译,英文例句,英语词典...
补充资料:大型计算机电源系统大型计算机电源系统 power supply system for large-scale computer ┌───┐ ┌─────┤配电柜│ │,Ups卜 │ │ │ ...
飞行控制计算机英语,飞行控制与管理,flight control and managing,音标,读音,翻译,英文例句,英语词典...
补充资料:导弹飞行试验安全控制导弹飞行试验安全控制 safety control in missile flight test daodan feixing shiyan anquan kongzh ...
计算机感知计算机神经网络,神经网络计算机,neural network computer,音标,读音,翻译,英文例句,英语词典...
神经网络计算机 neural networkcomputer 用硬件实现或用软件模拟的方法.按照人工神经网络的基本原理而研制的计算机系统.以往的自动信息处理都是基于诺依曼机的概念和某种算法之上的即按照 ...
神经网络计算机,神经网络(计算机),neural networks(computer),音标,读音,翻译,英文例句,英语词典...
神经网络计算机 neural networkcomputer 用硬件实现或用软件模拟的方法.按照人工神经网络的基本原理而研制的计算机系统.以往的自动信息处理都是基于诺依曼机的概念和某种算法之上的即按照 ...
计算机处理英语的顺序,顺序多处理方式,sequential multiprocessing ],音标,读音,翻译,英文例句,英语词典...
补充资料:水处理系统顺序控制水处理系统顺序控制 water treatment system sequence control shu一ehul一x一tong shunxu kongzhl水处理系统 ...
大气数据计算机英语,数字大气数据计算机,DADC Digital Air Data Computer,音标,读音,翻译,英文例句,英语词典...
补充资料:大气数据计算机一种多输入多输出的机载综合测量系统,又称大气数据中心仪.它根据传感器测得的少量原始信息,如静压.总压.总温.迎角等计算出较多的与大气数据有关的参数,如飞行高度.高度偏差.升降 ...
计算机医学英语论文,医学英语科普文章,English popular science writing in medicine,音标,读音,翻译,英文例句,英语词典...
补充资料:外贸英语--货物保险英语表达 F.P.A. stands for "Free from Particular Average".FPA代表平安险. W.P.A. ...
数据处理计算机,数据处理计算机,data processing computer,音标,读音,翻译,英文例句,英语词典...
补充资料:测绘数据处理测绘数据处理 survey data processing eehui shulu ehuli测绘数据处理(survey data processing)指工程勘察测童中所获得 ...
麦金塔计算机英语,苹果麦金塔电脑,AMC [Apple Macintosh Computer],音标,读音,翻译,英文例句,英语词典...
雕刻加工是饱含着人类高智能和高技能的工匠型劳动,当代雕刻制造技术正经历着从手工雕刻向CNC雕刻的变革.本文较为详尽地讲述了CNC电脑雕刻机和数控铣.加工中心的机器结构.控制系统.应用软件等方面的关系, ...
工业计算机英语作文,工业计算机,Industrial Computer,音标,读音,翻译,英文例句,英语词典...
单板计算机单板计算机(Single-board computer,SBC),在系统只需要要求有限的I/O,并且在未来不可能会有大幅度修改或扩大的系统中,它是在成本上最为经济的方案.不像其他的计算机类 ...

DEL计算机英语翻译,哥德尔计算机,G·del computer,音标,读音,翻译,英文例句,英语词典...

DEL计算机英语翻译,哥德尔计算机,G·del computer,音标,读音,翻译,英文例句,英语词典...相关推荐

最新文章

热门文章