Один старый французский математик сказал:
"Математическую теорию можно считать совершенной
только тогда, когда ты сделал ее настолько ясной,
что берешься изложить ее содержание первому встречному".
Это требование ясности и легкой доступности,
которое здесь так резко ставится в отношении математической теории,
я бы поставил еще резче в отношении математической проблемы,
если она претендует на совершенство;
ведь ясность и легкая доступность нас привлекают,
а усложненность и запутанность отпугивают.
…
Будет большой ошибкой думать при этом, что строгость в доказательстве
- это враг простоты.
Многочисленные примеры убеждают нас в противоположном:
строгие методы являются в то же время простейшими и наиболее доступными.
Стремление к строгости как раз и приводит к отысканию простейших доказательств.
Это же стремление часто прокладывает путь к методам, которые оказываются
более плодотворными, чем старые ...
http://vivovoco.rsl.ru/VV/PAPERS/NATURE/GILBERT_R.HTM
