“氢弹之父”乌拉姆:我的朋友冯·诺伊曼(上)
冯·诺伊曼由此受到启发,采用了类似于群上的Peter-Weyl积分,并使用关于积分算子的有限个特征函数的线性组合来逼近函数的定理(这是施密特博士论文提出的),以及巧妙运用n维欧氏空间中区域不变性的布劳威尔定理,最终证明了紧致n维拓扑群连续同构于有限维空间的酉矩阵构成的闭群。此论文的方法允许我们把更一般的群(不一定是...
跨世纪的两位数学巨人—庞加莱与希尔伯特,“之后再无数学家”
该定理声称:对于任何有n个变量x1、x2、…,xn的形式所组成的无穷序列S=F1、F1、…Fn,都存在一个数m,使得该序列中的任何一个形式都可以表示为:式中,A_i是有相同n个变量的形式。希尔伯特把这个结果应用于证明对于任意多个变量的形式所组成的系,存在一个不变量的有限完全系。他在1893年发表的一篇很有影响的论...
冯·诺伊曼:无与伦比的天才(上)_澎湃号·湃客_澎湃新闻-The Paper
尤金·维格纳(EugeneWigner),1913-21年就读于路德教会学校;1963年诺贝尔物理学奖得主,曾致力于曼哈顿计划,特别是对原子核理论、基本粒子理论有重要贡献,提出了量子力学中的维格纳定理。爱德华·泰勒(EdwardTeller),1918-26年就读于明塔中学;“氢弹之父”,曼哈顿计划的早期成员,在核物理、分子物理、光化学和表面物理...
谁才是百年计算机的数学灵魂:莱布尼茨、图灵还是希尔伯特?
哥德尔完备性定理希尔伯特在20世纪20年代介绍了他的元数学纲领:一致性有待证明的公理将被包含在一个形式逻辑系统之内,而证明仅仅是有限数目的符号的一种排列而已。当希尔伯特开始思考希尔伯特纲领时,希尔伯特的学生阿克曼和冯诺依曼似乎正在朝着用有限性方法证明PA的一致性的方向大步迈进。他们二人都已经为PA的一个有...
计算机起源的数学思想|希尔伯特|康托尔|代数|图灵机_网易订阅
哥德尔完备性定理希尔伯特在20世纪20年代介绍了他的元数学纲领:一致性有待证明的公理将被包含在一个形式逻辑系统之内,而证明仅仅是有限数目的符号的一种排列而已。当希尔伯特开始思考希尔伯特纲领时,希尔伯特的学生阿克曼和冯诺依曼似乎正在朝着用有限性方法证明PA的一致性的方向大步迈进。他们二人都已经为PA的一个有限的...
耶鲁教授: “总统”为何会变成带头不守法的职位? | 文化纵横
阿克曼曾在他的《我们人民》多卷本内提出了一个关键的宪法概念:宪法时刻(constitutionalmoment)(www.e993.com)2024年9月19日。在宪法时刻内,人民现身为一个独立的、可识别的法律主体,由此区别于人民由公共生活退隐回私人生活的常规政治。而阿克曼在本书中又再一次强调,他的宪法时刻概念决不应被理解为...