Каково ваше мнение про Сетунь. Меня лично она заинтересовала с нескольких сторон
1. Архитектура компьютеров.
2.Программирование
3. Математическая логика.
Анализируя факты из данных статей появилась идея что проблемы с созданием искусственного интеллекта связаны с архитектурой компьютеров. Ведь двоичная алгебра говорит что либо да либо нет , третьего как говорится не дано . А мозг человека работает по совсем другой схеме допуская при этом не однозначность. Короче после изучения нескольких статей пришел к выводу чтобы значительно продвинутся в данной сфере надо отказаться от принципов Неймана.

Про ИИ. Недавно сделали систему которая довольно успешно играет в Го. Как не удивительно не обошлось без генератора случайных чисел (вот вам и квантовые эффекты при принятии решений

Двоичная логика сродна с логикой Аристотеля

А вот Брусенцов с Вами не согласен.

Впрочем, если вы имели в виду "имеет некоторое подобие", то согласиться можно. Но в логике Аристотеля, как я понял, вариантов гораздо больше, чем два. (Надо бы проверить, но никак руки не дойдут до Начал).

Бинарная система сдерживает мощность квантовых компьютеров

По словам Брусенцова, даже не Буль, а стоик Хрисипп.

По Аристотелю конъюнкция не-утверждения и не-антиутверждения (“не быть благом и не быть не благом”) составляет третье , среднее, промежуточное между утверждением и антиутверждением - συμβεβηκος (привходящее). Хрисипп же “упростил" логику, изъяв это третье, а вместе с ним адекватность реальности и здравому смыслу. У него дискретная дихотомия - “да”/“нет”, поэтому αποφασις αντιφασις , “не быть благом” “быть не благом”. Это мир “рыцарей” и “лжецов” из “занимательной логики”: “рыцарь” никогда не лжет, “лжец” лжет всегда; если некто не “рыцарь”, то он “лжец”, а если не “лжец”, то “рыцарь”. Все четко и просто, но не так, как в действительности.

Показателен пример Яна Лукасевича, который, связывая создание им трехзначной логики “с борьбой за освобождение человеческого духа”, затем (надо полагать, в продолжение этой борьбы) в своей неординарной книге “Аристотелева силлогистика с точки зрения современной формальной логики" устанавливает “ошибочность” положений трехзначной логики Аристотеля, формально “верифицируя” их в двухзначном исчислении высказываний. Впрочем, его попытки формализации модальностей средствами трех- и четырехзначного исчислений также не достигли цели. Он обратился к многозначности, осознав, что “модальная логика не может быть двухзначной”, однако не сумел преодолеть традиции и выявить трехзначность аристотелевой силлогистики, чего ранее уже достиг поборник “эмансипации логики от влияния Аристотеля” Н.А.Васильев, в 1911 году преобразовавший логический квадрат A - I - O - E в треугольник противоположностей A - I O - E .

Просто может быть более или менее удобно.