Математическая логика достигла важного поворотного момента в 1951 году, когда Стивен Коул Клини (Stephen Cole Kleene) описал операции конечных автоматов, обеспечив фундаментальный мост между нервными сетями и цифровыми вычислениями. Это развитие происходило параллельно с его пожизненным исследованием теории рекурсивных функций, что закрепило за ним статус центральной фигуры в зарождении теоретической информатики в двадцатом веке.
Академическое образование
Родившийся в Хартфорде в 1909 году, Клини начал обучение в Амхерстском колледже, который окончил в 1930 году. Затем он перешел в Принстонский университет для работы над докторской диссертацией, которую завершил в 1934 году под руководством Алонзо Чёрча (Alonzo Church). Его диссертация «Теория положительных целых чисел в формальной логике» (A Theory of Positive Integers in Formal Logic) положила начало плодотворному периоду, посвященному лямбда-исчислению. В эти годы становления, в 1935 году, он присоединился к Висконсинскому университету в Мадисоне, учреждению, с которым была связана большая часть его академической карьеры.
Основы вычислений
Клини приписывают формализацию теории рекурсии — области, которая лежит в основе изучения вычислимых функций. На протяжении 1930-х и 1940-х годов он создал фундаментальные доказательства, включая теорему о рекурсии и теорему о нормальной форме. Эти вклады позволили дать точное математическое описание вычислительных процессов. Его работы конца 1940-х и 1950-х годов расширились до арифметической и гиперарифметической иерархий, а его меморандум 1951 года для корпорации RAND ввел регулярные выражения для классификации событий в конечных автоматах.
Служба и интуиционизм
Во время Второй мировой войны Клини служил в резерве ВМС США, поднявшись до звания лейтенант-коммандера в период с 1942 по 1946 год. Вернувшись к гражданской жизни в Висконсинском университете в Мадисоне, он совмещал административные обязанности заведующего кафедрой и декана колледжа писем и наук с исследованиями в области интуиционистской математики. Его тексты, в особенности написанные в соавторстве с Ричардом Весли (Richard Vesley), установили американский стандарт интерпретации интуиционистских утверждений посредством рекурсивной реализуемости.
Двадцать вопросов, восемь минут на часах и процентиль, измеренный по всем, кто его проходил. Без регистрации.
Пройти тест IQ →Профессиональное наследие
Клини ушел в отставку с должности профессора математики имени Сайруса К. МакДаффи (Cyrus C. MacDuffee professor of mathematics) в 1979 году. За четыре десятилетия он подготовил 13 аспирантов и повлиял на поколения исследователей благодаря учебникам, которые прояснили теоремы Гёделя о неполноте. Его профессиональное лидерство включало работу в качестве президента Ассоциации символической логики и Международного союза истории и философии науки. В 1990 году он получил Национальную научную медаль США за свои достижения.
Краткие факты
- Родился: 1909, Хартфорд - Умер: 1994, Мадисон - Образование: Амхерстский колледж, Принстонский университет - Основное воинское звание: Лейтенант-коммандер - Основная область: Теоретическая информатика - Главная награда: Национальная научная медаль (1990) - Профессиональное членство: Национальная академия наук США
Вопросы читателей
### Что такое звезда Клини?
Это математическая операция, также известная как замыкание Клини, названная в его честь за ее роль в теории формальных языков и теоретической информатике.
### Внес ли Клини вклад в изучение нейронных сетей?
Да, в 1951 году он разработал метод характеристики событий, принимаемых конечными автоматами, который применил к изучению нейронных сетей Маккаллока — Питтса.
