科普科幻文学创作者必须具有比较丰富的文史知识和科学知识作为基础，才能创造出优秀的作品。为了让大家更方便快捷去接触了解这些资料，《高校科幻》平台每周会推送一篇科学知识相关的干货文章供大家欣赏学习。
本期为大家带来：
作者以通俗的语言，深入浅出地解释了现代科学中的一百个尖端课题。其中，有些是了解现代科学技术所必须具备的基础知识，如科学的研究方法、二进制数、相对论、亚原子粒子、核聚变、熵、晶体、病毒等。有些则是当代科学技术的前沿阵地，如黑洞、统一场论、夸克、快子、金属氢等。作者对这些问题的来龙去脉，它们目前处在什么样的状态、有没有希望得到解决等问题均作了回答。
▼
第⑤个问题： 什么是戈德尔证明？戈德尔证明是否说明真理是不可得知的 ？从欧几里得（2200年前）以来，数学家一般都是从某些称为“公理”的陈述出发，推导出各种有用的结论。从某种意义上说，这几乎就像是一种必须遵守两条规则的游戏。如果你能从某一条公理推导出另一条公理，所么，所推导出的那条公理就不能作为公理。在很长一段时间内，人们都把欧几里得的公理看作是唯一可用来建立没有内在矛盾的几何学的公理，从而把这些公理看作是“真公理”。但是，到了十九世纪，有人证明了欧几里得的公理是可以用某些方式来加以改变的，因而可以建立另外一种不同的几何学，即“非欧几里得几何学”。这两种几何学虽然各不相同，但每一种几何学都不具有内在矛盾。从此以后，人们如果要问哪一种几何学是真几何学，就没有意义了。事实上，我们可以用许多组公理来建立几种各不相同但又各自并不具有内在矛盾的数学体系。在任何一种这样的数学体系中，你都必定不可能根据它的公理推导出既是如此又非如此的结论，因为如果这样的话，这个数学体系就不可能不具有内在矛盾，就会遭到淘汰。但是，倘若你能做出一种陈述，并且发现你不能证明它既是如此又非如此的话，又将怎么样呢？如果是假话，那么，我在说假话这件事就是假的了，因此，我必定在说真话。如果我在说真话，那么我在说假话这件事就是真的了，因此，我确实在说假话。我可以永无休止地来回这样说，结果，将永远无法证明我所说的到底是如此，还是并非如此。假如你能对这些逻辑公理进行调整，以排除上面所说的这种可能性，那么，你能不能找到另外的方法来做出这样一种既是如此，又非如此的说法？1931年，一位奥地利数学家戈德尔终于提出一个有力的证明，他指出，对于任何一组公理，你都能做出既不能根据这些公理来证明事实确是如此，也不能根据这些公理来证明事实确非如此的说法。从这个意义上讲，任何人都不可能建立出一种可以凭此推导出一个完美无缺的数学体系的公理。第一，因为一种数学体系不完美，并不意味着它所包含的东西是“假的”。如果我们不想超出这样的数学体系的限度来应用它，它就仍然是极其有用的。第二，戈德尔证明只适用于数学中所应用的那几种演绎体系。太阳系的大小是通过观察和测量而得出的——观测是得到“真理”的另一途径。
科学百科知识系列
美国著名科幻小说家、科普作家、文学评论家，是美国科幻小说黄金时代的代表人物之一。
阿西莫夫一生著述近500本，题材涉及自然科学、社会科学和文学艺术等许多领域，与儒勒·凡尔纳、赫伯特·乔治·威尔斯并称为科幻历史上的三巨头，同时还与罗伯特·海因莱因、亚瑟·克拉克并列为科幻小说的三巨头。
其作品中以《基地系列》、《银河帝国三部曲》和《机器人系列》三大系列被誉为“科幻圣经”。曾多次获代表科幻界最高荣誉的雨果奖和星云终身成就大师奖（雨果奖7次、星云奖3次、轨迹奖2次）。小行星5020、《阿西莫夫科幻小说》杂志和两项阿西莫夫奖都是以他的名字命名。
他提出的“机器人学三定律”被称为“现代机器人学的基石”。
稿件搜集 | 靳淞
文字编辑 | 清皓
排版 | Lynn
审核 | 清皓
《高校科幻》杂志是由高校科幻爱好者自发筹建的季刊高校内部交流杂志，力推科幻创作与科学普及，为高校科幻社团及爱好者提供一个展示自我、相互交流的公益平台。
打造高校重要科幻阵地。
力推科幻创作与科学普及，促进高校科幻社团积极交流，帮助高校科幻科普爱好者展示自我，从而培养出一批又一批优秀的科幻科普青年才俊。
