В конце 19 века "логика" перешла от философии к математике. Сто лет спустя у нас появилось множество формальных логик. Рассматривая ситуацию с информатикой, математическая дисциплина оказалась лишь временным убежищем для "логики". Ведь существует Доменная теория, конструктивная математическая теория, которая расширяет понятие вычисляемости до континуума и охватывает область всех возможных дедуктивных систем. Теория домена описывает пространство типов данных, которые компьютеры могут идеально вычислить, и вычисления в терминах этих типов...
Логика, часто воспринимаемая как сухая и формальная дисциплина, на самом деле играет центральную роль в творческом процессе. Она служит мощным инструментом для создания логических моделей, применимых в различных областях. Эти модели позволяют нам переносить идеи из одной сферы в другую, используя аналогии. Этот процесс требует творческого подхода и глубокого понимания как конкретной области, так и логических структур. С помощью абстракции, мы можем перевести сложную проблемную ситуацию в логическую модель...