Оглавление [Скрыть]
Хаскелл Карри
-
Биография Хаскелла Карри
- Американский математик, логик и философ, родился в 1902 году.
- Известен работами в области комбинаторной логики и функционального программирования.
- Основатель и ведущий специалист в области комбинаторной логики.
-
Образование и карьера
- Получил образование в Гарварде и Геттингене, защитил докторскую диссертацию в Геттингене.
- Работал в Пенсильванском университете, где стал профессором и занимался исследованиями в области математики и логики.
- Участвовал в проектах, связанных с Второй мировой войной и разработкой компьютеров.
-
Вклад в математику и логику
- Пытался доказать возможность использования комбинаторной логики в качестве основы математики.
- Описал первый язык программирования высокого уровня и процедуру преобразования арифметических выражений.
- Преподавал в ведущих университетах, включая Гарвард и Принстон.
-
Философские взгляды
- Предпочитал формализм в математике, но также интересовался интуиционистской логикой.
-
Основные публикации
- Опубликовал множество работ, включая книги по математической логике и комбинаторной логике.
-
Дополнительные сведения
- Архив Карри содержит рукописи с 1920 по 1931 год.
Полный текст статьи: