Cтраница 2
Аналогично теореме 14, используя 6 - 9b, 12, 69, 70 ( вместо 2б - 30, 71, 72) в качестве лемм, получаем следующее. Тогда A Z) В ( - Xl х Сд Z) Св или Bz) Al-Xl XrtCAZ) CB в системе, постулатами которой служат только 1 -постулаты и постулаты для символов, о которых только что шла речь, - с добавлением, в случае, если среди этих символов есть V, но нет &, схемы аксиом 9а леммы 11 § 24 к Ч - постулатам. [16]
Прежде всего рассмотрим, как написать подпрограмму EVAL, чтобы она могла работать с выражениями без круглых скобок. Мы считываем первое число и заносим его в стек. Если следующий символ есть J, то вычислений не требуется, и мы возвращаемся в главную программу. В противном случае в стек заносится знак операции и следующее число. Затем вызывается подпрограмма CALC, чтобы выполнить требуемые вычисления, результат которых останется в стеке. [17]
Исключающие ссылки могут быть правильными и неправильными. Включающие ссылки всегда правильные. Исключающая ссылка называется правильной, если к тому же символу есть включающая ссылка из общего сегмента. [18]
Основные символы, составляющие 48-символьный алфавит, совпадают с основными символами 60-символьного алфавита, за некоторым исключением. При этом следует иметь в виду, что перед двумя точками, заменяющими двоеточие, должен быть пробел, если предыдущий символ есть точка. Перед ( вслед за) двумя наклонными чертами, заменяющими знак процентов, должен быть пробел, если предыдущий ( последующий) символ есть звездочка. [19]
Основные символы, составляющие 48-символьный алфавит, совпадают с основными символами 60-символьного алфавита, за некоторым исключением. При этом следует иметь в виду, что перед двумя точками, заменяющими двоеточие, должен быть пробел, если предыдущий символ есть точка. Перед ( вслед за) двумя наклонными чертами, заменяющими знак процентов, должен быть пробел, если предыдущий ( последующий) символ есть звездочка. [20]
Но и здесь мы снова можем считать, что множество определено при помощи какого-то процесса, который устанавливает, принадлежит ли некоторая предъявляемая или вспоминаемая карточка данному множеству. Он состоял в общей процедуре проверки, используемой для истолкования критерия (4.1), который определяет данное множество. Укажем, наконец, что формальное соответствие между свойствами и множествами позволяет нам говорить, например: Это яблоко есть элемент множества красных предметов, или. Другими словами, символ есть ( is) обозначает членство в множестве. [21]
Существуют разные способы синтеза двух символов. Например, можно расположить идеи рядышком ( словно идеи линейны. Это напоминает генетическую рекомбинацию. Чем именно обмениваются хромосомы, и как они это делают. Что в символе сравнимо с геном. Если в символе есть рамкообразные гнезда, то, пожалуй, именно эти гнезда. [22]