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.
Armata Universal Combat Platform
The combat platform is formally designated as "prospective family of heavy unified battlefield platforms". The name "Armata" derives from the plural of the Latin word "arma" which refers to weapons of war, and was an old Russian word for 14th century guns; it is also the plural of the ancient Greek word "Arma", meaning "chariot" or in modern Greek tank. This was wrongly transcribed as "Armada" by journalists on several occasions.