恒彩娱乐
- 支 持:HarmonyOS
- 分 类:格斗游戏
- 大 小:988 MB
- 版 本:9.7.4
- 评 分:
- 开发者:未来之星软件科技有限公司
- 下载量:1547次
- 发 布:2024-11-15 11:19:10
扫码免费下载
#恒彩娱乐简介
在同一时间,人们开始深入审视数学的极限。在1929年到1930年,数学家证明了,具有乘法或者加法其中之一的自然数系统之内的一切命题的真伪是可决定的,也就是可以通过某个算法自动计算出来。然而在1931年,库尔特·哥德尔发现,如果自然数同时包括乘法和加法,那么这个结论就不再成立了;同时包括乘法和加法的系统就是人们所知的皮亚诺算术,而这事实上是一个不完备的系统(仅靠皮亚诺算术就足够支撑数论了,包括可以表述素数)。而哥德尔的两个不完备定理表明,一个包括了皮亚诺算术的任何数学系统(涵盖了数学分析和几何的一切),真理永远凌驾于证明之上,即总会有在系统中不可能被证明的真命题。因此,数学本身不可能被规约为数学逻辑学,而大卫·希尔伯特企图将整个数学变得完备和一致的梦想也就此破灭而不得不改变了。
而科幻小说最大的特征就在于,它赋予了“幻想”依靠科技在未来得以实现的极大可能,甚至有些“科学幻想”在多年以后,的确在科学上成为了现实。因此,科幻小说就具有了某种前所未有的“预言性”。法文中,儒勒·凡尔纳的科幻小说最早就被称为“anticipation”,即“预测”。这样的文学作品基于科学的可信性是必要条件,应当说这种與科學主義相關的“科学至上”精神是科幻小说有别于其它幻想类型作品的根本所在。