电子计算机之父冯.诺依曼的主要贡献,约翰·冯·诺依曼,约翰·冯·诺依曼的生平,贡献等...
1.集合论,数学基础
冯?诺依曼的第一篇论文是和菲克特合写的,是关于车比雪夫多项式求根法的菲叶定理推广,注明的日期是1922年,那时冯?诺依曼还不满18岁。另一篇文章讨论一致稠密数列,用匈牙利文写就,题目的选取和证明手法的简洁显露出冯?诺依曼在代数技巧和集合论直观结合的特征。
1923年当冯?诺依曼还是苏黎世的大学生时,发表了超限序数的论文。文章第一句话就直率地声称“本文的目的是将康托的序数概念具体化、精确。他的关于序数的定义,现在已被普遍采用。
强烈企求探讨公理化是冯?诺依曼的愿望,大约从l925年到l929年,他的大多数文章都尝试着贯彻这种公理化精神,以至在理论物理研究中也如此。当时,他对集合论的表述处理,尤感不够形式化,在他1925年关于集合论公理系统的博士论文中,开始就说“本文的目的,是要给集合论以逻辑上无可非议的公理化论述”。
有趣的是,冯?诺依曼在论文中预感到任何一种形式的公理系统所具有的局限性,模糊地使人联想到后来由哥德尔证明的不完全性定理。对此文章,着名逻辑学家、公理集合论奠基人之一的弗兰克尔教授曾作过如下评价:“我不能坚持说我已把(文章的)一切理解了,但可以确有把握地说这是一件杰出的工作,并且透过他可以看到一位巨人”。
1928年冯?诺依曼发表了论文《集合论的公理化》,是对上述集合论的公理化处理。该系统十分简洁,它用第一型对象和第二型对象相应表示朴素集合论中的集合和集合的性质,用了一页多一点的纸就写好了系统的公理,它已足够建立朴素集合论的所有内容,并借此确立整个现代数学。
冯?诺依曼的系统给出了集合论的也许是第一个基础,所用的有限条公理,具有像初等几何那样简单的逻辑结构。冯?诺依曼从公理出发,巧妙地使用代数方法导出集合论中许多重要概念的能力简直叫人惊叹不已,所有这些也为他未来把兴趣落脚在计算机和“机械化”证明方面准备了条件。
电子计算机之父冯.诺依曼的主要贡献,约翰·冯·诺依曼,约翰·冯·诺依曼的生平,贡献等...相关推荐
- 电子计算机科学之父,电子计算机之父/历史的丰碑
电子计算机之父/历史的丰碑 语音 编辑 锁定 讨论 上传视频 <电子计算机之父/历史的丰碑>是2011年吉林人民出版社出版的图书,作者是韩文峰.张邦佐. 中文名 电子计算机之父/历史的丰碑 ...
- 电子计算机之父冯.诺依曼的主要贡献,冯•诺依曼的贡献有哪些?
冯•诺伊曼还是20世纪最重要的数学家之一,在纯粹数学和应用数学方面都有杰出的贡献.他的工作大致可以分为两个时期. 1940年以前,主要是纯粹数学的研究:在数理逻辑方面提出简单而明确的序数理论,并对集合 ...
- node.js是开源的吗_为开源做贡献并不难:我为Node.js项目做贡献的旅程
node.js是开源的吗 As a developer, you should consider contributing to open source software. Many of your ...
- 开源贡献 计算_如何克服恐惧并为开源做贡献
开源贡献 计算 Are you a new developer? Or maybe even just an old-timer who has been in a company for ten y ...
- 开源贡献 计算_使用此网站为开源做贡献
开源贡献 计算 When I began the transition into being a software developer, I knew that contributing to ope ...
- 开源贡献 计算_通过Hacktoberfest的镜头看开源贡献的状态
开源贡献 计算 在2019年,DigitalOcean和开放源代码社区庆祝了第六届年度Hacktoberfest ,这是一个包容性社区活动,激发了开放源代码的参与和维护. 激动人心的一年,世界范围内的 ...
- 冯山C语言第六章作业答案,冯山《山路梅花》阅读答案及翻译赏析
冯山<山路梅花>阅读答案及翻译赏析 <山路梅花>是诗人冯山旅途即兴之作,这是一首七律.下面我们为大家带来冯山<山路梅花>阅读答案及翻译赏析,仅供参考,希望能够帮到大 ...
- 华中科技大学计算机学院冯丹简历,华中科技大学计算机学院副院长冯丹教授来我校讲学的通知...
课程题目:智能存储技术 主讲人:华中科技大学计算机学院副院长冯丹教授 时间:2007年7月20-21日 早上8:30-12:30 下午2:00-6:00 面向对象:本科生.研究生.青年教师 地点 ...
- openGauss 社区贡献排行榜发布,云和恩墨位列伙伴贡献第一
2022年4月13-15日,openEuler Developer Day 2022大会正在举行.大会第二天,openGauss 正式发布了"社区贡献排行榜"(点击文末" ...
最新文章
- python流程控制-python 流程控制语句
- memset 数组初始化
- WordPress多用途电子商务博客新闻主题betheme 21.5.6版本
- BZOJ 2199: [Usaco2011 Jan]奶牛议会 [2-SAT 判断解]
- Java中的Swing键盘绑定案例
- 按头安利 好看又实用的布纹 布料贴图素材看这里
- ueditor mysql_UEditor怎么保存数据到Mysql
- 用PS将照片背景变成白色
- word文字上下间距怎么调_word文档里的文字上下左右之间的间距如何调整?
- 基金知识整理--基金购买那些事(2)
- THREE.JS自定义中心旋转轴
- 计算机专业的英文简历范文带翻译,计算机软件专业英文简历范文 英文简历范文带翻译...
- 吉米小轻杆吸尘器轻巧便利顺手吸尘,利用碎片化时间让家居更洁净
- 34 Places to Get Design Inspiration - Online and Offin
- java中草药美白淡斑紧肤膏_中药美白淡斑的方法
- Java NIO基础之缓冲区buffer(笔记 day01)
- 山科大计算机学院硕士生导师简介2020,2020年电子科技大学计算机科学与工程学院(网络空间安全学院)第一批次拟录取硕士研究生关于提交意向导师申请的通知...
- Win11怎么卸载有问题的更新补丁
- 计算机有ssd为什么还启动慢,装了固态硬盘电脑开机,反应还是慢,知道为什么吗?...
- 杨桃的Python机器学习3——单特征与多特征、训练集与测试集
热门文章
- 使用 C# + SQLite + PetaPoco + django 快速打造桌面程序
- java中使用request,application,session,cookie对象
- 如何删除有病毒的网站?
- DevExpress.XtraBars.Ribbon控件使用系列 (1)创建Ribbon窗体
- 热闹庆祝51CTO第二期线下活动圆满完成
- 【PM模块】故障维护简介
- [面向对象] ABAP中类重构助手Refactoring Assitant
- 企业移动应用平台:走进SAP SUP的世界
- SAP SHD0的详细简介
- ABAP模块P类型详细解释