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

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

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

Американский математик и логик.
Дата рождения: 12.09.1900
Гражданство: США

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



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

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