Тьюринг доказал, что в математике существуют истинные выражения, которые невозможно вычислить, — они всегда останутся за пределами возможности компьютера, каким бы мощным он ни был.