"2001: A Space Odyssey" filmidagi HAL 9000 kompyuterining nomi haqida koʻp munozaralar mavjud. Rasmiy maʼlumotlarga koʻra, HAL nomi "Heuristically programmed ALgorithmic computer" (Evristik dasturlangan algoritmik kompyuter) iborasining qisqartmasi sifatida tanlangan. Baʼzi kuzatuvchilar esa HAL nomining ushbu kompaniyaga aloqadorligini taxmin qilishgan. Biroq, muallif Artur Klark va rejissyor Stenli Kubrik albatta bu farazni rad etishgan. Diqqat: Oʻsha kompaniya nomini yozib bering.