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

Большая Советская Энциклопедия. Статьи для написания рефератов, курсовых работ, научные статьи, биографии, очерки, аннотации, описания.


А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я 1 2 3 4 8 A L M P S T X
КА КВ КЕ КЁ КЗ КИ КЙ КЛ КМ КН КО КП КР КС КТ КУ КХ КШ КЫ КЬ КЭ КЮ КЯ
КЛА
КЛД
КЛЕ
КЛЁ
КЛИ
КЛО
КЛУ
КЛЫ
КЛЭ
КЛЮ
КЛЯ

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

 

  Соч. в рус. пер.: Введение в метаматематику, М., 1957.

Так же Вы можете узнать о...


Энзимопатии, то же, что ферментопатии.
Якуты (самоназвание — саха), нация, коренное население Якутской АССР.
Ади Эндре Ади (Ady) Эндре (22.11.1877, село Эрминдсент, — 27.
Альфьери Витторио Альфьери (Alfieri) Витторио (16.1. 1749, Асти, — 8.
Аппарель (франц. appareil — въезд), 1) в военно-инженерном деле пологий спуск в крутостях; широко применяется в окопах для орудий и танков и в укрытиях для автомобилей, специальное приспособление для погрузки военной техники на переправочные средства.
Ауэзов Мухтар Омарханович [16(28). 9.1897, урочище Чингистауб Чингисской волости Семипалатинского уезда, — 27.
Барон Кришьянис Юрьевич (31.10.1835, Струтелская волость, Латвия, — 8.
Берх Василий Николаевич [18(29).5.1781, Москва, — 21.
Большой Заб, река в восточной Турции и Ираке, левый приток р.
Буржуа Виктор Буржуа (Bourgeois) Виктор (29.8.1897, Шарлеруа, — 24.
Веероусые жуки (Rhipiphoridae), семейство насекомых.
Вирирование (от франц. virer — менять окраску) фотографических изображений, см.