我的理解是,对于一个足够简单的函数, while(input){}很容易看出,对于true. It's only impossible to solve the halting problem for an arbitrary functionf, as of course you can evaluatehaltingFinder(haltingFinder)`,上面的函数将终止于false,而不会终止,这本质上是一个悖论。
在我的外部高清,我有一个目录在我的垃圾(media/me/Seagate Backup Plus Drive/.Trash-1000/files),似乎很难删除。考虑到下面的故障排除说明,我还能尝试从我的HD中得到什么呢?当我尝试使用rmdir删除目录时,它会报告没有这样的文件或目录。我安装了trash-cli,也试过了。它还报告说存在No such file or directory。
我还安装了secure-delete,并发现sud