современные доказательства порой занимают сотни (теорема Ферма) и десятки тысяч (классификация простых конечных групп) страниц. Как отдельному математику, даже самому продвинутому, понять и осознать весь этот объём информации? Всё началось с доказательства «теоремы четырёх красок». Сформулировали её в 1852 году, но доказать смогли только в 1976-м. И сделали это с помощью компьютера: просчитали все 1936 возможных варианта, и показали, что контрпримера не существует. Проблема была в объёме доказательства — оно занимало сотни страниц, и чтобы проверить его вручную, потребовалось бы колоссальное количество времени. По этой причине многие математики долгое время отказывались это доказательство принимать. Почитайте, товарищи, про проблему доверия к компьютеру и массу других интересных вещей и историй в рамках одной научной статьи по философии математики. Читать: http://amp.gs/jBmXc