总结：这个章节随他而去吧
可决定问题：可以回答yes或no的问题
不可决定问题：不能回答yes或no的问题
例如：这个程序是否能停止
Entscheidungs problem：半决定问题
FOL是不可决定问题
