百科网

首页 > 文化教育 > 科学探索

科学探索

对基础数学问题的探索诞生了计算机科学

科学探索万象经验2023-05-08

在其他学科中拥有多种观点并不少见。例如,文学因其能够对同一事物有多种解释而受到称赞,甚至物理定律也会随着时间的推移而被修改。但是对数学来说,这是行不通的,二加二等于四的事实永远不会被修改和改变。

他提出了一个雄心勃勃的计划:将所有数学公理化。希尔伯特认为,如果我们把数学当作一个形式系统,那么对于什么是允许的和不允许的,就不会有更多的分歧。

希尔伯特想要做一些类似的事情,来找到可以建立形式系统的基本公理,这将消除关于什么是允许和不允许的任何分歧。首先,希尔伯特考虑了在数学基础系统中三个主要内容,即一致性、完整性和可判定性。