Ментальность. Три закона Дейкстры

Пантеон | Ментальность и человек грядущего. Три закона Дейкстры

/ Европейский центр программирования им. Леонарда Эйлера, 2024.
/ Руслан Богатырев, 2023-2024.
/ Арт-журнал «Пантеон»: http://panteono.ru/2023-02-16

Что же в школьном образовании отличало Эдсгера Дейкстру — Карла Маркса компьютерного программирования — от современного работника ножа и топора, от современного программиста? Великий голландец изучал греческий и латынь...

Но дело не только в этом. По сути он шагнул далеко за пределы профессии своей жизни. За пределы компьютеров. Его самиздат, его выверенная беллетристика программирования очертили и контуры новых горизонтов познания — ментального программирования.

Он был счастлив тем, что отказался от привычных научных публикаций и писал заметки, как и Ньютон, — как бы в стол, но для своих коллег и для будущего: «Если есть одно «научное» открытие, которым я горжусь, то это открытие привычки писать без публикации».

Полагаю, ряд его высказываний вполне могут претендовать на нетленность, непогрешимость и универсальность. Выделю три и назову их законами Дейкстры.

1. Первый закон Дейкстры. • Тестирование программ может показать наличие ошибок, но никогда не покажет их отсутствие.

2. Второй закон Дейкстры. • Если отладка — процесс удаления ошибок, то программирование должно быть процессом их внесения.

3. Третий закон Дейкстры. • Искусство программирования — это искусство организации сложности.


Три важных его завета, связанных с ментальностью:

1. Мы все сформированы инструментами, которые мы используем: формальные системы и языки формируют наши мыслительные привычки — хорошие или плохие. Это означает, что мы должны быть очень осторожными в выборе того, что мы изучаем и чему учим. Отучиться уже невозможно.

2. Слишком мало людей понимают, что высокие технологии, которые сегодня так прославляются, по сути являются технологией математической.

3. Глубоко ошибается тот, кто думает, что изделиями программистов являются программы, которые они пишут. Программист обязан создавать заслуживающие доверия решения и представлять их в форме убедительных доводов, а текст написанной программы является лишь сопроводительным материалом, к которому эти доказательства применимы.


—
Ментальное программирование есть ответ на вызов ИИ. Это по сути зеркалирование искусственного интеллекта, своего рода анти-ИИ. Цель совершенно иная — не получение компьютерного помощника путём имитации поведения и мышления человека с последующей его заменой, а ментальное преобразование самого человека. Его мышления, его восприятия и поведения. Уже не человек должен улучшить компьютер, а найденные законы компьютерных наук должны улучшить человека. Человека грядущего...

Эдсгер Дейкстра: «Попытки использовать компьютеры для имитации человеческого разума всегда казались мне довольно глупыми. Я бы предпочёл использовать их, чтобы имитировать что-то лучше».

Ментальное программирование следует понимать как обобщённое отображение принципов, правил и законов компьютерного программирования на сложный ментальный мир человека, а, значит, и на ментальный мир общества.

—
{ Эдсгер Дейкстра (Edsger Dijkstra, 1930-2002, Нидерланды) — выдающийся учёный в области компьютерных наук и технологий, лауреат Премии Тьюринга (The ACM A.M.Turing Award, 1972), аналога Нобелевской премии.

Один из создателей концепции структурного программирования (structured programming), специалист в области формальной верификации и распределённых вычислений, первый профессиональный программист.

Остроумный и беспощадный в своей иронии критик; Карл Маркс и Марк Твен компьютерного программирования в одном лице. }