Гаскелл Каррі
американський математик і логік / З Вікіпедії, безкоштовно encyclopedia
Га́скелл Брукс Каррі (англ. Haskell Brooks Curry; 12 вересня 1900, Массачусетс — 1 вересня 1982, Пенсільванія) — американський математик і логік.
Коротка інформація Гаскелл Каррі, англ. Haskell Brooks Curry ...
Гаскелл Каррі | |
---|---|
англ. Haskell Brooks Curry | |
Гаскелл Каррі | |
Ім'я при народженні | англ. Haskell Brooks Curry |
Народився |
12 вересня 1900(1900-09-12)[1][2][…] Мілліс, Норфолк, Массачусетс, США |
Помер |
1 вересня 1982(1982-09-01)[1][2][…] (81 рік) Стейт-Колледж, Сентр, Пенсільванія, США[3] |
Країна | США |
Діяльність | математик, філософ, викладач університету, інформатик |
Alma mater | Гарвардський університет |
Галузь |
математика логіка |
Заклад |
Університет штату Пенсильванія Амстердамський університет |
Посада | голова |
Вчителі | Пауль Бернайсd |
Аспіранти, докторанти |
Hilbert Levitzd[4] Jonathan Paul Seldind[4] Edward Jack Cogand[4] Kenneth L. Loewend[4] Luis Elpidis Sanchisd[4] Bruce Lercherd[4] Maarten (Martin) Wicher Visser Bunderd[4] |
Батько | Samuel Silas Curryd[2] |
Мати | Anna Baright Curryd[2] |
Закрити
У Вікіпедії є статті про інших людей із прізвищем Каррі.
Програма його досліджень[5] сприяла становленню конструктивного підходу до вироблення основ математики. Істотно вплинув на розвиток логіки, давши початок логіці Черча-Каррі[6]. Сприяв формуванню напряму структуралізму і формалізму в метаматематиці[7][8]. Ним розроблені основи комбінаторної логіки, яка, у свою чергу, стала стимулом становлення парадигм програмування, серед яких аплікативне і Функційне програмування.
На його честь було названо дві мови програмування Curry, Haskell, а також метод Каррінгу, який використовується для трансформації функцій в математиці і інформатиці.