主题：超算，理论、和实验 -- 青颍路

天眼望远镜真能“看“到外星人吗？

在贵州建造的FAST射电望远镜灵敏度约为世界第二大同类望远镜的两倍

很早以前当学生时，我的办公/实验室门上贴有一张漫画：一排指向太空的射电望远镜旁边，一个人手拿双筒望远镜也在观察太空，漫画的标题是“核对而已Just checking”。

这里拿双筒望远镜观察太空是实实在在的“物理“实验，而射电望远镜观察太空相对于双筒望远镜观察可以理解为理论实验，当然这只是比喻，射电望远镜观察太空是无可厚非的真正的实验。但是我们应该认识到：当我们说眼见为实的时候，所有的天眼却都得依靠理论计算给出答案。

位于美国新墨西哥州的综合孔径射电望远镜甚大天线阵（VLA）

丁肇中是坚定的实验至上哲学的大师，他说“实验是自然科学的基础，理论如果没有实验的证明，是没有意义的。当实验推翻了 理论以后，才可能创建新的理论，理论不可能推翻实验”。（这话不知杨振宁同意不同意，反正老杨是比老丁牛，有82娶28一树梨花压海棠为证。）

“理论不可能推翻实验“这话没错，正像“人不能拉着头发把自己提起来”一样。问题是丁肇中没法拿着放大镜观看他的基本粒子，他需要几十公里长的高能加速器，各种检测仪。这些高深的实验本身就是理论的。所以在物理学领域，物理实验至上论也是非常不恰当的。参见（省去了我一大堆废话）：

曹则贤：物理学是一门实验的科学？这是天大的误解

“当实验推翻了 理论以后，才可能创建新的理论。“ 实际上并非一定要做真正的 “物理“实验。 我们所津津乐道的1589年伽利略在比萨斜塔做的自由落体这个实验，推翻了亚里士多德的观点。可是历史上他并没有从比萨斜塔上同时扔2个铁球来证明亚里士多德的错误。伽利略的实验大多数就是基于逻辑的思想实验，我们也可称为理论思维（纯逻辑的），或理论实验 （theoretical experimentation, 牵涉到复杂的理论推演和计算）。