导语:大家都知道宇宙是非常广阔的,不管是地球还是太阳都只是其中渺小的一个星球而已。宇宙中一但发生什么异变不及时阻止,可能会影响到什么事情来影响地球的发展。日前根据美国航天局(N[db:tags]SA)检测,有一枚被叫做“不死鸟”编号为 101955的小行星正在逐渐的接近地球,这是怎么回事呢?和探秘志小编一起看看吧。

NASA探测不死鸟小行星,2135.9.25将撞上地球(世界末日)

NASA探测不死鸟小行星

根据最新测算可以知道,在2135年9月25日,一枚叫做“不死鸟”的小行星将无限逼近地球,给地球带来更多的危险。根据美国航天局预测,这枚直径500米、7900万吨重的天体将有1/2700的概率撞上地球。所以现在科学家们正在严密的制定政策,为了避免一个世纪后可能发生的潜在危险。

NASA探测不死鸟小行星,2135.9.25将撞上地球(世界末日)

根据美国宇航局预测可以知道,不死鸟小行星正在以10.1万公里的时速冲向地球。假如不幸在2135年9月25日真的和地球相撞,那么地球可能会在8万枚广岛原子弹能量下毁灭。目前美国宇航局已经设立了一“超高速小行星减灾紧急反应航天器任务”,专门为这一情况提供帮助。

怎样避免被撞上

这个项目已经提出基本的设想,到那个时候可以发射长9米、重8吨的航天器,携带核弹直接撞击不死鸟小行星,改变其轨道。

NASA探测不死鸟小行星,2135.9.25将撞上地球(世界末日)

物理学家霍莉认为虽然1/2700的撞击概率听上去概率不大,但是一旦撞击上就是100%的毁灭,并且随着认识的进一步加深,这个概率还在进一步的扩大,假如不早点做出对应的政策,后果将不堪设想。

NASA探测不死鸟小行星,2135.9.25将撞上地球(世界末日)

“不死鸟”小行星于1999年被发现,当时它被发现运行在某条椭圆的轨道上,围绕着太阳运动飞行。美国宇航局认为研究合适的导弹至少需要7年时间,假设想要百分之百的让其改变轨道需要更久,甚至有人认为只有依靠核武器才可以达到最终目的。

结语:虽然距离预测时间还有一个世纪,但是NASA已经试着向不死鸟发射更多的火箭和一些探测器,希望可以了解更多的东西,以便未来更好的改变不死鸟行星的轨道。

导语:数学是现在一门十分重要的学科,影响了生活的很多方面。但是数学的发展并全是一帆风顺的,在数学史上也爆发过三次比较严重的危机,下面探秘志小编带大家一起了解一下吧。

第一次数学危机

NASA探测不死鸟小行星,2135.9.25将撞上地球(世界末日)

发生时间是公元前500年左右,和精准度有一定的关系。我们平时需要用到的数学知识,只需要精准到一定的程度就可以了。当时古希腊毕达哥拉斯学派认为,世界上所有的数字都可以用a/b的形式表示,需要注意的是a、b都是整数。这些数字被称为有理数。但是后来希帕索斯突然发现了一些事情,假设有一个等腰直角三角形,直边都为1,斜边则是(√2),并不满足这个条件,后来这些气急败坏的学者们不愿意承认这个事实,就把希帕索斯扔到海里去了。

NASA探测不死鸟小行星,2135.9.25将撞上地球(世界末日)

不过虽然希帕索斯死了,但是又有更多的学者发现了√2,√3,√5等等。这次数学危机导致纯代数的地位直线下降,而几何学的地位则上升了很多。并且还形成了欧几里得《原本》的公理体系与亚里士多德的逻辑体系,这次数学危机让东西方数学走上了不同的道路。

第二次数学危机

这次危机的发生时间在十七八世纪,主要参与的数学家是牛顿和莱布尼兹,他们和教会的贝克莱大主教是敌对关系。危机的核心问题在于微分中有关无穷小的定义,不管是牛顿还是莱布尼兹对于无穷小的定义都比较粗糙,这和讲究严谨的数学是不相符的。因此遭遇了强烈的抵抗和抨击。

NASA探测不死鸟小行星,2135.9.25将撞上地球(世界末日)

后来柯西用了极限的方法来重新定义了无穷小量,这让微积分更加全面和发展,这也让数学增加了更多的活力。

第三次数学危机

第三次危机的发生时间在十九世纪下半部分,主要对抗的人物是群论(集合论)的创立者康托尔和数学家罗素。当时康托尔创立了著名的集合论,这在一段时间内引发人们的讨论,一部分人对其十分赞扬另外一部分则强烈的攻击。不过在不久之后基本上所有的数学家都接受了,并且发现集合论的强大之处。

NASA探测不死鸟小行星,2135.9.25将撞上地球(世界末日)

但是当集合论的讨论越来越多,在数学界的影响越来越大时,人们发现了一个有关的悖论,那就是有名的罗素悖论。

罗素悖论:S由一切不是自身元素的集合所组成,那S包含S吗?用通俗一点的话来说,小明有一天说:“我正在撒谎!”问小明到底撒谎还是说实话。罗素悖论的可怕在于,它不像最大序数悖论或最大基数悖论那样涉及集合高深知识,它很简单,却可以轻松摧毁集合理论。

NASA探测不死鸟小行星,2135.9.25将撞上地球(世界末日)

当这一悖论提出后,各大数学家都开始提出自己的设想,人们希望通过某些方法对康托尔的集合论进行改造,并且设立新的原则来排除悖论。后1908年策梅罗在自己这一原则基础上提出第一个公理化集合论体系,在被其他数学家改进之后被称为ZF系统,这在很大的程度上弥补了集合论缺陷。

结语:三次重大的数学危机都在一定程度上推动的数学的发展和进步,让其根基更加牢固,应该也算是一件好事吧。