能算与不能算

既然图灵机是最强的，那"图灵机也做不到的事"就是任何电脑都永远做不到的。我们把电脑能解决的问题叫"可计算"，还有一类问题，是天生就没法用任何程序解决的。