− | 哥德尔于1951年被授予第一个阿尔伯特爱因斯坦奖,并于1974年被授予美国国家科学奖章<ref>{{cite web|url=https://www.nsf.gov/od/nms/recip_details.jsp?recip_id=138|title=The President's National Medal of Science: Recipient Details {{!}} NSF – National Science Foundation|website=www.nsf.gov|access-date=2016-09-17}}</ref>哥德尔当选为1968年皇家学会外籍会员<ref name=frs/>他是1950年在马萨诸塞州剑桥市举行的[[International Congress of Mathematics | ICM]]的全体发言人。<ref>{{cite book|author=Gödel, Kurt|chapter=Rotating universes in general relativity theory|title=''In:'' Proceedings of the International Congress of Mathematicians, Cambridge, Massachusetts, August 30–September 6, 1950|volume=vol. 1|pages=175–81|year=1950|chapter-url=http://www.mathunion.org/ICM/ICM1950.1/Main/icm1950.1.0175.0181.ocr.pdf}}</ref> [[Gödel Prize]]是理论计算机科学领域杰出论文的年度奖,以他的名字命名。 | + | 哥德尔于1951年被授予第一个阿尔伯特爱因斯坦奖,并于1974年被授予美国国家科学奖章<ref>{{cite web|url=https://www.nsf.gov/od/nms/recip_details.jsp?recip_id=138|title=The President's National Medal of Science: Recipient Details {{!}} NSF – National Science Foundation|website=www.nsf.gov|access-date=2016-09-17}}</ref>哥德尔当选为1968年皇家学会外籍会员<ref name=frs/>他是1950年在马萨诸塞州剑桥市举行的国际数学家大会 International Congress of Mathematics(ICM)的全体发言人。<ref>{{cite book|author=Gödel, Kurt|chapter=Rotating universes in general relativity theory|title=''In:'' Proceedings of the International Congress of Mathematicians, Cambridge, Massachusetts, August 30–September 6, 1950|volume=vol. 1|pages=175–81|year=1950|chapter-url=http://www.mathunion.org/ICM/ICM1950.1/Main/icm1950.1.0175.0181.ocr.pdf}}</ref> [[Gödel Prize]]是理论计算机科学领域杰出论文的年度奖,以他的名字命名。 |