Философская энциклопедия - кёрри

КЁРРИ

(Curry), Хаскелл Брукс (р. 12 сент. 1900) – амер. логик, математик и философ, проф. Пенсильванского ун-та с 1941. Большинство соч. К. посвящено логике комбинаторной и связанным с ней вопросам общей теории формальных систем и исчислений. Осн. положения комбинаторной логики изложены К. в кн. "Комбинаторная логика" ("Combinatory logic", 1958, совм. с Р. Фейсом). К. занимался также разработкой теорий дедуктивного вывода и вопросами алгебраич. трактовки логики (в т.ч. ряда неклассич. систем математич. логики), к-рым посвящена его книга "Лекции по алгебре логики" ("Leçons de logique algébrique", 1952).

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

, развивается через обнаружение противоречий и их преодоление.

Соч.: An analysis of logical substitution, "Amer. J. Math.", 1929, v. 51, p. 363–84; Grundlagen der kombinatorischen Logik, там же, 1930, v. 52, p. 509–36, 789–834; Some aspects of the mathematical rigor, "Bull. Amer. Math. Soc.", 1941, v. 47, p. 221–41; A theory of formal deducibility, Notre Dame, 1950; Outlines of a formalist philosophy of mathematics, Amst., 1953; Calculuses and formal systems, "Dialectica", 1958, v. 12, No 3–4, p. 249–73;Подробная библиография соч.

В. Донченко. Москва.

Философская Энциклопедия. В 5-х т. — М.: Советская энциклопедия. Под редакцией Ф. В. Константинова. 1960—1970.