Топ питань
Часова шкала
Чат
Перспективи

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

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

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

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

Коротка інформація Гаскелл Каррі, англ. Haskell Brooks Curry ...

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

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

Remove ads

Див. також

Примітки

Посилання

Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.

Remove ads