A.L. Semenov / Vladimir Uspensky
Librería Samer Atenea
Librería Aciertas (Toledo)
Kálamo Books
Librería Perelló (Valencia)
Librería Elías (Asturias)
Donde los libros
Librería Kolima (Madrid)
Librería Proteo (Málaga)
Today the notion of the algorithm is familiar not only to mathematicians. It forms a conceptual base for information processing; the existence of a corresponding algorithm makes automatic information processing possible. The theory of algorithms (together with mathematical logic ) forms the the oretical basis for modern computer science (see [Sem Us 86]; this article is called 'Mathematical Logic in Computer Science and Computing Practice' and in its title mathematical logic is understood in a broad sense including the theory of algorithms). However, not everyone realizes that the word 'algorithm' includes a transformed toponym Khorezm. Algorithms were named after a great sci entist of medieval East, is al-Khwarizmi (where al-Khwarizmi means 'from Khorezm'). He lived between c. 783 and 850 B.C. and the year 1983 was chosen to celebrate his 1200th birthday. A short biography of al-Khwarizmi compiled in the tenth century starts as follows: 'al-Khwarizmi. His name is Muhammad ibn Musa, he is from Khoresm' (cited according to [Bul Rozen Ah 83, p.8]).
