Изменения

Так как в теории вычислимости нету структур данныхРассмотрим данное определение более детально, то для представления программы и её входных данных можно использовть число видачего докажем вспомогательную лемму:

<tex>2^{\text{code}} * 3^{\text{input}}</tex>, где <tex>code, \ input</tex> {{---}} есть Лемма|statement=Существует биекция между текстом программы, текстом входных данных строками и натуральным числом (например, можно занумеровать натуральными числами.|proof=Приведем пример такой биекции: Занумеруем подряд все строки длинны <tex>1</tex>, затем все строки длинны <tex>2</tex> и так далее {{---}} нумерация названий столбцов в <tex>Excel</tex>), таким образом, каждому натуральному числу соответствует некоторая строка и наоборот. }} Биекция между строками и натуральными числами нам нужна, чтобы передавать пары "текст программы, текст входных данных" в качестве аргументов функций. Передавать можно в следующем виде:  <tex>2^{\mathrm{code}} \cdot 3^{\mathrm{input}}</tex>, где <tex>code, \ input</tex> {{---}} есть натуральные числа, соотвествующие тексту программы и тексту входных данных соответственно.

Для чисел <tex>e, \ \pi</tex> существуют различные техники нахождения их точного представления, одна их которых описана в статье<ref>[http://www.mathpropress.com/stan/bibliography/spigot.pdf статье«A Spigot Algorithm for the Digits of Pi»]</ref>, таким образом, возможно получить необходимый знак чисел <tex>e, \ \pi</tex> за конечное время.

'''if''' (getDigit(<tex>e</tex>, i) > getDigit(<tex>r</tex>, i)) <font color="green">// getDigit {{---}} функция, которая получает i-ый бит ую цифру вещественной части переданного числа</font>