排序方式： 共有13条查询结果，搜索用时 0 毫秒
11.
1900年在巴黎召开的数学家大会上，被称为“数学巨匠”的德国数学家希尔伯特向全世界数学家提出了20世纪亟待解决的23个最具挑战性的问题。100年里，这23个问题不知使多少不乏才力的数学家倾注心血，为之欢乐为之忧。23个问题中的第二个，是证明初等数论形式系统的无矛盾性。然而，处在世纪之初的希尔伯特怎么也不会想到，这个问题的解决给他本人和20世纪的思想界带来了什么样的效应。 相似文献
12.
刘晓力 《中山大学学报论丛》2000,(2)
80年代以来,随着哥德尔一些重要手稿的陆续公布和《哥德尔文集》的陆续出版,自30年代起就已拉开序幕的哥德尔研究重新在西方学界燃起兴趣,成为具有极大挑战性和诱惑力的课题。本文从对哥德尔的逻辑和数学贡献以及相关成果的后续研究、哥德尔哲学思想的探讨、哥德尔思想对其他领域的影响以及关于哥德尔的传记式研究四个方面,对80年代以来国外哥德尔研究进展情况作一概述,期望国内逻辑学界关注这一领域。 相似文献
13.
刘晓力 《内蒙古大学学报(人文社会科学版)》1999,(3)
作为本世纪最伟大的逻辑学家和数学家,哥德尔（ＫｕｒｔＧｏｄｅｌ,１９０６－１９７８）是一个具有传奇色彩的人物。他的不完全性定理被各个领域的人所津津乐道;所谓“悖论”、“怪圈”也曾一度成为大批科普作品中的时髦语汇。几十年来,大多数研究者往往更了解他在逻... 相似文献