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

• Биография Хаскелла Карри

  • Американский математик, логик и философ, родился в 1902 году. 
  • Известен работами в области комбинаторной логики и функционального программирования. 
  • Основатель и ведущий специалист в области комбинаторной логики. 

• Образование и карьера

  • Получил образование в Гарварде и Геттингене, защитил докторскую диссертацию в Геттингене. 
  • Работал в Пенсильванском университете, где стал профессором и занимался исследованиями в области математики и логики. 
  • Участвовал в проектах, связанных с Второй мировой войной и разработкой компьютеров. 

• Вклад в математику и логику

  • Пытался доказать возможность использования комбинаторной логики в качестве основы математики. 
  • Описал первый язык программирования высокого уровня и процедуру преобразования арифметических выражений. 
  • Преподавал в ведущих университетах, включая Гарвард и Принстон. 

• Философские взгляды

  • Предпочитал формализм в математике, но также интересовался интуиционистской логикой. 

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

  • Опубликовал множество работ, включая книги по математической логике и комбинаторной логике. 

• Дополнительные сведения

  • Архив Карри содержит рукописи с 1920 по 1931 год.