科学空间|Scientific Spaces

翻译语录：总的来说，这篇文章的翻译还是比较顺利，不懂的词查一下软件就OK，所以这次要说一下翻译以外的问题：众所周知，二氧化碳会造成温室效应，而二氧化硫能够抑制温室效应。不过糟糕的是，几乎所有大气环境治理手段都将把其它污染性气体转变成二氧化碳为目标，包括处理二氧化硫。这就造成了约治理环境，温室效应越强的问题。这时我们的环境学家也应考虑下两者的均衡问题了。

图片说明：俄罗斯Kamtchatka火山爆发

点击阅读全文...

笔者语录：现在温室效应愈演愈烈。不过，在千万年前，情况正好相反，二氧化碳含量的急剧下降，使地球越来越冷。而一个“救星”的出现挽救了地球！这个伟大的“救星”，就是我们随处可见的植物。现在，就让我们随着《新科学家》的脚步，去看看那远古的“救星”！

图片说明：原始森林。来自搜索引擎，图片有可能经过PS。

点击阅读全文...

科学空间是使用typecho程序搭建的博客，侧边栏提供了搜索功能，然而typecho内置搜索功能仅仅是基于字符串的全匹配查找，因此导致很多合理的查询都没法得到结果，比如“2018天象”、“新词算法”都没法给出结果，原因就是文章中都不包含这些字符串。

于是就萌生了加强搜索功能的想法，之前也有读者建议过这个事情。这两天搜索了一下，本来计划用Python下的Whoosh库来建立一个全文检索引擎，但感觉整合和后期维护的工作量太大，还是放弃了。后来想到在typecho自身的搜索上加强，在公司同事（大佬）的帮助下，完成了这个改进。

由于是直接修改typecho源文件实现的改进，因此如果typecho升级后就可能被覆盖，因此在这里做个备忘。

探索

通过在Github检索我发现，typecho的搜索功能是在var/Widget/Archive.php中实现的，具体代码大概在1185～1192行：

点击阅读全文...

宇宙中存在所谓的“黑洞”，只要你步入了它的视界之内，就永远也出不去了（除非你能够超光速）。在数学中，也有类似的规则，只要把一个自然数代入这个规则，都无一不会陷入无限的循环之中，这样称之为“数字黑洞”。有一个“数字黑洞”，它令人十分着迷，甚至有人称它为“企图减缓美国数学进展的阴谋”——这就是“冰雹猜想”。

冰雹猜想：
任选一个自然数。当选定的自然数是偶数，将它除以2，如是奇数，将它乘以3加上1；当变换后的自然数成了偶数，再将它除以2，如成了奇数，再将它乘以3加上1，连续进行下去，最后都“落叶归根”——变成了1。

点击阅读全文...

太阳系中有多少颗行星？官方的回答是八颗——除非你碰巧住在美国伊利诺斯州。2009年初，“目中无人”的伊利诺斯州政府宣布，为”行星”制定标准的国际天文学联合会（IAU）其实是不公正地剥夺了冥王星的”行星”头衔。

三年前，IAU决定为“行星”一词起草首个科学上的定义。

在捷克首都布拉格召开的IAU大会上经过数天的激烈争论，与会代表投票通过了一个行星的定义。根据这个定义，冥王星被排除在了行星的行列之外，降级为“矮行星”。

[图片说明]：冥王星系统的想象画。

点击阅读全文...

在中学，有理数的定义为整数和分数的集合，统一来说就是能够写成两个整数之比的数。那相对地，无理数自然就是不能写成两个整数之比的数了，也就是无限不循环小数，比如$\pi,\sqrt{2}$等等。历史上无理数的发现带来了第一次数学危机，并生下了一颗“金蛋”，不过发现者却因此丢掉了生命。让我们永远铭记——希帕索斯(Hippasus)。

历史：

http://baike.baidu.com/view/1167.htm#2

在这里对无理数就不多说些什么了，主要是谈谈相关的证明而已。
先说明，以下是我自己的证明方法，当然我相信有一种方法是通用的，但是我没有找出来。

点击阅读全文...