Изменчивая природа математического доказательства. Доказать нельзя поверить

Картан, Эли (1869–1951). Выдающийся геометр XX в. Отец теории дифференциальных форм и Анри Картана.

Кастельнуово, Гвидо (1865–1952). Известный итальянский специалист в алгебраической геометрии начала XX в. Автор важных работ по классификации алгебраических поверхностей.

Кельвин, лорд, Уильям Томсон (1824–1907). Знаменитый математик и физик. Работал над первым и вторым законом термодинамики и теорией электричества.

Кемпе, Альфред (1845–1922). Известен своей работой по теореме о четырех красках. В 1879 г. опубликовал ее доказательство, однако 11 лет спустя в нем была найдена ошибка. Его имя носят цепи Кемпе.

Кеплер, Иоганн (1571–1630). Один из величайших астрономов всех времен. Ученик Тихо Браге. Сформулировал законы Кеплера движения планет.

Килберн, Томас (1921–2001). Один из разработчиков запоминающей электронно-лучевой трубки.

Клейн, Феликс (1849–1925). Видный геометр XIX в. Коллега Давида Гильберта, отец Эрлангенской программы в геометрии. Его именем названа бутылка Клейна.

Колмар, Томас (1785–1870). Изобретатель первого механического калькулятора.

Колмогоров, Андрей Николаевич (1903–1987). Видный специалист по анализу XX в. Создатель современной теории вероятностей. Автор важных работ по рядам Фурье, стохастическим процессам и турбулентности. Многие его ученики стали выдающимися математиками, докторами наук.

Конн, Ален (р. 1947). Выдающийся деятель в области алгебр фон Неймана, награжден медалью Филдса.

Коши, Огюстен Луи (1789–1857). Выдающийся специалист по математическому анализу XIX в. Работал и в действительном, и комплексном анализе. Считается, что он сумел облечь анализ Ньютона в строгую форму.

Коэн, Пол Джозеф (1924–2007). Видный американский специалист по анализу. Доказал независимость континуум-гипотезы, награжден медалью Филдса.

Кронекер, Леопольд (1823–1891). Известный алгебраист XIX в. Ученик Дирихле, учитель Кантора. Исследовал разрешимость уравнений и непрерывность функций.

Крэй, Сеймур (1925–1996). Отец суперкомпьютеров и параллельных вычислений.

Кулон, Жан (1904–1999). Один из основателей группы Бурбаки во Франции.

Куммер, Эрнст (1810–1893). Известный алгебраист XIX в. Исследовал гипергеометрические ряды и абелевы многообразия. Доказал много частных случаев Великой теоремы Ферма.

Курант, Рихард (1888–1972). Ученик Давида Гильберта. Основатель Математического института в Геттингене и Института Куранта математических наук в Нью-Йоркском университете. Влиятельный специалист по анализу XX в.

Кэли, Артур (1821–1895). Британский чистый математик. Придал современный вид теории групп. Создал теорию матриц.

Лагранж, Жозеф Луи (1736–1813). Видный специалист в геометрическом анализе XIX в. Один из отцов небесной механики. Известен вкладом в вариационное исчисление, придумал множители Лагранжа.

Лебег, Анри (1875–1941). Отец теории меры. Видный специалист по анализу XX в.

Левинсон, Норман (1912–1975). Протеже Норберта Винера. Выдающийся специалист в математическом анализе, профессор MIT. Доказал значительный результат о нулях римановой дзета-функции.

Лейбниц, Готфрид Вильгельм фон (1646–1716). Выдающийся философ. Один из создателей анализа. Автор «Монадологии».

Лере, Жан (1906–1998). Известный геометр и алгебраист XX в. Ввел пучки и спектральные последовательности.

Лобачевский, Николай Иванович (1793–1856). Один из создателей (наряду с Бойяи) неевклидовой геометрии.

Мандельбройт, Шолем (1899–1983). Выдающийся специалист по математическому анализу XX в. Дядя Бенуа Мандельброта. Исследовал ряды Фурье.

Мандельброт, Бенуа (1924–2010). Отец теории фракталов. Его именем названо множество Мандельброта. Замечательный писатель, пропагандировал идею дробных размерностей и фрактальных размерностей.

Мёбиус, Август (1790–1868). Известный геометр XIX в. Его именем названа лента Мёбиуса. Доказал утверждение о классификации всех двумерных поверхностей.

Миттаг-Леффлер, Гёста (1846–1927). Видный шведский математик конца XIX и начала XX в. Основатель института Миттаг-Леффлера. Ученик Вейерштраса. Говорят, именно из-за него математикам не вручают Нобелевскую премию.

Мокли, Джон Уильям (1907–1980). Один из создателей компьютера ENIAC в Пенсильванском университете.