他们是谁？

• 作者: 张蜀
• 来源期刊: 程序员
• 学科: 工学
• 关键词: 计算机技术 历史研究 计算机设计方案 数学家
• 年，卷（期）: 2007,（3）
• 页码范围: 66-67
• 页数: 2页
• 分类号: TP311.1

摘要

他是谁。他1912年6月23日出生于英国伦敦，很小的时候就显现出出众的数学天赋，在他上过的中学有这样的传说：这个孩子有些奇怪，他会不假思索的说出一些数学难题的正确答案，却不知道怎样把它们证明出来。1931年，他考入皇家学院，大学毕业以后留校任教，不到一年的时间，他就发表了好几篇很有分量的论文，并且被选为皇家学院研究员。为此，他的母校宣布放假半天以示庆祝，连那时如日中天的罗素都致函邀请他讲学，大约也就是这个时候，他聆听了希尔伯特的演讲。这是一个固执的形式主义数学家，