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

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


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


Большая советская энциклопедия. — М.: Советская энциклопедия. 1969—1978.

Игры ⚽ Нужно сделать НИР?

Смотреть что такое "Клини Стивен Коул" в других словарях:

  • Клини, Стивен Коул — Эту статью следует викифицировать. Пожалуйста, оформите её согласно правилам оформления статей. Стивен Коул Клини (правильнее  Клейни, англ. Stephen Cole Kle …   Википедия

  • Клини Стивен Коул — Стивен Коул Клини (правильнее Клейни, англ. Stephen Cole Kleene; 5 января 1909, Хартфорд, Коннектикут, США 25 января 1994, Мэдисон, Висконсин, США) американский математик. Его работы совместно с работами Алонзо Чёрча, Курта Гёделя и Алана… …   Википедия

  • Клини, Стивен — Стивен Коул Клини (правильнее Клейни, англ. Stephen Cole Kleene; 5 января 1909, Хартфорд, Коннектикут, США 25 января 1994, Мэдисон, Висконсин, США) американский математик. Его работы совместно с работами Алонзо Чёрча, Курта Гёделя и Алана… …   Википедия

  • Клини — Клини, Стивен Коул Стивен Коул Клини (правильнее Клейни, англ. Stephen Cole Kleene; 5 января 1909, Хартфорд, Коннектикут, США 25 января 1994, Мэдисон, Висконсин, США) американский математик. Его работы совместно с работами Алонзо Чёрча, Курта… …   Википедия

  • Клини С. — Стивен Коул Клини (правильнее Клейни, англ. Stephen Cole Kleene; 5 января 1909, Хартфорд, Коннектикут, США 25 января 1994, Мэдисон, Висконсин, США) американский математик. Его работы совместно с работами Алонзо Чёрча, Курта Гёделя и Алана… …   Википедия

  • Клини С. К. — Стивен Коул Клини (правильнее Клейни, англ. Stephen Cole Kleene; 5 января 1909, Хартфорд, Коннектикут, США 25 января 1994, Мэдисон, Висконсин, США) американский математик. Его работы совместно с работами Алонзо Чёрча, Курта Гёделя и Алана… …   Википедия

  • Стивен Коул Клини — …   Википедия

  • КЛИНИ — (Kleene), Стивен Коул (р. 5 янв. 1909) – амер. логик и математик, проф. Висконсинского ун та (Мэдисон) с 1948. Работы К. в области математич. логики посвящены в основном разработке теории общерекурсивных функций, в к рой им доказан ряд осн.… …   Философская энциклопедия

  • Коул — Фамилия Аллан Коул (англ. Allan Cole; родился в 1943 году)  американский писатель, автор фантастических романов и сценариев; Альфред Рудольф Коул (англ. Alfred Rudolph Cole, родился 21 апреля 1964), также известен как Эл Коул (англ …   Википедия

  • Клини — (Kleene)         Стивен Коул (р. 5.1.1909, Хартфорд, штат Коннектикут), американский логик и математик. В 1934 получил степень доктора философии в Принстонском университете. Профессор Висконсинского университета (Мадисон) с 1948. Основные работы… …   Большая советская энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»