计算机中的不可解问题——停机问题

目录 一、概念 二、反证法证明 1. 假设能写出停机函数check_halt(program, params) 2. 定义一个调用了check_ha ...