Why HAL 9000?
HAL 9000 is the acronym of Heuristic ALgorithmic (heuristic algorithm). The heuristic algorithm in mathematics and computer science is a particular type of algorithm designed to solve a problem faster, in case the classical methods are too slow in the calculation, or to find an approximate solution, in case the classical methods fail in finding an exact solution. The result is obtained by trying to balance the objectives of greater optimization, completeness, accuracy and speed of execution. The heuristic methods therefore often constitute an obligatory path to solve very difficult problems.