Cтраница 4
В состав формулировки исчисления предикатов необходимо ввести определения, позволяющие отличать обстоятельства, в которых переменная должна играть роль переменной, от обстоятельств, в которых она играет роль неизвестного в интуитивном смысле. В качестве предварительного шага определим область действия квантора, входящего в некоторую формулу, как ту формулу, к которой он относится. [46]
Это служит еще одним подтверждением тезиса Черча, поскольку мы увидим, что класс рекурсивных функций в действительности очень широк - настолько, что правдоподобным выглядит предположение о рекурсивности всех функций, вычислимых в каком бы то ни было интуитивном смысле. [47]
Часто при введении понятия интуитивно вычислимой функции сначала описывают понятие алгоритма ( алгоритм в интуитивном смысле - это точное предписание о выполнении в определенном порядке некоторой системы операций для решения всех задач данного типа), а затем называют интуитивно вычислимой ту функцию, для которой существует алгоритм ( в интуитивном смысле) вычисления ее значений. [48]
Это и есть та формула, с помощью которой А. А. Марков объяснял дисперсию числа гласных в 100 последовательных буквах текста. Интуитивный смысл этого состоит в следующем. Поэтому дисперсия числа нулей в п испытаниях будет большой. [49]