有没有物理问题，答案或结果不可计算，但可以通过实验测量其结果

[TheMatrix]

你这是CS里面生搬硬套来的概念，物理里面只有会算和不会算

说的对。

[resso]

比如turbulence。LOL

这个也不好测吧，不可能完全重现的

[resso]

应该说是不可能在所有尺度上都测，比如在分子运动学尺度没法测只能借助热力学量描述。

不是，湍流在宏观尺度也不能复现

[牛河梁]

这个也不好测吧，不可能完全重现的

这不就是我说的（每次）测出来不一样。

[resso]

这不就是我说的（每次）测出来不一样。

是的

[forecasting]

说的对。

“说的对”错了一个字，应该写成“说得对”，

[forecasting]

那你就自己说说有哪些区别

我也想几句话就说清楚，可我没这个超能力，所以还是自己去看，去学吧。

[(ッ)]

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

姚期智的研究正是这个？

[randomatrices]

测量就是计算吧， 广义的计算。
任何物理过程你都可以用于计算， 实验测量并不独立于计算之外。

[forecasting]

测量就是计算吧， 广义的计算。
任何物理过程你都可以用于计算， 实验测量并不独立于计算之外。

把测量归为计算，我也这么想过，全是直觉，并没有很好的论证或者实验支持。量子力学里测量是一个算符，但不能以此归结测量为计算吧。

另说一句，数值计算，湍流等等跟可计算不好关联。

加入了随机因素的计算不重复是正常的，重复才不正常。

[forecasting]

严格来说
数值计算
不算计算
是计算的近似

Hartmanis做的工作都不算计算？当然我也基本没读他的什么东西。

[forecasting]

我是说

数值计算

这是网上搜的定义:

数值计算指有效使用数字计算机求数学问题近似解的方法与过程，以及由相关理论构成的学科。 数值计算主要研究如何利用计算机更好的解决各种数学问题，包括连续系统离散化和离散形方程的求解，并考虑误差、收敛性和稳定性等问题。

这肯定是计算，但是如何把数值计算归结为computability，得有一番工作吧。我自己也觉得这里的关联或说法含糊不清。比较清楚的一点是，这个跟FP，FNP等等F类可计算或者计算复杂性有关。

一个实数是不是可计算，是如此定义的，如果可以输出任意位数数字，就视为可计算实数。

[forecasting]

数值计算在计算机上是计算

但在实际问题中
是近似

[forecasting]

姚期智的研究正是这个？

不知道。姚期智用过夏志虹的结果，可经典力学能模拟或者预测天体运动的一切吗？

[qianlao]

想起了历史上的隐变量理论，大意是还存在未知的变量没有包括进来，理论还不完备，故无法预言（计算）每一次测量的结果，于是才不得不借助于几率描述。

几乎每一次都被援引的例子是双缝干涉条纹计算，https://link.springer.com/article/10.1007/BF02743566

[forecasting]

想起了历史上的隐变量理论，大意是还存在未知的变量没有包括进来，理论还不完备，故无法预言（计算）每一次测量的结果，于是才不得不借助于几率描述。

几乎每一次都被援引的例子是双缝干涉条纹计算，https://link.springer.com/article/10.1007/BF02743566

局域隐变量理论已经被否定了，参看关于Bell不等式的实验。

[randomatrices]

数学上的computable 只在数学的柏拉图世界里存在吧？
物理不需要实数，无限精度的数在物理世界不存在， 物理上的可计算就是近似结果收敛， 感觉“可计算”同时用在物理和数学上有点混淆。

这肯定是计算，但是如何把数值计算归结为computability，得有一番工作吧。我自己也觉得这里的关联或说法含糊不清。比较清楚的一点是，这个跟FP，FNP等等F类可计算或者计算复杂性有关。

一个实数是不是可计算，是如此定义的，如果可以输出任意位数数字，就视为可计算实数。

[forecasting]

数学上的computable 只在数学的柏拉图世界里存在吧？
物理不需要实数，无限精度的数在物理世界不存在， 物理上的可计算就是近似结果收敛， 感觉“可计算”同时用在物理和数学上有点混淆。

你随便想就是，愿意咋说就咋说，还可以认为大地是平的，被大乌龟驼在背上。

[randomatrices]

数学上的computable 只在数学的柏拉图世界里存在吧？
物理不需要实数，无限精度的数在物理世界不存在， 物理上的可计算就是近似结果收敛， 感觉“可计算”同时用在物理和数学上有点混淆。

感觉你概念不清， 说说上面的话哪点荒唐了吧， 我向你学习学习。数学哲学的柏拉图主义， 直觉主义 等等知道吧。

你随便想就是，愿意咋说就咋说，还可以认为大地是平的，被大乌龟驼在背上。

[forecasting]

感觉你概念不清， 说说上面的话哪点荒唐了吧， 我向你学习学习。数学哲学的柏拉图主义， 直觉主义 等等知道吧。

那你概念清楚，请讲讲形式主义，逻辑主义，直觉主义。当然请顺便讲一下柏拉图主义，对了跟柏拉图主义相对的是什么？
请讲讲什么是computability，照你这么说，物理至多用到有限小数 ，连无限循环小数的有理数都不存在，不用！