思维方式5拓展内容：图灵机停机问题

本期维生素 E 是思维方式第五期的拓展内容，主要讲解了图灵机、停机问题以及图灵的证明思路。首先从判定问题入手，解释了可判定与不可判定的概念，并提出证明不可判定问题的难度。接着，介绍了图灵如何通过构想图灵机来定义明确程序，以及通用图灵机 U 的特性。图灵使用反证法，假设所有问题都是可判定的，通过构造图灵命题和引入停机问题，证明了该假设会导致矛盾，从而得出停机问题是不可判定的结论。最终，强调了图灵的贡献在于指出了计算机的边界，并粉碎了人类通过计算解释一切的幻想。