停机问题 ·能否编一个终止性判定程序HALT? def HALT(prog,data) 若prog(data)终止，则输出True;否则输出False. ·是不可解(unsolvable)问题！ ·若有HALT,则歌德巴赫猜想可以迎刃而解： def gc(): n=2 while True: if2*n不是两个素数的和，则返回False n=n+l -然后运行HALT(gC)即可.停机问题 • 能否编一个终止性判定程序HALT? def HALT(prog,data) 若prog(data)终止,则输出True;否则输出False. • 是不可解(unsolvable)问题! • 若有HALT,则歌德巴赫猜想可以迎刃而解: def gc(): n = 2 while True: if 2*n 不是两个素数的和,则返回False n = n + 1 – 然后运行HALT(gc)即可