美國航天局NASA近日公布了一份好奇號火星車目前所在位置的彩色圖片如下：
從上圖可見，好奇號火星車目前所在的位置是在名為」JohnKlein」的巖石附近。好奇號在這裡完成了第一次火星鑽孔實驗，並且傳回了測試數據。圖中的紅色地域的「慣性」較高，夜晚外界溫度下降較為緩慢。這是一個衝積扇區域（Alluvialfan)。
自去年8月6日好奇號火星車成功登陸火星表面之後，時間已經過去半年多了。好奇號的核動力發電裝置運行正常。這是很了不起科學成就。同位素的半衰期就是用微分方程計算出來的，而微分方程解（Solution）的存在性證明不是依靠物理實驗，而是依靠數學的形式化證明，最終還是要追尋到實數的公理體系（數學大樹的」根「）。
有人不解「數理化、天地生」為何重要，而「數學、天文」尤其重要。但是，數學是從公理出發的，結論如何，是否真實，歸根結底還需要靠實踐來驗證，花言巧語無用。說句實話，超實微積分（也叫無窮小微積分）所使用的公理系統是從實數公理系統「轉移」而來，沒有什麼稀奇之處。又說「跑題」話了，該打！