Гаскелл Каррі

американський математик і логік З Вікіпедії, вільної енциклопедії

Гаскелл Каррі

Га́скелл Брукс Каррі (англ. Haskell Brooks Curry; 12 вересня 1900, Массачусетс 1 вересня 1982, Пенсільванія) американський математик і логік.

Коротка інформація Гаскелл Каррі, англ. Haskell Brooks Curry ...
Гаскелл Каррі
англ. Haskell Brooks Curry 
Thumb
Гаскелл Каррі
Гаскелл Каррі
Ім'я при народженніангл. 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 Wicher Visser Bunderd[4] 
БатькоSamuel Silas Curryd[2] 
МатиAnna Baright Curryd[2] 
Закрити

Програма його досліджень[5] сприяла становленню конструктивного підходу до вироблення основ математики. Істотно вплинув на розвиток логіки, давши початок логіці Черча-Каррі[6]. Сприяв формуванню напряму структуралізму і формалізму в метаматематиці[7][8]. Ним розроблені основи комбінаторної логіки, яка, своєю чергою, стала стимулом становлення парадигм програмування, серед яких аплікативне і Функційне програмування.

На його честь було названо дві мови програмування Curry, Haskell, а також метод Каррінгу, який використовують для трансформації функцій в математиці і інформатиці.

Див. також

Примітки

Посилання

Wikiwand - on

Seamless Wikipedia browsing. On steroids.