Формально-логічна, абстрактна теорія алгоритмів

Abstract

Абстрактна теорія алгоритмів встановлює відсутність алгоритмів для вирішення ряду масових проблем. Інтуїтивне розуміння поняття алгоритму складалося в практиці, в науці і, перш за все, в математиці з найдавніших часів. Алгоритм в такому розумінні є якась чітка система інструкцій, яка будучи послідовно застосована до початкового набору будь-яких конструктивних об'єктів в результаті за кінцеве число кроків приводить до створення якогось результуючого конструктивного об'єкта. При такому інтуїтивному розумінні поняття алгоритму можна говорити про алгоритми в найрізноманітніших галузях людської діяльності.