有时,正是那些最意想不到的人,能做出最超出

在1928年的学术会议上,希尔伯特又提出了数学是否兼具齐备性、一致性以及决议性的疑难。言下之意是,是否存在一个断定的方法,在实践上适用于任何假设且给出准确的结果。而该构想也被命名为“希尔伯特决定问题”。

在提出这个问题之后,希尔伯特开始大力推许让所有数学家都去构建数学公理,让所有的数学实际都能从这些构建的公理中通过一个齐备且一致的体系得到证实。当然,希尔伯特推重的这个概念是否可行完全取决于他所提出的第10个问题是否被证明为正确。

信赖很多人对这个成果有各种各样的看法,因为无论是谁获此殊荣,可能都不敢独占这个“最”字。

在迷信范畴,入选的有居里夫人、屠呦呦、图灵和爱因斯坦。

抛开对“之最”的辩论,我们想要来聊聊,图灵究竟有何宏大之处,让大众对他有着别样的情怀?

在这一系列问题中,第10个问题提出:咱们是否可能设计一个可行的过程,并通过有限次运算来判断任何多个未知数的整系数方程有无整数解。

今年一月,BBC动员了一个名为“20世纪最具影响力人物”的投票。曼德拉、毕加索、拳王阿里等咱们耳熟能详的名字都浮现在这份名单中,波及了包括政治、科学、艺术、体育等在内的7个范围。

当时,德国数学家及逻辑学家希尔伯特(David Hilbert)在国际数学大会上发表了一场历史性的讲演。他提出了23道当时有待解决的数学大问题,被后辈称为希尔伯特23问。这些问题鼎力推动了全体20世纪的数学发展。

经过数周的投票,最终荣获20世纪最有影响力的科学家是盘算机之父——艾伦·图灵(Alan Turing)。

让我们回到1900年。

起因有很多,作为一名打算机科学的研究工作者,我认为最重要的多少点是:他不仅带来了学科的奠基跟战役的救赎,更有哲学的思辨跟对人性的思考。

学科的奠基

撰文:孙鹏(计算机博士)