1930年9月,哥德尔在柯尼斯堡举行的一个会议上宣布证明了日后以他名字命名的哥德尔不完备定理;1936年,图灵在一本数学杂志上发表论文,发明了日后以他名字命名的图灵机。做出上述发现时,哥德尔在维也纳大学,图灵在剑桥大学国王学院,他们都是学生,只有24岁。
了解更多信息请关注官方微信
数邦客