Cтраница 1
Доказательство упомянутой независимости является следствием того, что из двух различных последовательностей, удовлетворяющих условиям ( 4) и имеющих общий предел, можно составить единую последовательность того же типа и с тем же пределом. [1]
Доказательство независимости аксиом и правил вывода в некотором Исчислении, хотя и проходит обычно но общей схеме, но требует немалой изобретательности и хорошего понимания аксиоматики, как в ее содержательном смысле, так и в ее формальном ( текстовом) представлении. С каждой аксиомой ( или правилом вывода) связывается некоторое конкретное свойство формул или их интерпретаций. [2]
Наметим доказательство независимости базисов относительно выбора вложений. [3]
Этим завершается доказательство независимости определения ( 16) от выбора X и У. [4]
Обычный прием доказательства независимости той или иной аксиомы а заключается в том, что строят реализацию R системы аксиом Т без аксиомы а, в которой аксиома а не выполняется. Если такую реализацию удается построить, то аксиома а независима. [5]
В результате вышеприведенных доказательств независимости оказывается, что не существует никакой единственной аксиомы или принципа силлогизма. Правда, четыре аксиомы 1 - 4 могут быть механически объединены в одно предложение с помощью союза и, однако они остаются обособленными в этой неорганической конъюнкции и не будут представлять из себя одной единой идеи. [6]
Возможно также провести доказательство независимости, пользуясь интерпретацией в области натуральных чисел. [7]
Заметим, что доказательство независимости значений Xj и Х2 от wt ( 2) и 2 ( г) приобретает очень простой и изящный вид, если воспользоваться некоторыми теоремами теории линейных преобразований. [8]
Согласно общему приему доказательства независимости аксиом, указанному в § 4, нам достаточно построить такую реализацию системы аксиом евклидовой геометрии без аксиомы параллельности, в кото рой аксиома параллельности не выполняется. [9]
У - Этим завершается доказательство независимости указанных величин. [10]
Проверка этой формулы должна дать доказательство независимости актов испускания отдельных ск-частиц. Можно было бы предположить, что уход одной из них может вызвать выбрасывание одной или нескольких других и весьма вероятно, что при наблюдении сцинтилляций, производимых этими частицами на флуоресцирующем экране, явление бессознательного самовнушения может заставить верить в такую возможность, если в особенности обращается внимание на быструю последовательность двух сцинтилляций. [11]
Это, по-видимому, является доказательством независимости процесса полимеризации от каждой доступной реакционноспособной функциональной группы инициатора. [12]
Вейль был так заинтересован в доказательстве независимости старшего члена в ( 2) от вида области и считал этот результат одним из важных своих достижений. [13]
В этом наблюдении Гаффрон [9] видит доказательство независимости дыхания и фотосищеза. [14]
По мнению большинства психологов, одним из главных доказательств независимости краткосрочной и долгосрочной памяти является то, что в них фиксируется информация с разными признаками. Если в краткосрочной памяти информация фиксируется исключительно по сенсорным признакам, то в долгосрочной - по смыслу. [15]