Как доказать отсутствие алгоритма для решения задачи?

Как доказать, например, что fizzbuzz не может быть решен без помощи переменных? Решить с помощью переменных не подойдет.