Почему dereference переводят как разыменование?

На самом деле - перевод совершенно правильный. Смотрите, что получается:

Любой объект в любом языке программирования состоит из двух неразрывных сущностей:

1. Значения (что бы мы под этим не понимали)
2. Имени этого значения

Во многих языках программирования типа С различие между этими сущностями не подчёркивается. Так например, во многих языках можно написать нечто вроде:

a := a + 7;

Здесь одна и та же лексема "а" используется в разных смыслах. Справа - как значение, слева - как имя. Начинающие программисты зачастую этого не осознают. В некоторых языках это различие делается явным. Например, в языке Shell имя переменной может быть "A", а значение - "${A}".

Возвращаясь к Вашему вопросу. Во многих языках программирования существует особый тип переменных, значениями которых являются имена других переменных. Ведь что такое ссылка (указатель) ? Это машинный адрес - имя ячейки, содержащей значение.

Поэтому "разыменовать" означает - сказать процессору, что значение данной переменной надо превратит в имя некоторой другой переменной. Вот так:

int a;
int *pa = &a;
a = 3;
*pa = a + 4;

Результат довольно очевиден. А на самом деле, мы сказали процессору, что:

• Хотя pa стоит слева от знака присваивания, но её имя нас не интересует.
• Нам нужно имя некоторой другой переменной, заданной её значением.
• Фактически, в данном примере имя pa изчезает! Она "разыменовывается".