Непрерывный конкурс решения задач 2015

Математики вспоминают

Ха́скелл Брукс Ка́рри

12 сентября 1900 — 1 сентября 1982

Американский математик и логик. Программа его исследований способствовала становлению конструктивного подхода к выработке оснований математики. Существенно повлиял на развитие логики, способствовал формированию направления структурализма и формализма в метаматематике. Разработал основы комбинаторной логики, которая, в свою очередь, явилась стимулом становления нескольких парадигм программирования, среди которых аппликативное и функциональное программирование.

Родился в Миллисе (штат Массачусетс), образование получил в Гарвардском университете. Диссертацию защитил в Гёттингене под руководством Гильберта (1930). Большую часть жизни проработал в Университете штата Пенсильвания.

С его именем связаны парадокс Карри и соответствие Карри — Ховарда, в его честь названы два языка программирования: Haskell и Curry, а также функциональная операция «каррирование», широко используемая в языках программирования.

Это интересно

Старейшую награду в математике - Филдсовскую премию, которую раз в четыре года вручают ученым не старше 40 лет, - впервые за 78 лет получила женщина: 37-летняя Мариам Мирзахани из Ирана награждена за «выдающийся вклад в динамику и геометрию римановых поверхностей».