- 主题:我感觉物理的研究是永远没有尽头的
对意识的研究算不算物理学范畴，到啥程度了，有啥成熟理论的？
【 在 molar (molar，嗯。molar，哦？molar，噢！) 的大作中提到: 】
: 这个倒没有。现有技术下可以做，但是还没有做的实验还是很多的。包括现有仪器就能做而没有做的；或者是人类有能力造某个仪器做新的实验，而目前还没有做的。。。
:
: 前面那贴纯粹只是在说一种逻辑上的可能性，现在离那种情况还很远。。。
:
--
FROM 220.192.167.*
还是没彻底解决啊，这个“更大”系统的自洽性又成了新的问题，无法证实也无法证伪
【 在 molar (molar，嗯。molar，哦？molar，噢！) 的大作中提到: 】
: 首先，哥德尔说的是含皮亚诺的系统不能证明自身的自洽性，但是它并不禁止从一个“更大”的系统出发，证明一个子系统的自洽性。比如皮亚诺不能证皮亚诺，但是zfc可以……
:
: 当然，其实俺还真是挺想看看，在真是物理世界中，一个很“物理”的哥德尔命题是个啥样儿。之前见过一个文章说类似的事儿，不过比较模糊。
:
--
FROM 220.192.167.*
有点记不清了，似乎包含皮亚诺的形式系统哪怕公理数量无穷(可数？)，也避免不了哥德尔的问题，同样存在无法证实和证伪的命题。从这个意义上说物理研究没有尽头倒也没错
【 在 molar () 的大作中提到: 】
: 哥德尔决定了，这个问题不可能“彻底”解决。
:
: 俺说的是一种退而求其次的方案：
: 1、找到一些（物理世界的）基本事实作为公理集A；
--
FROM 220.192.167.*
有点记不清了，似乎包含皮亚诺的形式系统哪怕公理数量无穷(可数？)，也避免不了哥德尔的问题，同样存在无法证实和证伪的命题。从这个意义上说物理研究没有尽头倒也没错
【 在 molar () 的大作中提到: 】
: 哥德尔决定了，这个问题不可能“彻底”解决。
:
: 俺说的是一种退而求其次的方案：
: 1、找到一些（物理世界的）基本事实作为公理集A；
--
FROM 220.192.167.*
嗯，我理解哥德尔的论证，所谓哥德尔命题在元数学语义上构建了一个不可证的自指性命题，但在原系统仍是一个语义清晰明确的合法命题，也不好说自己证自己。另外不断扩充公理集的解决方案，也就等效于将一个哥德尔命题或其否命题加入公理集，在悲观派看来数学的基础完全不坚实啊，没准哪天就崩了
【 在 molar () 的大作中提到: 】
: 嗯，不过这里的关键不是是否“无穷”，而是：1、不能自己证自己；2、不禁止大证小。
:
:
:
--
FROM 220.192.167.*