7 лучших цитат и высказываний Лесли Лэмпорт

Изучите популярные цитаты и высказывания американского учёного Лесли Лэмпорта.
Последнее обновление: 29 ноября 2024 г.
Лесли Лэмпорт

Лесли Б. Лэмпорт — американский учёный-компьютерщик. Лэмпорт наиболее известен своей плодотворной работой в области распределенных систем, а также как первоначальный разработчик системы подготовки документов LaTeX и автор первого руководства по ней. Лэмпорт стал лауреатом Премии Тьюринга 2013 года за обеспечение четкой, четко определенной последовательности в, казалось бы, хаотичном поведении распределенных вычислительных систем, в которых несколько автономных компьютеров общаются друг с другом посредством передачи сообщений. Он разработал важные алгоритмы и разработал формальные протоколы моделирования и проверки, которые улучшают качество реальных распределенных систем. Этот вклад привел к повышению правильности, производительности и надежности компьютерных систем.

Когда я пишу статью, я меняю свои обозначения гораздо чаще, чем свои концепции.
Распределенная система — это система, в которой сбой компьютера, о существовании которого вы даже не подозревали, может сделать ваш собственный компьютер непригодным для использования.
Мышление не гарантирует, что мы не совершим ошибок. Но отсутствие размышлений гарантирует, что мы это сделаем. — © Лесли Лэмпорт
Мышление не гарантирует, что мы не совершим ошибок. Но отсутствие размышлений гарантирует, что мы это сделаем.
Мышление — это не способность манипулировать языком; это способность манипулировать понятиями.
«Иногда» — это иногда «не никогда».
Существует гонка между возрастающей сложностью систем, которые мы создаем, и нашей способностью разрабатывать интеллектуальные инструменты для понимания их сложности. Если наши инструменты выиграют гонку, то со временем системы станут проще в использовании и надежнее. В противном случае они будут становиться все труднее в использовании и менее надежными для всех, кроме относительно небольшого набора общих задач. Учитывая, насколько сложно думать, чтобы эти интеллектуальные инструменты имели успех, им придется заменить мышление расчетом.
Форматирование не заменяет запись.
Этот сайт использует файлы cookie, чтобы обеспечить вам максимальное удобство. Больше информации...
Понятно!