Algorithm
The word "algorithm" itself derives from the 9th century mathematician Muḥammad ibn Mūsā al-Khwārizmī, Latinized "Algoritmi". A partial formalization of what would become the modern concept of algorithm began with attempts to solve the Entscheidungsproblem (decision problem) posed by David Hilbert in 1928. Later formalizations were framed as attempts to define "effective calculability" or "effective method". Those formalizations included the Gödel–Herbrand–Kleene recursive functions of 1930, 1934 and 1935, Alonzo Church's lambda calculus of 1936, Emil Post's Formulation 1 of 1936, and Alan Turing's Turing machines of 1936–37 and 1939.
Armatoloi
The word "armatolos" first appeared in the 15th century during Venetian times. It is derived from a medieval loan from Latin "arma" ('weapon'), probably via Greek αρματολόγος ('someone who deals with arms', 'an armed person') → αρματολόος → αρματολός. According to an older hypothesis, the development of the word may also have been influenced by a conflation with the similar-sounding αμαρτωλός ("sinner"; cf. "hamartia"), which may have been associated with the topic of armed bands through phrases such as "αμαρτωλοί/αρματολοί και κλέφτες" (meaning "sinners and thieves", but also "armatoloi and klephts"). Owing to the parallelism with "αμαρτωλός", the word was also sometimes spelled as "αρματωλός", with the letter omega.