Александр Гротендик был назван дважды. В связи с этим приведу цитату из Вики:
Цитата:
Особенности математического творчества.
Гротендик считает, что каждый шаг в доказательстве теорем должен быть совершенно понятен. В отличие от многих математиков, считающих каждую теорему с простым доказательством тривиальной и маловажной, он так не считает. Всякая теорема у него распадается на ряд простейших лемм. С одной стороны это облегчает чтение его трудов, с другой запоминание многочисленных новых понятий иногда становится тяжким (вообще, несмотря на то, что Гротендик доказал много фундаментальнейших утверждений, например, обобщенную теорему Римана-Роха, его вклад в математику в основном заключается во введении общих фундаментальных понятий — в этом он, пожалуй, самый яркий «бурбакист»). Из-за этого многие математики «задачной школы», которые считают, что цель математики — решение задач, по возможности с минимумом введения новых понятий, его (классического «создателя теорий») недолюбливают. Кроме того из-за точки зрения Гротендика на то, что доказательство должно заключаться в разбиении на ряд очевидных шагов он, например, не признал доказательство знаменитой «проблемы четырёх красок», которая была доказана при помощи вычислений на компьютере, причём его смущала не возможность ошибки программы или сбоя компьютера, сколько именно невозможность обозреть это доказательство для человека.
На мой взгдяд (и не только на мой), становление новой науки computer sci. - одно из самых выдающихся достижений математики 20 века. Более того, не секрет, что многие выдающиеся для математики двадцатого века достижения очень специфичны и пока не оказали влияния на науки вне математики, а computer sci. оказала влияние на все науки и даже на искусства (например, изобразительные), т.е. на общий ход прогресса человеческой цивилизации.
