> Массивы сами по себе уже абстракция (foo[i] -- это  смещение i относительно адреса foo).

Память как таковая, в общем то тоже абстракция. На уровне физики чип RAM бывает например двухмерным массивом. Однако врядли вы будете в большом восторге от идеи узнавать истинную геометрию каждого чипака оперативы, высчитывая rows и columns, которые, однако, ни разу не константа.

А еще цифровые штуки изначально оперируют единицами и нолями. По поводу чего ноль достаточно удобен для представления на уровне железа. Это "все нули", по всем разрядам шин, регистров и проч. Просто и элегантно.

> (т.е. на более низком уровне индексация массива может начинаться совсем не с 0)

"Права купил, а ездить не купил?" :) Режимы адресации и их чудеса не имеют никакого отношения к тому с чего начинается адресное пространство.