Никто пока не смог объяснить, что значит «очевидно»
или «тривиально», по меньшей мере, для конкретного профессионального
математика. В общем случае фраза «это очевидно» означает «это кажется
мне очевидным», а это не совсем одно и то же. Принстонские студенты в
свое время шутили, что очевидное по мнению Алонзо Черча (1903–1995) было настолько очевидным, что это понимали все; очевидное по мнению Соломона Лефшеца (1884–1972) непременно было ложным, а если что-то очевидным считал Герман Вейль (1885–1955), то доказать это мог разве что фон Нейман. Эта история в некотором роде характеризует фон Неймана, о котором Питер Лакc (род. 1926),
лауреат Абелевской премии, говорил так: «Большинство математиков
доказывают то, что могут. Фон Нейман доказывает то, что хочет».
Рассказывают, что как-то раз на лекции фон Неймана
один из слушателей поднял руку и спросил: «Господин фон Нейман, вы могли
бы доказать это утверждение по-другому?» Фон Нейман опустил руки,
посмотрел на доску, подумал несколько секунд и ответил: «Да», после чего
продолжил выступление.
Похожая история произошла и с Годфри Харолдом Харди (1877–1947),
который, по-видимому, произнес злополучные слова «Это очевидно», а
затем сразу же понял, что это не совсем так. Он посмотрел на доску,
затем повернулся и, не говоря ни слова, вышел из аудитории под
удивленный шепот студентов. Спустя пять минут Харди вернулся и произнес:
«Действительно, это тривиально», после чего повернулся к доске и
продолжил лекцию. Другие утверждают, что эта история произошла с
Гильбертом.
Иногда фраза «Это очевидно» звучит совершенно оправданно: к примеру, Александр Гротендик (род. 1928), человек поистине выдающегося ума, в 1969 году опубликовал статью, озаглавленную «Hodge’s General Conjecture is False for Trivial Reasons»
(«Общая гипотеза Ходжа ложна из тривиальных соображений»). И
действительно, гипотеза Ходжа была сформулирована некорректно, и ее
следовало изложить иначе. Учитывая, что эту гипотезу никто не смог
доказать до сих пор, немногие ожидают, что она будет доказана в
ближайшие сто лет. Доказательство гипотезы Ходжа в текущей формулировке
входит в число семи задач тысячелетия, предложенных Институтом Клэя, за
решение которых полагается премия в 1 миллион долларов.
|