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

редактировать
Американский математик
Хаскелл Брукс Карри
HaskellBCurry.jpg
Родился(1900-09-12) 12 сентября, 1900. Миллис, Массачусетс, США
Умер1 сентября 1982 г. (1982-09-01) (81 год). Государственный колледж, Пенсильвания, США
НациональностьАмериканец
Alma mater
ИзвестенКомбинаторной логикой. Соответствие Карри – Ховарда. Парадокс Карри. Формализм в философии математики
Научная карьера
ОбластиМатематика. Логика
УчрежденияГосударственный университет Пенсильвании. Амстердамский университет
Докторант Дэвид Гильберт
ВлиянияАльфред Норт Уайтхед. Бертран Рассел. Мозес Шёнфинкель

Хаскелл Брукс Карри (; 12 сентября 1900 - 1 сентября 1982) был американцем ​​математиком и логиком. Карри наиболее известен своими работами в области комбинаторной логики. В то время как первоначальная концепция комбинаторной логики была основана на единственной статье Мозеса Шёнфинкеля, Карри внес большую часть развития. Карри также известен парадоксом Карри и соответствием Карри – Ховарда. В его честь названы три языка программирования, Haskell, Brook и Curry, а также концепция каррирования, метод, используемый для преобразования функций в математике и информатике.

Содержание

  • 1 Жизнь
  • 2 Работа
  • 3 Основные публикации
  • 4 Ссылки
  • 5 Дополнительная литература
  • 6 Внешние ссылки

Life

Родился Карри 12 сентября 1900 г. в Миллисе, Массачусетс, Сэмюэлю Сайласу Карри и Анне Барит Карри, руководившей школой ораторского искусства. Он поступил в Гарвардский университет в 1916 году, чтобы изучать медицину, но переключился на математику перед тем, как получить высшее образование в 1920 году. После двух лет дипломной работы в области электротехники в MIT он вернулся в Гарвард, чтобы изучать физику. получил степень магистра в 1924 году. Интерес Карри к математической логике начался в этот период, когда он познакомился с Principia Mathematica, попыткой Альфреда Норта Уайтхеда и Бертрана Рассела Основать математику на символической логике. Оставаясь в Гарварде, Карри защитила докторскую диссертацию. по математике. Хотя Джордж Дэвид Биркгоф направил его работать над дифференциальными уравнениями, его интересы продолжали смещаться в сторону логики. В 1927 году, будучи преподавателем в Принстонском университете, он открыл для себя работы Моисея Шёнфинкеля в области комбинаторной логики. Работа Шенфинкеля предвосхитила большую часть собственных исследований Карри, и, как следствие, он переехал в Геттингенский университет, где он мог работать с Генрихом Беманом и Полом Бернейсом, кто был знаком с работами Шенфинкеля. Карри руководил Дэвидом Хилбертом и тесно сотрудничал с Бернейсом, получив докторскую степень. в 1930 году защитил диссертацию по комбинаторной логике.

В 1928 году, перед отъездом в Геттинген, Карри женился на Мэри Вирджиния Уитли. Пара жила в Германии, пока Карри завершил диссертацию, а затем, в 1929 году, переехал в Государственный колледж, Пенсильвания, где Карри принял должность в Государственном колледже Пенсильвании. У них было двое детей, Энн Райт Карри (27 июля 1930 г.) и Роберт Уитли Карри (6 июля 1934 г.). Карри оставался в штате Пенсильвания в течение следующих 37 лет. Он провел один год в Чикагском университете в 1931–1932 годах в рамках Национальной исследовательской стипендии и один год в 1938–1939 годах в Институте перспективных исследований в Принстоне.. В 1942 году он взял отпуск, чтобы заниматься прикладной математикой для правительства Соединенных Штатов во время Второй мировой войны, особенно в Франкфордском арсенале. Сразу после войны он работал над проектом ENIAC в 1945 и 1946 годах. В рамках стипендии Фулбрайта он сотрудничал с Робертом Фейсом в Louvain, Бельгия. После ухода из Пенсильванского университета в 1966 году Карри устроился на работу в Амстердамский университет. В 1970 году, закончив второй том своего трактата по комбинаторной логике, Карри ушел из Амстердамского университета и вернулся в Государственный колледж в Пенсильвании.

