Статья 295

Более того, сведение вычислимости к манипуляциям с нулями и единицами что оказалось очень эффективным при воплощении в железе буквально заставило с самого начала активно использовать в программировании булеву логику. Все помнят определения логических выражений в языках программирования и таблицы истинности. Поэтому в 50-х - 70-х годах в популярных книгах программирование представлялось как прямое приложение логики, а тем временем собственно математическая логика и программирование расходились все дальше, создавая предпосылки кризиса, который наступил в каждой из этих дисциплин к началу 60-х годов.

Попытки применения логики в программировании в 50-х - 70-х годах.

Первые попытки применить в программировании не только булеву алгебру, но и более развитые исчисления и методы формализации предпринял Х.