Sandro> А Алан Тьюринг обосновал, что для неё можно написать программу, какую хочешь. Вроде ж не "можно написать", а что где-то там, в бесконечном множестве бинарного кода произвольной длины, существует эта самая программа. Что, как мне кажется, не одно и то же.