5.4　火星人法则

我们怎么判断一个科学理念是自然产生的（就如同造物主创造的一样），还是由人类的主观活动产生的呢？假设我们发现存在火星文明，其科技水平与我们地球文明的水平相当。如果在火星文明中有一个与地球文明相同或相近的理念，那么这个理念应该是自然产生的，因为它分别来源于两个独立的文明。

当然不存在火星文明来和地球文明做比较，所以只能想象一下。假设火星人的计算机器叫Exigius¹，它和图灵机有本质的区别，但是两者有着相同的计算能力。那么火星版的丘奇–图灵论题是：一切可计算的事物都能被Exigius计算。所以从火星人的角度看，图灵机不是自然产生的，而计算这个概念是自然产生的。

^{1 Exigius这个名字来自美国科幻电视连续剧My Favorite Martian，中文译为《火星叔叔马丁》。——译者注}

对于P/NP问题的自然性，我们不需要火星人来证明。当年苏联和北美的研究者在彼此隔绝的情况下，发现了同一个P/NP问题以及NP完全问题。他们的研究动机不同：在东方，人们试图理解蛮力搜索的必要性；而在西方，人们则希望理解高效能计算的力量。他们沿着各自的研究之路，最终来到了同样的地方，一个在15年前就被库尔特·哥德尔捷足先登的地方。

类似地，假想中的火星人应该也会发现P/NP问题（或者类似的问题，但愿他们还没有先我们一步解决这个问题），并且很可能他们也认为这个问题是自然产生的，而且非常重要。