Дэвид Уилер
Изобрёл вызов подпрограммы, написал первую в мире библиотеку программ, а затем сформулировал самую цитируемую аксиому отрасли.
Дэвид Уилер (1927–2004) защитил в Кембридже в 1951 году диссертацию, которую обычно считают первой в мире докторской степенью по информатике. Работа велась на EDSAC под руководством Мориса Уилкса, и Уилер дал как раз то, чего не хватало между «машина умеет считать» и «для неё можно писать программы»: воспроизводимый способ войти в подпрограмму и вернуться из неё. Прыжок Уилера помещал адрес возврата в аккумулятор, а подпрограмма вписывала его в собственную завершающую команду перехода. Самомодифицирующийся код, потому что у EDSAC не было стека, чтобы положить туда адрес.
Когда вызов заработал, стало возможным повторное использование, и Уилер написал и начальные приказы EDSAC, и первую библиотеку готовых подпрограмм. Книга, которую он выпустил с Уилксом и Гиллом в 1951 году, стала первым учебником программирования. Гораздо позже появились преобразование Барроуза — Уилера и шифр TEA. Но в сборники цитат попало его замечание: любую проблему в информатике можно решить ещё одним слоем косвенности — кроме проблемы слишком большого числа слоёв косвенности.