Стаття розглядає проблему розв’язуваностi (Entscheidungsproblem), поставлену Давидом Гiльбертом, та її зв’язок iз формалiзацiєю поняття алгоритму. Описано внесок Алана Тюрiнга у розв’язання цiєї проблеми через створення абстрактної обчислювальної моделi – машини Тюрiнга. Основнi компоненти цiєї моделi, її зна чення для обчислюваностi та алгоритмiчної теорiї висвiтленi у контекстi розвитку комп’ютерних наук. Також розглянуто вплив iдей Тюрiнга на створення сучасних комп’ютерiв, криптоаналiз пiд час Другої свiтової вiйни.