Дейкстра, Эдсгер


Дейкстра, Эдсгер
Эдсгер Вибе Дейкстра

Э́дсгер Ви́бе Де́йкстра (нидерл. Edsger Wybe Dijkstra; 11 мая 1930, Роттердам (Нидерланды) — 6 августа 2002) — выдающийся нидерландский учёный, идеи которого оказали огромное влияние на развитие компьютерной индустрии.

Содержание

Биография

Родился 11 мая 1930 года в Роттердаме, в семье учёных (отец — химик, мать — математик). По окончании школы поступил на факультет теоретической физики Лейденского университета. В 1951 году увлёкся программированием, поступил на трёхнедельные компьютерные курсы в Кембридже, с 1952 года работал программистом в Математическом центре Амстердама под руководством профессора Ван Вейнгаардена (впоследствии — автора одного из способов формального описания грамматики формальных языков — так называемых двухуровневых грамматик Ван Вейнгаардена). Уже в 1952 году принял решение окончательно специализироваться на программировании, но курс теоретической физики закончил. В 1956 году принял участие в разработке ЭВМ X1. Эта машина была создана тремя энтузиастами за год. Именно для оптимизации разводки плат для X1 был придуман алгоритм поиска кратчайшего пути на графе, известный как «алгоритм Дейкстры».

В 1957 году Дейкстра женился. Как вспоминал он сам, в графе «профессия» анкеты, которую положено заполнять при бракосочетании, он написал «программист» — и его заставили переписывать документы, заявив, что такой профессии не существует. В результате, как писал Дейкстра: «Хотите — верьте, хотите — нет, но в графе „профессия“ моего свидетельства о браке значится забавная запись „физик-теоретик“!»[1].

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

Длительное время работал в фирме Burroughs Corporation. В 1970-е годы вместе с Чарльзом Хоаром и Никлаусом Виртом разработал основные положения ставшей классикой методологии разработки программ — структурного программирования.

В последние годы жизни преподавал в США, в Техасском университете. Умер 6 августа 2002 года.

Научные достижения

Известность Дейкстре принесли его работы в области применения математической логики при разработке компьютерных программ. Он активно участвовал в разработке языка программирования Алгол и написал первый компилятор Алгол-60. Будучи одним из авторов концепции структурного программирования, он проповедовал отказ от использования инструкции семафоров» для синхронизации процессов в многозадачных системах и алгоритм нахождения кратчайшего пути на ориентированном графе с неотрицательными весами рёбер, известный как Алгоритм Дейкстры. В 1972 году Дейкстра стал лауреатом премии Тьюринга.

Литературные труды

Дейкстра был активным писателем, его перу (он предпочитал авторучку клавиатуре) принадлежит множество книг и статей, самыми известными из которых являются книги «Дисциплина программирования» и «Заметки по структурному программированию», и статья «О вреде оператора GOTO» (GOTO considered harmful) — классические книги по теории структурного программирования.

Помимо обсуждения специальных вопросов, в своих статьях и книгах Дейкстра последовательно отстаивал необходимость математического подхода к программированию, который предполагает предварительное точное, всестороннее математическое описание задачи и способа её решения, формальное доказательство правильности выбранного алгоритма и последующую реализацию алгоритма в виде максимально простой, структурированной программы, корректность которой должна быть формально доказана. По мнению Дейкстры, господствующий в компьютерной индустрии подход к программированию как к процессу достижения результата методом проб и ошибок («написать код — протестировать — найти ошибки — исправить — протестировать — …») порочен, поскольку стимулирует программистов не думать над задачей, а писать код, при этом совершенно не гарантирует корректность программ, которая не может быть доказана тестированием в принципе.

Дейкстра многократно предостерегал от попыток превратить разработку программ в некий тривиальный процесс; по его мнению, программирование, в сути своей — чрезвычайно сложная научная и инженерная деятельность, и никакие новые методы и инструменты не смогут кардинально изменить это положение — они лишь освобождают программиста от части рутинной работы. Попытки же превратить программирование в простое занятие, доступное каждому, обречены на провал.

