КЛИНИ СТИВЕН КОУЛ

(р. 5 янв. 1909) – амер. логик и математик, проф. Висконсинского ун-та (Мэдисон) с 1948. Работы К. в области математич. логики посвящены в основном разработке теории общерекурсивных функций, в к-рой им доказан ряд осн. теорем. К. изучал также понятие ?-определимости функций, являющееся одним из уточнений понятия алгоритма. К. показал, что класс ?-определимых функций совпадает с классом общерекурсивных функций. К. принадлежит также разработка теории рекурсивной реализуемости формул. Эта теория является одной из попыток интуиционистского истолкования математич. суждений. Автор кн. "Введение в метаматематику" (1952, рус. пер. 1957) – одного из ведущих в мировой лит-ре сочинений по логике и основаниям математики. Соч.: A theory of positive integers in formal logic, "Amer. J. Math.", 1935, v. 57, p. 153–73, 219–44; General recursive functions of natural numbers, "Math. Ann.", 1936, Bd 112, p. 727–42; -definability and recursiveness, "Duke Math. J.", 1936, v. 2, p. 340–53; Recursive predicates and quantifiers, "Transactions Amer. Math. Soc.", 1943, v. 53, p. 41–73; On the forms of the predicates in the theory of constructive ordinals, "Amer. J. Math.", 1944, v. 66; On the interpretation of intuitionistic number theory, "J. Symbolic Logic", 1945, v. 10, p. 109–24. В. Донченко. Москва.