Чьё имя носят базовые принципы построения электронно-вычислительных
машин, сформулированные в 1946 г.?