美国航天局NASA近日公布了一份好奇号火星车目前所在位置的彩色图片如下：
从上图可见，好奇号火星车目前所在的位置是在名为”JohnKlein”的岩石附近。好奇号在这里完成了第一次火星钻孔实验，并且传回了测试数据。图中的红色地域的“惯性”较高，夜晚外界温度下降较为缓慢。这是一个冲积扇区域（Alluvialfan)。
自去年8月6日好奇号火星车成功登陆火星表面之后，时间已经过去半年多了。好奇号的核动力发电装置运行正常。这是很了不起科学成就。同位素的半衰期就是用微分方程计算出来的，而微分方程解（Solution）的存在性证明不是依靠物理实验，而是依靠数学的形式化证明，最终还是要追寻到实数的公理体系（数学大树的”根“）。
有人不解“数理化、天地生”为何重要，而“数学、天文”尤其重要。但是，数学是从公理出发的，结论如何，是否真实，归根结底还需要靠实践来验证，花言巧语无用。说句实话，超实微积分（也叫无穷小微积分）所使用的公理系统是从实数公理系统“转移”而来，没有什么稀奇之处。又说“跑题”话了，该打！
