即将离开知乎

您即将离开知乎，请注意您的账号和财产安全。

https://video.ucdavis.edu/media/ECS+120+9aA3+no-input+halting+problem+is+undecidable/1_1nr1ba2y