Интервью с Эдсгером В. Дейкстрой (2001), часть 4: «проблема обедающих философов» и снова про IBM

Четвёртая часть интервью 2001 года Ф. Франы с Э. Дейкстрой.

В этой части Дейкстра снова говорит о разочаровании IBM System/360 и объясняет, что на его известную фразу о победе Запада над СССР в холодной войне повлиял некий советский плакат с казаком, размахивающим флагом с аббревиатурой IBM.

Здесь герой интервью упоминает много своих работ, важных для развития программирования: речь идёт о 60-х годах XX века.

В 1960-х годах разработчики программ столкнулись с проблемами. Раньше, по выражению Дейкстры, были слабые компьютеры, поэтому проблемы были не так сложны, а в эти годы появились сложные компьютеры, поэтому и проблемы ПО «раздулись» соответственно.

Помимо этого, можно сказать, что все проекты сильно выходили за рамки своих бюджетов или оставались недоделанными. То, что всё‑таки выпускалось «в прод», работало не так, как ожидалось или было неэффективным. Тремя словами такое положение дел в сфере разработки окрестили «кризисом программного обеспечения».

Добавим ещё один момент: в то время практически везде ПО не было чем‑то самостоятельным, оно шло в комплекте с «с железом» и продавалось целиком. Софт был неотъемлемой частью оборудования и работал только на нём. Программисты стали выделяться как отдельные профессионалы, а программы — как продукты позже.

• в скобках квадратных [ ] указаны примечания самого интервьюера Ф. Франы;

• в скобках фигурных { } указаны мои уточнения.

В этом блоке привожу пояснения.

Ссылки на источники есть в конце.

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

герой интервью

Филип Франа

интервьюер

Дейкстра: Дальше в сентябре я поехал на первый конгресс IFIP в Мюнхене и выступил с приглашённой речью о развитии программирования. Именно там меня с овациями встретили, видимо, я говорил что‑то необычное. Об этом я ещё расскажу позже. Затем я стал профессором математики в Эйндховене и два года преподавал численный анализ.

В первой части интервью Дейкстра упоминал, что изначально был физиком, но конечном итоге его работа привела его в мир математики. Eindhoven University of Technology, где он стал профессором, был одним из ведущих технических университетов Нидерландов.

Дейкстра преподавал численный анализ (Numerical analysis), что является одной из ключевых дисциплин математики, связанной с разработкой и анализом алгоритмов для решения математических задач на компьютере. Эта область была важной в 1960-е годы, когда компьютеры только начинали использоваться для решения сложных математических задач.

Основные направления численного анализа в 1960-х годах:

1. Решение линейных и нелинейных уравнений. Разработка методов для нахождения корней уравнений, включая методы Ньютона, бисекции и секущих.

2. Численное интегрирование и дифференцирование. Создание алгоритмов для вычисления интегралов и производных, таких как методы трапеций и Симпсона.

3. Численные методы решения дифференциальных уравнений. Разработка методов для решения обыкновенных и частных дифференциальных уравнений, включая методы Эйлера и Рунге‑Кутты.

4. Численные методы линейной алгебры. Исследование алгоритмов для решения систем линейных уравнений, таких как метод Гаусса и метод Гаусса‑Жордана.

5. Численные методы оптимизации. Разработка алгоритмов для нахождения экстремумов функций, включая методы градиентного спуска и методы наискорейшего спуска.

   Какие численные методы развивались после 60-х годов: адаптивные методы, методы на основе машинного обучения, численные методы для уравнений в частных производных (УЧП).

Подход Дейкстры к численным методам можно оценить в более поздней видео‑лекции на Youtube An Interplay Between Programming and Mathematics (Взаимодействие между программированием и математикой) 1992 года.