Влияние

Дейкстра также приобрёл немалую известность за пределами академических кругов благодаря своим резким и афористичным высказываниям по актуальным проблемам компьютерной индустрии. Вот некоторые из его афоризмов:

Литература

Дейкстра Э. Дисциплина программирования = A discipline of programming. — 1-е изд. — М.: Мир, 1978. — С. 275.

Дал У., Дейкстра Э., Хоор К. Структурное программирование = Structured Programming. — 1-е изд. — М.: Мир, 1975. — С. 247.

См. также

Ссылки

Примечания


Wikimedia Foundation. 2010.

Смотреть что такое "Дейкстра, Эдсгер" в других словарях:

  • Дейкстра, Эдсгер Вибе — Эдсгер Вибе Дейкстра Edsger Wybe Dijkstra …   Википедия

  • Дейкстра Эдсгер Вайб — Эдсгер Вибе Дейкстра Эдсгер Вибе Дейкстра (нидерл. Edsger Wybe Dijkstra; 11 мая 1930, Роттердам (Нидерланды)  6 августа 2002)  выдающийся нидерландский учёный, идеи которого оказали огромное влияние на развитие компьютерной индустрии. Содержание …   Википедия

  • Дейкстра, Эдсгер Вайб — Эдсгер Вибе Дейкстра Эдсгер Вибе Дейкстра (нидерл. Edsger Wybe Dijkstra; 11 мая 1930, Роттердам (Нидерланды)  6 августа 2002)  выдающийся нидерландский учёный, идеи которого оказали огромное влияние на развитие компьютерной индустрии. Содержание …   Википедия

  • Дейкстра Эдсгер Вибе — Эдсгер Вибе Дейкстра Эдсгер Вибе Дейкстра (нидерл. Edsger Wybe Dijkstra; 11 мая 1930, Роттердам (Нидерланды)  6 августа 2002)  выдающийся нидерландский учёный, идеи которого оказали огромное влияние на развитие компьютерной индустрии. Содержание …   Википедия

  • Эдсгер Вайб Дейкстра — Эдсгер Вибе Дейкстра Эдсгер Вибе Дейкстра (нидерл. Edsger Wybe Dijkstra; 11 мая 1930, Роттердам (Нидерланды)  6 августа 2002)  выдающийся нидерландский учёный, идеи которого оказали огромное влияние на развитие компьютерной индустрии. Содержание …   Википедия

  • Эдсгер Вибе Дейкстра — (нидерл. Edsger Wybe Dijkstra; 11 мая 1930, Роттердам (Нидерланды)  6 августа 2002)  выдающийся нидерландский учёный, идеи которого оказали огромное влияние на развитие компьютерной индустрии. Содержание …   Википедия

  • Эдсгер Дейкстра — Эдсгер Вибе Дейкстра Эдсгер Вибе Дейкстра (нидерл. Edsger Wybe Dijkstra; 11 мая 1930, Роттердам (Нидерланды)  6 августа 2002)  выдающийся нидерландский учёный, идеи которого оказали огромное влияние на развитие компьютерной индустрии. Содержание …   Википедия

  • Дейкстра Э. В. — Эдсгер Вибе Дейкстра Эдсгер Вибе Дейкстра (нидерл. Edsger Wybe Dijkstra; 11 мая 1930, Роттердам (Нидерланды)  6 августа 2002)  выдающийся нидерландский учёный, идеи которого оказали огромное влияние на развитие компьютерной индустрии. Содержание …   Википедия

  • Дейкстра Э. — Эдсгер Вибе Дейкстра Эдсгер Вибе Дейкстра (нидерл. Edsger Wybe Dijkstra; 11 мая 1930, Роттердам (Нидерланды)  6 августа 2002)  выдающийся нидерландский учёный, идеи которого оказали огромное влияние на развитие компьютерной индустрии. Содержание …   Википедия

  • Дейкстра — фамилия. Известные носители: Дейкстра, Ринеке Дейкстра, Шаукье Дейкстра, Эдсгер Вибе …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.