看来确实很少有人真的能够区分科学和信仰。

就连许多支持科学的人都是把科学当作一种信仰来看待的。

他们的论证大致是：任何理论都有基础，这个基础是不可解释的，只能无条件的相信。

然后呢，基本的逻辑推导规则（例如排中律矛盾律之类的东西）也被他们认为是一种信仰，认为这是不可解释只能相信的，于是数学和逻辑也被划归为信仰。

他们相信科学，相信数学，他们认为自己和其他的教徒一样，但是坚信自己所信仰的科学是一种确实比其他宗教更加正确的宗教。

一旦遇到最基本的问题，他们就会说，这是公理，没办法争论，只能相信或者不相信。

以这种方式看待科学的人，往往有可能同时支持马克思的哲学和政治经济学，以为这些也是科学。

－－－－－－－－－－－－－－－－－－－－
Q:
如你以前的帖子所说，只要人们互相沟通，就等于都接受了一个默认的共识。也就是说认为：双方是可以沟通的，有沟通的基础。至于这基础是生理上的、方法论上的（比如逻辑）、语法上的、还是其他，都不妨。
即，思考和沟通这些事情本身证明逻辑、公认逻辑是存在的。作为科学的基础，这个共识和需要依赖传说故事的信仰是有所不同的。

A:
事实上，逻辑只是被制造出来的约定，在现实世界中无所谓存在不存在。

数学和逻辑的公理全都是约定。我们根本无须假定某种约定一定能够适用于现实世界的某些情况。我们所作的其实是：把这些约定往某些问题上套，如果套上了，就说明这个问题很可能可以用这套约定来描述，于是我们就继续使用这套约定。如果有一天发现某种情况下这种约定的结论跟某个现实问题不一致，那么可能是因为这个问题不适合这套约定。但这不等于这套约定本身有什么错误，只不过把这套约定用于某些问题是错的。

如果你不愿意使用别人普遍使用的约定，你当然可以发明一种跟其他人不同的约定。但如果别人的约定和你的约定都能够成功滴套在大量相同的问题上不出差错，那么很可能说明你的约定和别人的约定是同构的，能够相互翻译，只是符号和语法的不同。完全不同构的约定系统是不能处处给出相容的结论的。

所有这些约定，单纯从约定本身来看，并没有什么优劣之分。但是，当这些约定用于现实问题的时候，你会发现有些约定的适用范围非常普遍，而另外一些约定适用范围相对狭窄。这说明了现实世界本身·可能·是有某种结构的。但没有任何理由相信现实世界一定（永远）符合某种你所假设出来的某种约定。

逻辑约定，可以说是以知的适用范围最广泛的约定，其次就是关于自然数的约定……。不但如此，如果逻辑和自然数的约定仅仅套用于约定体系内部，也就是说仅仅用于数学，那么压根就不需要对这种应用进行任何现实世界的实践检验。

一种物理理论的核心基本假定，事实上也是一个约定系统，但这样的约定系统的设计目的就是为了套用到现实世界的问题上，因此必须通过现实世界的实践检验。当然，即便一套物理理论最终被证明是错误的，其数学内容如果对数学研究有用，也照样可以变成数学的一个部分，从此不再需要接受现实的检验，但也不能再直接用于对现实问题的预言。

Q:
赞成。就是这个：现实世界本身·可能·是有某种结构的

换句话说，只要人们进行任何思考和交流活动，就只能默认这个约定是“可能的”，否则全部变成南柯一梦。
这个约定的强度，比宗教不知道强多少倍。所以俺不认为很多东西的最终归属就是类似于宗教般的“信或不信”。

A:
也不必默认什么，你不同意别人的约定可以自己创造约定，欢迎你能创造出不同构的约定。

如果你创造不出来，还在到处不自觉滴使用逻辑，你还强说你的系统比逻辑更牛逼显然就是做梦，只能自扇耳光。

这就好像：我们可以想象比图灵机更牛逼的超限计算机，但是除非你真的有一台，否则你拿着一台图灵机愣说这台机器超越了图灵机就是做梦了。

Q:
能不能证明 宇宙本身在某种程度上就是一个图灵机？

A:
宇宙本身完全可以是超限计算机。而这一点是不能被绝对证明或者否定的。

即便宇宙是超限计算机，也不等于我们可以制造超限计算机。

即便给我们一台超限计算机，我们能够对这台超限计算机提供的所有可能的输入和能够区分的所有可能输出也是有限的。这种情况下，对我们来说一台超限计算机未必比普通的图灵机强多少（这个是一个数学问题，我不知道是否已经有了数学结论）。

经典计算机不可能是超限计算机，对于经典物理学系统，虽然物理量被表示为实数，但由于误差的存在，可区分的状态仍然是有限或者可数的。

完全由qubit构成的量子计算机也已经有人证明等价于图灵机。

甚至完全可以有这样的可能：任何一块物质都是超限计算机，我们本身也是，但我们的意识不是（这一点几乎是肯定的），以至于我们能够利用的计算机也无法是超限计算机。这种情况下大概只有上帝才能把我们当作一台超限计算机做它喜欢的计算。

宇宙本身的量子态·可以·是连续的，而支配宇宙的规律·可以·是无限精确的（有些人误以为量子力学引入了不确定性，现在知道我们并不能确认这一点，不多说了）。这种情况下，如果我们所讨论的宇宙是个孤立的系统，没有输入和输出，那么可以把这样一个宇宙看成有连续统那么多个状态的由基本物理规律支配其状态迁移过程的确定状态机，这当然是一种超限计算机。在这种情况下，宇宙中每一块物质都是一个超限计算机，而由于这块物质不像整个宇宙一样是孤立的，它跟外界有相互作用，使之不再是一个单纯的确定状态机，而是能够接受输入产生输出的“超限图灵机”。

与此同时，我们并不能完全排除宇宙的状态是离散的或者有限的而宇宙的规律是不精确的这种可行性。

在数学上永远都存在一些互不等价的理论无法被当前的所有已知实验挑选出来，所以我们并不能绝对证明这个宇宙是哪种计算机。我们只能说，在某种特定的物理理论之中，宇宙会是一台什么样的计算机。

单纯站在量子力学的立场上，宇宙完全可以是一台上述的超限计算机，但我不知道在量子场论、超弦的那些新限制中会怎样。