新未名空间

forecasting 写了： 2023年 8月 28日 01:32 有没有物理问题，答案或结果不可计算，但可以通过实验测量其结果?
这里有一篇物理问题不可计算的文章Undecidability of the spectral gap | Nature 1502.04573.pdf (arxiv.org)
但我不知道是否可测量，或者其文章是否经得起审查。物理问题不可计算的问题，一直是否定的答案。

Caravel 写了： 2023年 8月 28日 01:58 很多啊，氢原子以上的所有其他原子的电子轨道都没有办法精确求解。但是可以测量

resso 写了： 2023年 8月 28日 02:44 只是不能求analytical 解，数值解还是有的

forecasting 写了： 2023年 8月 28日 01:33 我老在physics exchange上质疑量子计算，被那帮神汉禁止发文了。

forecasting 写了： 2023年 8月 28日 10:11 统一回复一下，non-computability 或computability是一个可计算理论的概念，跟近似没有多大关系。大家理解的不可计算性和我说的不可计算性有不小距离。
Physics exchange就是讨论或者吵嘴的地方，因为我在上面说量子计算不可能实现，列举了一些理由，然后那帮热衷量子计算以此骗钱的神汉物理学家就禁止我再post，跟发文章没关系。本来我就是讨论问题。

forecasting 写了： 2023年 8月 28日 10:11 统一回复一下，non-computability 或computability是一个可计算理论的概念，跟近似没有多大关系。大家理解的不可计算性和我说的不可计算性有不小距离。
Physics exchange就是讨论或者吵嘴的地方，因为我在上面说量子计算不可能实现，列举了一些理由，然后那帮热衷量子计算以此骗钱的神汉物理学家就禁止我再post，跟发文章没关系。本来我就是讨论问题。

forecasting 写了： 2023年 8月 28日 10:11 统一回复一下，non-computability 或computability是一个可计算理论的概念，跟近似没有多大关系。大家理解的不可计算性和我说的不可计算性有不小距离。
Physics exchange就是讨论或者吵嘴的地方，因为我在上面说量子计算不可能实现，列举了一些理由，然后那帮热衷量子计算以此骗钱的神汉物理学家就禁止我再post，跟发文章没关系。本来我就是讨论问题。

Caravel 写了： 2023年 8月 28日 13:11 你这是CS里面生搬硬套来的概念，物理里面只有会算和不会算

牛河梁 写了： 2023年 8月 28日 21:19 理论上，物理只研究讨论可计算的现象。不可计算的属于形而上学。不过近年来很多人把形而上学也当成了（理论）物理。

物理的这个定义对CS其实很重要。CS不仅仅研究电子计算机。也对一切可用于“计算”的过程感兴趣。

Caravel 写了： 2023年 8月 28日 21:48 cs里面的可计算性是停机原理那些东西，物理里面不关心一个算法能不能停机，算不出来就是不行，换一个算法。