В 1959 году завершилась разработка в стенах МГУ уникальной троичной ЭВМ Сетунь. Всем известно, что в компьютерах для вычислений и представления информации используется двоичная система, в соответствии с которой единица данных, байт, представляет собой последовательность нулей и единиц. Но многие ли знают о том, что в Советском Союзе была создана и несколько лет успешно работала троичная машина. Речь идет об ЭВМ Сетунь, разработка которой завершилась в 1959 году в стенах МГУ. Ее главный конструктор - Николай Петрович Брусенцов…Мне, конечно, было горько от того, что нас не поняли, но затем я увидел, что это нормальное положение в человеческом обществе, и что я еще легко отделался, - с горьким юмором написал Брусенцов. - А вот Уильям Оккам, проповедовавший трехзначную логику в ХIII веке, с большим трудом избежал костра и всю жизнь прожил изгоем. Другой пример - Льюис Кэролл, которому только под личиной детской сказки удалось внедрить его замечательные находки в логике, а ведь эта наука до сих пор их замалчивает и делает вид, что никакого Кэррола не было и нет. Последний пример, показывающий, что и в наши дни дело обстоит так же (если не хуже), - Э. Дейкстра, открывший (в который раз) идеи структурирования. Сколько было шума - конференции НАТО, сотни статей и десятки монографий, структурированная революция бушевала едва ли не 20 лет, а теперь опять все так, будто ничего и не было. Полноценная информатика не может ограничиться общепринятой сегодня по техническим причинам двоичной системой - основа должна быть троичной. Как-то я встретился с Глушковым и попытался поговорить об этом. Как истиныный алгебраист Глушков сказал тогда, что вопрос о том, включать пустое или не включать давно решен: включать! Но в действительности все не так просто. Современные математики, в особенности Н. Бурбаки, в самом деле считают, что Аристотель не знал пустого, поэтому его логика несовместима с математической логикой и математикой вообще. Если бы они почитали Аристотеля, то могли бы узнать, что именно им введено не только это понятие, но и буквенные обозначения переменных и прочих абстрактных сущностей, которыми кормится современная математика, не всегда осознавая их смысл. Оказалось, что Аристотель за 2300 лет до появления компьютеров и расхожего теперь термина информатика не только заложил достоверные основы этой науки (у него это называлось аналитика, диалектика, топика, первая философия), но и поразительно эффективно применил ее методы к исследованию таких областей как этика, поэтика, психология, политика, о чем мы со своими ЭВМ пока и мечтать боимся. Отдельные примеры алгебраизации (достоверной) аристотелевской логики я опубликовал в виде статей Диаграммы Льюиса Кэррола и аристотелева силлогистика - 1977г., Полная система категорических силлогизмов Аристотеля - 1982г. У меня налицо убедительные доказательства верности открытого пути. С какой легкостью была создана Сетунь, как просто ее осваивали и продуктивно применяли пользователи во всех областях, и как они плевались, когда пришлось переходить на двоичные машины. Наивысшее достижение сегодня -RISC-архитектура - машины с сокращенным набором команд (типично 150 команд), но где им до Сетуни, у которой 24 команды обеспечили полную универсальность и несвойственные RISC эффективность и удобство программирования! Истинный RISC может быть только троичным
http://www.osp.ru/cw/1999/42/36.htm
http://www.osp.ru/os/2002/05/023_1.htm