成都龙港医院:我前两看到cctv介绍黑客帝国,说到一个什么数学问题.有谁知道??

来源:百度文库 编辑:高校问答 时间:2024/05/04 12:51:20
大概说的是一个数学系统中,一定有相矛盾的东西
求达人解答

奥地利数学家哥德尔在1931年发表了题为《论<数学原理>及有关系统的形式不可判定命题》的论文,其中提出这样一个观点,在任何数学系统中,只要其能包含整数的算术,这个系统的相容性就不可能通过几个基础学派所采用的逻辑原理建立。简单地说,就是在任何系统中,总有些真理是游离于逻辑之外的,这些真理就叫做歌德尔命题。
在Matrix中,尼奥就是在Matrix这个严整系统中不能被数学推得的歌德尔命题