Человек, который произвел революцию в информатике с помощью математики Quanta Magazine

Оригинальное название: The Man Who Revolutionized Computer Science With Math Ссылка на оригинальное видео: Дата публикации оригинала: 17 мая 2022 г. Переведенное описание: Лесли Лэмпорт произвел революцию в том, как компьютеры общаются друг с другом. Лауреат премии Тьюринга, ученый-компьютерщик, был пионером в области распределенных систем, в которых несколько компонентов в разных сетях координируются для достижения общей цели. (Поиск в Интернете, облачные вычисления и искусственный интеллект — все это предполагает совместную работу легионов мощных вычислительных машин.) В начале 1980-х годов Лэмпорт также создал LaTeX, систему подготовки документов, которая обеспечивает сложные способы набора сложных формул и форматирования научных документов. В 1989 году Лэмпорт изобрел Paxos, «алгоритм консенсуса», который позволяет нескольким компьютерам выполнять сложные задачи; без него современные компьютеры не могли бы существовать. Он также привлек больше внимания к ряду проблем, дав им характерные названия, такие как «алгоритм пекарни» и «проблема византийских генералов». Работа Лэмпорта с 1990-х годов была сосредоточена на «формальной проверке», использовании математических доказательств для проверки правильности программных и аппаратных систем. Примечательно, что он создал «язык спецификаций» под названием TLA (временная логика действий), который использует точный математический язык для предотвращения ошибок и избежания ошибок проектирования. Подробнее читайте в журнале Quanta: - ПОСЕТИТЕ наш сайт: - ПОСТАВЬТЕ нам НРАВИТСЯ на Facebook: - СЛЕДУЙТЕ за нами в Твиттере: Журнал Quanta — редакционно независимое издание, поддерживаемое Фондом Саймонса #информатика #математика