Events
Теорема о неполноте символических логикАндрей Марков и Эмиль Пост установили алгоритмическую неразрешимостьПервые фундаментальные работы по теории алгоритмовЭдмондсом сформулировал проблемы P=NP, открытие класса NP-полных задач и его исследованиеНачало теории алгоритмов"Проблема разрешения"Ю. В. Матиясевичем решил десятую проблему Гильбертасоздана Машина Тьюрингасоздана Машина Постасоздан нормальный алгоритм (алгорифм) Маркова (НАМ)Клини предложил рекурсивные функции на множестве натуральных чиселЭрбраном и Гёделем предложены исчисление функций, вычисляемых на множестве натуральных чиселлямбда-исчисление А.ЧёрчаPeriods
годы жизни ал-Хорезми, ал-Хорезми сформулировал понятие "алгоритм"Хомским предложены формальные грамматики, порождающие языкиАндрей Андреевич Марков советский математик, основоположник советской школы конструктивной математикиАлан Мэтисон Тьюринг английский математик, логик, криптограф, оказавший существенное влияние на развитие информатикиЭмиль Леон Пост американский математик и логикАлонзо Чёрч выдающийся американский математик и логик, внесший значительный вклад
в основы информатикиНорберт Винер выдающийся американский учёный, математик и философ, основоположник
кибернетики и теории искусственного интеллекта.
Comments