Философская энциклопедия - карри
Карри
КАРРИ (Сипу) Хаскелл Брук (12 сентября 1900—81) — американский логик и математик. Воспитанник Гёттингенского университета, защитил докторскую диссертацию по теории комбинаторов (1930), профессор Пенсильванского университета с 1941. Большинство сочинений посвящено комбинаторной логике и обшей теории формальных систем и исчислений. Первым построил чисто дедуктивно теорию алгоритмов в виде исчисления (чистой) теории комбинаторов и доказал ее непротиворечивость. Он синтаксически обосновал сформулированный в 1920 M. И. Шейнфинкелем принцип комбинаторной полноты и на его основе ввел (независимо от А. Чёрча) неограниченное теоретико-множественное свертывание (Combinatory Logic, v. l, 1958, совместно с Р. Фейсом; Сотbinatory Logic, v. 2, 1972, — совместно с Дж. Хиндли и Дж. Селдином). Исходя из идей функциональности и вычислимости, Карри стремился найти основания математики, отличные от теоретико-множественных. При этом он считал полезным исследование и противоречивых подсистем. В методологии математики Карри был представителем созданного им направления конструктивного неоформализма, рассматривающего математику как совокупность методов, пригодных для изучения формальных систем и исчислений. Он был одним из создателей ассоциации “Символическая логика” и журнала “Journal of Symbolic Logic” (1936).
Соч.: Grundlagen der Kombinatorischen Logik, 1930; A Formalizalion f Recursive Arithmetik.— “American Journal Mathematic”, 1941, v. 63: Основания математической логики. M., 1969.
Лит.: Seidin J. P. and Hindley J. R. (eds). To H. B. Curry: Essays on Combinaiory Logic, Lambda-Calculus and Formalism. L., 1980.
А. С. Кузичев, 3. А. Кузичева
Новая философская энциклопедия: В 4 тт. М.: Мысль.
Под редакцией В. С. Стёпина.
2001.
Вопрос-ответ:
Похожие слова
Самые популярные термины
1 | 2307 | |
2 | 2259 | |
3 | 1392 | |
4 | 1349 | |
5 | 754 | |
6 | 731 | |
7 | 685 | |
8 | 663 | |
9 | 635 | |
10 | 614 | |
11 | 613 | |
12 | 560 | |
13 | 554 | |
14 | 542 | |
15 | 536 | |
16 | 530 | |
17 | 520 | |
18 | 520 | |
19 | 514 | |
20 | 513 |