Знатоки, имела ли отношение классическая или какая другая логика к делу создания программирования?

Answer 1

Конечно. Начать с того, что любой цифровой компьютер построен на основе логических элементов, реализующих операции булевой логики. В языках программирования условные выражения строятся в полном сответствии с правилами логики.

Из мене очевидных примеров - существует, например, язык Пролог, представляющий из себя систему автоматизированного вывода доказательств в логике предикатов первого порядка.

Ну и вобще, развитие этой области не мыслимо без математики, которая постоянно использует логику в качестве инструмента.

Или вас что-то другое интересовало?