Home » Знаменательные события » Дана Стюарт Скотт

Дана Стюарт Скотт

Дана Стюарт Скотт (11 октября 1932 ) — американский математик, известный работами в области математической логики и информатики. Исследования Скотта связаны с теорией моделей, теорией автоматов, модальной и интуиционистской логиками, конструктивной математикой и связью между логикой и теорией категорий. Философские интересы лежат в области оснований логики, философии математики и семантического анализа естественных языков.

Дана Стюарт Скотт

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

Одно из важных достижений:
Лауреат премии Тьюринга 1976 года за
их общую с Майклом Рабиным статью под названием «Конечные автоматы и проблема разрешимости для них», в которой была предложена идея недетерминированного автомата, концепции, доказавшей впоследствии свою исключительную ценность. Их, ставшая классической, статья послужила источником вдохновения для многих последующих работ в этой области.

Похожая информация:
Яндекс цитирования Яндекс.Метрика