Смотреть больше слов в «Орфографічному словнику української мови»
КЛИНИ (Kleene), Стивен Коул (р. 5 янв. 1909) – амер. логик и математик, проф. Висконсинского ун-та (Мэдисон) с 1948. Работы К. в области математич. ... смотреть
корень - КЛИН; окончание - И; Основа слова: КЛИНВычисленный способ образования слова: Бессуфиксальный или другой∩ - КЛИН; ⏰ - И; Слово Клини содержит с... смотреть
p.n.Kleene
- классификация теоретико-числовых предикатов, введенная независимо С. Клини [1] и А. Мостовским [2]. Через П 0 и одновременно через е 0 обознач... смотреть
(р. 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. В. Донченко. Москва. ... смотреть
Клини (Kleene) Стивен Коул (р. 5.1.1909, Хартфорд, штат Коннектикут), американский логик и математик. В 1934 получил степень доктора философии в Принст... смотреть