Thanks, I stand corrected. It was a fun theory though and it will probably not go away anytime soon.

Kubrick himself claimed HAL stood for "heuristic and algorithmic" according to this article:

http://www.slate.com/blogs/browbeat/2013/01/07/hal_9000_ibm_...