Насколько я помню, есть приписываемое фон Нейману доказательство, что троичная система исчисления оптимальна. А дальше дело не пошло, по всей видимости потому, что проще транзистора ничего не придумали :) Троичная схемотехника сложна и не окупается.
(«Телесистемы»: Конференция «Микроконтроллеры и их применение»)