История и авторы двоичной системы счисления и двоичной алгебры

Первое достоверное упоминание о двоичной системе исчисления приписывается древнеиндийскому математику Пингале,. Также прообразом двоичной системы считают инкские кипу (узелковая письменность). Наиболее близким приближением к двоичной системе были работы по криптографии Френсиса Бэкона, правда вместо 0 и 1 использовались буквы A и B  латинского алфавита. Окончательный (современный) вид двоичная система получила в работах Лейбница (17 век). Алгебраические системы логики, основанные на двоичной системе счисления и лежащие в основе практически всех современных вычислительных устройств, были предложены Джорджем Булем (вторая половина 19 века). Отсюда берет начало Булева алгебра или алгебра логики.