Главная Войти О сайте

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

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

Американский математик и логик.

Имя: Хаскелл
Фамилия: Брукс
Дата рождения: 12.09.1900
Гражданство: США



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

В его честь была названа функциональная операция «каррирование» и два языка программирования: Haskell и Curry (развитие на основе языка Haskell).

© БиоЗвёзд.Ру