保罗·伊萨克伯奈斯

保罗·伊萨克伯奈斯(1888年10月17日出生伦敦1977年,England-died 9月18日,苏黎世、瑞士)、瑞士数学家的工作理论和证据公理集合论帮助创建新的纪律的数理逻辑。

获得博士学位后的哥廷根大学在1912年,德国在埃德蒙德·兰道伯奈斯在苏黎世大学教了五年之前回到哥廷根。在那里,他合作与著名的数学家大卫希尔伯特在他职业生涯的黄昏,他试图克服挑战经典数学构成的L.E.J.这的直觉说。伯奈斯的哲学观点仍然在后台在1920年代的“基础危机”(看到数学的基础:追求严谨)。然而,他担任的强大支柱支持希尔伯特的程序形式化数学(看到形式主义)。以希尔伯特的名字为合作者,他写的经典研究《Mathematik2卷(1934 - 39;再版1968 - 70;“基础数学”)。1956年伯奈斯还修订了希尔伯特的《Geometrie(1899);几何的基础),它经历了几个版本。

1933年纳粹执政后,伯奈斯不得不放弃他的帖子和搬到瑞士。在苏黎世,他钻研的领域集理论,试图简化Zermelo-Fraenkel公理系统(看到逻辑,20世纪的历史:集理论)。这项工作出现在一系列的文章标题下”的系统公理集理论”(1937 - 54),主要论文发表公理集合论(1958)。伯奈斯的简化和改进工作约翰·冯·诺依曼在逻辑和集合t