LIMAN писал(а):Спор во многом терминологический и зависит от того, что считать "реализацией". Если реализация — это автоматическое выполнение операций аппаратурой, то да, булева алгебра является стандартным языком для этого, но сама по себе она не реализует, а задаёт правила.
Мы оба отчасти правы, но каждый абсолютизирует свой аспект. Наиболее точная позиция: алгебра логики — это математическая теория, которая, благодаря своей простоте и дискретности, оказалась наиболее удобной для прямой физической реализации в цифровых схемах. Это не делает её "более реализующей", чем остальную математику, а лишь демонстрирует инженерную удачность.
Это Ваше сообщение под № 130, оказывается, требует более серьезного рассмотрения.
Здесь обнаруживается фундаментальное свойство логических элементов и логики в целом.
В логических сигналах, обозначаемых "1" и "0", заложена вовсе не инженерная удачность, а принципиальная универсальность.
Эти сигналы кодируются самыми разными по физической природе явлениями и объектами: электрическими, магнитными, оптическими, электронными лампами, реле, перфокартами, перфолентами, магнитными барабанами и лентами, жесткими дисками и дискетами, нулями и единицами, истинной и ложью, химическими молекулами и т.д.
Они универсальны по исполнению, но едины по смыслу - это два состояния истина и ложь. И эти два состояния подчиняются логическому закону исключенного третьего:
"Закон исключённого третьего (лат. tertium non datur, то есть «третьего не дано») — закон классической логики, утверждающий, что два противоречащих суждения об одном и том же предмете в одно и то же время и в одном и том же отношении не могут быть одновременно истинными и не могут быть одновременно ложными."
.
Универсальность исполнения логических состояний с помощью логических элементов дополняется универсальностью функций "И", "ИЛИ", "НЕ", с помощью которых возможно реализовать не только все другие логические функции, но и арифметические операции сложения вычитания, умножения и деления, а через них - все остальные математические вычисления. Именно поэтому соотношение между логикой и математикой иное, нежели обычно принятое, что алгебра логии это разновидность математики.
Нет - как раз наоборот - логические операции являются более широкими и более универсальными операциями, из которых можно построить математические, информационные, компьютерные, мыслительные и прочие операции.
Естественное мышление и искусственный интеллект работают на принципах логики. Наука, именуемая Логикой, определяется как наука о правильном мышлении.
В компьютере, в мышлении и интеллекте все явления, объекты, процессы и их свойства ЗАКОДИРОВАНЫ совокупностями все тех же сигналов 0 и 1.
Вся информация кодируется, обрабатывается, передается все теми же логическими сигналами.
Вот это универсальное взаимо-действие в сфере информации и является по настоящему фундаментальным. А те, которые названы фундаментальным в физике, на поверку являются разными, следовательно не фундаментальными.