用halting problem 不可解可以构造一个不可计算的数字


所有跟贴·加跟贴·新语丝读书论坛

送交者: 邯郸学步 于 2020-05-07, 15:00:58:

Any /language/program can be turned into a number, construct H by setting the 𝑖𝑡ℎ decimal to 1 if the 𝑖 is a program which halts eventually, and to 0 otherwise.

So we can build This number 𝐻,
, which describes the halting problem and is therefore uncomputable.




所有跟贴:


加跟贴

笔名: 密码: 注册笔名请按这里

标题:

内容: (BBCode使用说明