第354章(3 / 3)
希尔伯特二十七问虽然她有印象,但让她在这种情况下回忆起具体第十问涉及到哪些问题,那就真超纲了。
“第十问就是不定式方程的可解答性,简单描述就是任意多个未知数的整系数不定方程,要求给出一个可行的方法,能够借助这个方法,通过有限次运算,判定该方程有无整数解。”
“要解决这个问题,需要研究数理逻辑以及可计算理论,以及算法精确化。当然这个问题已经被证明为不可解。”
“但我想延伸出这么一个新问题,如果一个机器意志在假想的非人工操控下判断出一个数学问题穷尽算力也无法得到解决,但它又有必须要解决这个问题的理由,面临两难抉择时,它会做出何种选择,逻辑依据又是什么?”
“如果一定要较真,这又会引出另一个数学问题,NP完全问题!”
“是否在任何情况下,一道已知的难题,都能分解成若干简单的步骤,从而快速得到答案。” ↑返回顶部↑
“第十问就是不定式方程的可解答性,简单描述就是任意多个未知数的整系数不定方程,要求给出一个可行的方法,能够借助这个方法,通过有限次运算,判定该方程有无整数解。”
“要解决这个问题,需要研究数理逻辑以及可计算理论,以及算法精确化。当然这个问题已经被证明为不可解。”
“但我想延伸出这么一个新问题,如果一个机器意志在假想的非人工操控下判断出一个数学问题穷尽算力也无法得到解决,但它又有必须要解决这个问题的理由,面临两难抉择时,它会做出何种选择,逻辑依据又是什么?”
“如果一定要较真,这又会引出另一个数学问题,NP完全问题!”
“是否在任何情况下,一道已知的难题,都能分解成若干简单的步骤,从而快速得到答案。” ↑返回顶部↑