诺伊曼，J．von

【生卒】：1903～1957

【介绍】：

美籍数学家。生于匈牙利的布达佩斯，1921年华业于当地大学，1921～1923年在柏林大学学习。历任柏林大学、汉堡大学的兼职讲师，1930年移居美国，1930～1933年任普林斯顿大学教授，1933～1957年任普林斯顿高等研究所教授。曾任美国原子能委员会委员。诺伊曼的主要论著多数已收入6卷本的《J．von诺伊曼作品选集》(1961～1963)。诺伊曼的研究涉及逻辑与集合论、测度论、群论、希尔伯特空间的光谱理论、希尔伯特空间的算子环、数值分析和计算机、博奕论等众多的领域，并对这些领域的形成与发展作出了重要贡献。在逻辑和数学基础方面，他于1923年发表了有关序数的新定义的论文。由于他给出的定义十分优雅，因而现被普遍采用。1925年他引进了集合论的一个公理系统，它完全不同于E．策尔梅洛和A．弗兰克尔的公理系统。该系统后经P．贝奈斯和K．哥德尔进一步修改才广为人知，通常称为GB系统。客观地讲，应该称为NBG系统。20年代末期，针对人们对数学内在一致性的怀疑，他参与希尔伯特的工作，试图实现D．希尔伯特的元数学方案，用纯粹的形式方法去证明数学的一致性。虽然哥德尔的结果揭示了这种一致性证明的内在局限性，但诺伊曼仍然得到了一些部分算术一致性的证明。在他后来的数学研究中，他广泛应用和进一步发展了有关逻辑、公理化描述和形式结构的一般方法。