Cтраница 1
Стандартная интерпретация состоит в следующем. [1]
В стандартной интерпретации пакет CALL REQUEST имеет специальную функцию установления соединения. [2]
Эту стандартную интерпретацию принято называть боровской интерпретацией квантовой механики. Она высоко ценилась школой Бора. Между Бором и Эйнштейном возник серьезный спор, который определил положение в физике с того самого дня, когда около 1927 года квантовая механика была впервые сформулирована в общем виде. [3]
Эта интерпретация называется стандартной интерпретацией языка формальной арифметики. [4]
Существует счетная интерпретация, элементарно эквивалентная стандартной интерпретации языка формальной арифметики, но не изоморфная ей. [5]
Для правил а), б) из определения условных термов предполагаем стандартные интерпретации, имеющие место при интерпретации термов сигнатуры а на алгебрах этой сигнатуры. Функции, определимые на алгебре с помощью условных термов, будем называть условно термальными функциями. [6]
Понятие времени запаздывания, введенное Гарднером [ 60J, широко используется в стандартной интерпретации данных МПВ главным образом благодаря тому, что многочисленные алгоритмы, основанные на использовании времен запаздывания, дают более точные результаты, чем если пытаться применить уравнения (3.30) - (3.47) для построения криволинейных преломляющих границ или границ неправильной формы. [7]
Если же на рассматриваемый геологический профиль нанести еще 4 группы нефтенасыщенных пропластков, которые при стандартной интерпретации данных ГИС были отнесены к разряду некондиционных ( см. строки 3 - 6 в табл. 1), то, как это следует из рис. 2, картина существенно меняется. [8]
Если d 3, то предел не существует, так что если мы хотим дать стандартную интерпретацию формулы ( 35), нужно при е - 0 устремить к нулю также приближения де. [9]
Если же на рассматриваемый геологический профил з нанести еще 4 группы нефтенасыщенных пропластков, которые при стандартной интерпретации данных ГИС были отнесены к разряду некондицией ных ( см. строки 3 - 6 в табл. 1), то, как это следует из рис. 2, картина существенно меняется. [10]
Под арифметикой будем понимать теорию с языком L и множеством теорем, совпадающим с множеством предложений языка L, истинных в стандартной интерпретации М, областью которой является множество натуральных чисел и которая приписывает символам 0, , , нуль, функцию следования, сложение и умножение соответственно. [11]
Эта теорема впоследствии была наполнена следующим более общим смыслом: какова бы ни была система аксиом формальной арифметики, удовлетворяющая некоторым разумным ( см. ниже) требованиям, существует истинная в стандартной интерпретации замкнутая формула, не выводимая из этой системы аксиом. Разумные требования состоят в следующем: 1) каждая аксиома истинна в стандартной интерпретации; 2) существует алгоритм, распознающий по любой замкнутой формуле рассматриваемой сигнатуры, является ли она аксиомой или нет. [12]
Если А - формула в языке арифметики, содержащая единственную свободную переменную х, то ее диагонализацией является предложение, которое говорит, что А истинна на своем геделевом номере, или, более точно, диагонализация истинна ( в стандартной интерпретации N), если и только если А истинна ( в N) на своем геделевом номере. [13]
В последние годы всеобщность системы часто подвергалась пересмотру, а ее переформулирование Дж. Эта стандартная интерпретация Кейнса или неоклассический синтез ( neoclassical synthesis) само стало предметом критики, особенно со стороны тех, кто подчеркивает значение неопределенности и фактора времени в теории Кейнса. [14]
Докажем, что любое конечное подмножество множества Т имеет модель. Дополним стандартную интерпретацию ОТ языка формальной арифметики до интерпретации расширенной сигнатуры, положив с га. Очевидно, эта интерпретация является моделью множества А. Значит, каждое конечное подмножество ACT имеет модель. По теореме 13 множество Т имеет модель, следовательно, имеет счетную модель. Докажем, что модели ШТ и ОТ не изоморфны. Рассмотрим элемент с Е М, являющийся интерпретацией константы с в модели ШТ. [15]