- КЁРРИ
- КЁРРИ
-
(Curry), Хаскелл Брукс (р. 12 сент. 1900) – амер. логик, математик и философ, проф. Пенсильванского ун-та с 1941. Большинство соч. К. посвящено логике комбинаторной и связанным с ней вопросам общей теории формальных систем и исчислений. Осн. положения комбинаторной логики изложены К. в кн. "Комбинаторная логика" ("Combinatory logic", 1958, совм. с Р. Фейсом). К. занимался также разработкой теорий дедуктивного вывода и вопросами алгебраич. трактовки логики (в т.ч. ряда неклассич. систем математич. логики), к-рым посвящена его книга "Лекции по алгебре логики" ("Leçons de logique algébrique", 1952). В методологии математики К. является представителем созданного им направления неоформализма, рассматривающего математику как содержат. теорию любых формальных систем и исчислений. При этом К. отказывается от ряда требований формализма Д. Гильберта, неправомерность к-рых была доказана в ходе развития науки. Прежде всего он ослабляет требование непротиворечивости формальной системы. В стремлении Гильберта к обязательной непротиворечивости К. видит влияние нем. идеалистич. философии, желание оправдать классич. математику, построив ее на абсолютно определенном априорном базисе (см. "Combinatory logic", p. 275–76). Математика, согласно К., развивается через обнаружение противоречий и их преодоление.Соч.: 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;Подробная библиография соч. К. содержится в кн.: Combinatory logic.В. Донченко. Москва.
Философская Энциклопедия. В 5-х т. — М.: Советская энциклопедия. Под редакцией Ф. В. Константинова. 1960—1970.
.
