Клини

72

(Kleene) Стивен Коул (р. 5.1.1909, Хартфорд, штат Коннектикут), американский логик и математик. В 1934 получил степень доктора философии в Принстонском университете. Профессор Висконсинского университета (Мадисон) с 1948. Основные работы посвящены теории алгоритмов и рекурсивных функций, а также проблемам интуиционистской логики и математики. В частности, им доказана эквивалентность введённого А. Чёрчем понятия λ-определимости функций с общерекурсивностью. Введённое К. Понятие (рекурсивной) реализуемости формул лежит в основе интуиционистской интерпретации арифметических суждений. К. — автор ряда широко известных монографий по математической логике, основаниям математики и теории рекурсивных функций. Соч. В рус. Пер. Введение в метаматематику, М., 1957..

Значения в других словарях
Клингер Макс

Клингер (Klinger) Макс (18.2.1857, Лейпциг, ‒ 4.7.1920, Гросьена, ныне в ГДР), немецкий живописец, график и скульптор. В сериях офортов К. «Жизнь» (1881‒84), «Драмы» (1883), «Любовь» (1887), «О смерти» (1889, 1898‒1910) яркие образы реальной жизни, обращение к острым социальным проблемам сочетались с фантастикой и трагическим пессимизмом. В живописи («Христос на Олимпе», 1897, Галерея 19 и 20 вв., Вена) более явственно выступают черты стиля «модерн». ..

Клингер Фридрих Максимилиан

Клингер (Klinger) Фридрих Максимилиан (17.2.1752, Франкфурт-на-Майне, ‒ 25.2.1831, Дерпт, ныне Тарту), немецкий писатель. Представитель «Бури и натиска». ..

Клини Стивен Коул

Клини (Kleene) Стивен Коул (р. 5.1.1909, Хартфорд, штат Коннектикут), американский логик и математик. В 1934 получил степень доктора философии в Принстонском университете. Профессор Висконсинского университета (Мадисон) с 1948. Основные работы посвящены теории алгоритмов и рекурсивных функций, а также проблемам интуиционистской логики и математики. В частности, им доказана эквивалентность введённого А. Чёрчем. ..

Клиника

(греч. Klinike — врачевание, от kline — ложе, постель) лечебное учреждение стационарного (больничного) типа, в котором лечение больных сочетается с медицинской научно-исследовательской работой и учебно-преподавательской работой (обучением студентов и повышением квалификации врачей) по соответствующим разделам практической медицины и клинических дисциплин (например, хирургия, акушерство, педиатрия и др.). В СССР медицинские научно-исследовательские институты и вузы либо имеют свои К., либо провод..

Дополнительный поиск Клини Клини

Добавить комментарий
Комментарии
Комментариев пока нет

На нашем сайте Вы найдете значение "Клини" в словаре Большая Советская энциклопедия, подробное описание, примеры использования, словосочетания с выражением Клини, различные варианты толкований, скрытый смысл.

Первая буква "К". Общая длина 5 символа