Хаскелл Карри умер 1 сентября 1982 года в Государственном колледже, штат Пенсильвания.

Работа

В центре внимания работы Карри были попытки показать, что комбинаторная логика может обеспечить основу для математики. К концу 1933 года он узнал о парадоксе Клини – Россера из переписки с Джоном Россером. Парадокс, разработанный Россером и Стивеном Клини, доказал несостоятельность ряда связанных формальных систем, включая систему, предложенную Алонзо Черчем (система, в которой лямбда-исчисление использовалось в качестве согласованная подсистема) и собственная система Карри. Однако, в отличие от Черча, Клини и Россера, Карри не отказался от основополагающего подхода, заявив, что он не хочет «убегать от парадоксов».

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

В 1947 году Карри также описал один из первых языков программирования высокого уровня и предоставил первое описание процедуры преобразования общего арифметического выражения в код для одноадресного компьютера.

Он преподавал в Гарварде, Принстоне и с 1929 по 1966 год в Государственном университете Пенсильвании. В 1942 году он опубликовал парадокс Карри. В 1966 году он стал профессором логики и ее истории и философии точных наук в Амстердамском университете, преемник Эверта Виллема Бета.

Карри также писал и преподавал математическую логику в целом; его обучение в этой области достигло высшей точки в 1963 году, когда он написал «Основы математической логики». Его предпочтительной философией математики был формализм (см. Его книгу 1951 года), следуя примеру своего наставника Гильберта, но его труды выдают существенное философское любопытство и очень непредвзятый взгляд на интуиционистскую логику.

Основные публикации

  • "Grundlagen der Kombinatorischen Logik" [Основы комбинаторной логики]. Американский журнал математики (на немецком языке). Издательство Университета Джона Хопкинса. 52 (3): 509–536. 1930. doi : 10.2307 / 2370619. JSTOR 2370619.
  • Теория формальной выводимости. Университет Нотр-Дам Пресс. 1950.
    • Теория формальной выводимости (2-е изд.). Университет Нотр-Дам Пресс. 1957.
  • Очерки формалистической философии математики. Амстердам: Elsevier Science. 1951. ISBN 0444533680. Проверено 23 июля 2012 г.
  • Leçons de logique algébrique (на французском языке). Париж: Готье-Виллар. 1952.
  • Карри, Хаскелл ; Фейс, Роберт (1958). Комбинаторная логика. Я . Амстердам: Издательство Северной Голландии.
  • Основы математической логики. Макгроу Хилл. 1963.
  • Combinatory Logic. II . Амстердам: Издательская компания Северной Голландии. 1972 г. ISBN 0720422086.

Ссылки

  1. ^1924 г. "Uber die Bausteine ​​der Mathematischen Logik", Mathematische Annalen 92, pp. 305–316. Переведено Стефаном Бауэром-Менгельбергом как «О строительных блоках математической логики» в Жан ван Хейенорт, 1967. Справочник по математической логике, 1879–1931. Harvard Univ. Пресс: 355–66.
  2. ^ Селдин, Джонатан. «Логика Карри и Черча». Для цитирования журнала требуется | journal =()
  3. ^Барендрегт, HP The Lambda Calculus: Its Syntax and Semantics. Elsevier. P. 4.
  4. ^Кнут, Дональд Э.; Пардо, Луис Трабб (1976). «Ранняя разработка языков программирования». Стэнфордский университет, факультет компьютерных наук, стр. 22
  5. ^Album Academicum, Амстердамский университет
  6. ^Нельсон, Д. (1952). «Обзор: теория формальной выводимости, Х. Б. Карри». Bull. Amer. Math. Soc. 58 (3): 415–417. doi : 10.1090 / s0002-9904-1952-09596-3.
  7. ^Маркус, Р. Баркан (1952). "Обзор: Leçons de logique algébrique, автор HB Curry ". Bull. Amer. Math. Soc. 58 (2): 673–674. doi : 10.1090 / s0002-9904-" 1952-09657-9.

Дополнительная литература

Последняя правка сделана 2021-05-23 03:04:43
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте