Cтраница 2
Другая часть тезиса Поста - основная. Она утверждает, что всякий алгоритм в интуитивном смысле является и алгоритмом Поста, Подчеркнем, что эта часть тезиса Поста ни в коей мере не является математическим утверждением, а представляет собой естественно-научный закон [16, 24] о границах алгоритмических способностей человека. Таким образом, и весь тезис Поста выражает закон природы, а не математическую теорему. [16]
Таким образом, традиционные алгоритмические языки программирования способны изображать любой алгоритм Поста, а значит, в силу тезиса Поста, и вообще любой алгоритм. С другой стороны, алгоритмические языки программирования разрабатываются для представления алгоритмов в каком-то конкретном интуитивном понимании, и следовательно, опять в силу тезиса Поста, эти языки не позволяют выйти за пределы алгоритмов Поста. [17]
Во-первых, представляется интуитивно естественным, что всякий алгоритм можно запрограммировать на машине Поста. С программистской точки зрения это особенно естественно - программисты уже привыкли к тому, что на самых различных ЭВМ с разнообразными системами команд ( иногда довольно ограниченными) удается программировать любые алгоритмы, являющиеся алгоритмами в интуитивном смысле, и, значит, не видно причин, почему этого нельзя сделать на машине Поста. Команды целочисленной арифметики действительно удается представить в виде алгоритмов Поста [16], а более сложные арифметические операции очевидно могут быть выражены через целочисленные операции. Логические операции проще арифметических и поэтому могут быть представлены алгоритмами Поста. [18]
Во-первых, представляется интуитивно естественным, что всякий алгоритм можно запрограммировать на машине Поста. С программистской точки зрения это особенно естественно - программисты уже привыкли к тому, что на самых различных ЭВМ с разнообразными системами команд ( иногда довольно ограниченными) удается программировать любые алгоритмы, являющиеся алгоритмами в интуитивном смысле, и, значит, не видно причин, почему этого нельзя сделать на машине Поста. Команды целочисленной арифметики действительно удается представить в виде алгоритмов Поста [16], а более сложные арифметические операции очевидно могут быть выражены через целочисленные операции. Логические операции проще арифметических и поэтому могут быть представлены алгоритмами Поста. [19]