Любое математическое доказательство состоит из последовательности логических шагов. Ученый берет исходное условие, применяет к нему известные правила и шаг за шагом движется к итоговому выводу. В школьных задачах такая последовательность обычно занимает несколько строчек. В современной науке доказательство одной теоремы может занимать десятки и даже сотни страниц текста, включающих тысячи отдельных вычислений и логических переходов. Поскольку доказательства создают люди, на каждом отдельном шаге существует небольшая вероятность ошибки...