Аксиома — Арифметика ... Аксиома — Математика - Навигатор. Большая Энциклопедия Нефти и Газа.

БЭНГ

Чистая информация !




Аксиома — Арифметика ... Аксиома — Математика

Аксиома — Арифметика

Аксиомы арифметики VI и VII групп являются примитивно истинными формулами. ...

Аксиома [арифметическая]

Арифметические аксиомы служат для описания свойств термов и функторов. Аксиомы 1 и 2 описывают 5 как операцию прибавления единицы к натуральному числу; аксиома 3 описывает правила обращения с Л - обозначением Черча; 4 и 5 выясняют смысл обозначения ( Rxyri), которое служит для определения по заданным г и t новой функции, образованной с помощью примитивной рекурсии. ...

Аксиома — Выбор

Аксиома выбора вместе с привлекательными выводами, подобными только что приведенным фактам или тем теоремам, которые эквивалентны ей ( в ZF), обладает и многими странными следствиями, доказывающими существование разного рода экзотических множеств. ...

Аксиома — Вывод

Аксиомы вывода для J-зависимостей не будут приведены, однако в гл. ...

Аксиома [геометрическая]

Геометрические аксиомы выполняют при этом лишь ту задачу, что позволяет, опираясь на известного рода отношения, - последние можно рассматривать как данные непосредственно - сформулировать принцип переноса. ...

Аксиома — Геометрия

Аксиомы геометрии на плоскости не являются в этом искривленном двумерном мире самоочевидными истинами; они вообще уже не являются истинами. ...

Аксиома — Геометрия [евклидовая]

Аксиомы евклидовой геометрии предназначены не для того, чтобы с их помощью пользоваться евклидовой геометрией, а для метагеометрических исследований, для исследования самих основ геометрии. Конечно, каждый настоящий математик понимает это. Если он излагает учащимся подобную аксиоматику, чтобы заниматься геометрией с учетом этой аксиоматики, то это опять-таки старая двойная мораль: одна - для Юпитера, другая - для быка. ...

Аксиома [групповая]

Групповая аксиома об обратных элементах, определяет такое свойство квадратной таблицы: каждый символ таблицы можно связать с другим символом так, что на пересечении строки, помеченной первым из этих символов, скажем г, и столбца, над которым стоит второй символ ( обозначим его s), стоит символ I; на пересечении строки, помеченной символом s, и столбца, над которым стоит символ г, также стоат символ I, и эти два символа I расположены симметрично относительно главной диагонали. Это расположение элементов ( табл. 4.9) отражает тот факт, что rs sr / или что s есть обратный к г элемент. ...

Аксиома [данная]

Данная аксиома вводит влияние структуры на свойства системы, что рассматривалось ранее. ...

Аксиома — Дедекинд

Аксиома Дедекинда дана здесь в проективной форме. Нетрудно формулировать ее применительно к евклидовой прямой. ...

Аксиома [другая]

Другие аксиомы описывают свойства логических связок. Напротив, аксиома 5 говорит, как можно вывести конъюнкцию. ...

Аксиома — Индукция [полная]

Аксиома полной индукции не выводима из остальных аксиом арифметики. ...

Аксиома — Инерция

Аксиома инерции, фактически, постулирует существование инерциальных систем отсчета. Именно: существуют такие системы отсчета, относительно которых изолированная материальная точка покоится или движется равномерно и прямолинейно. Эти системы отсчета и являются инерциальными. ...

Аксиома — Исчисление — Высказывание

Аксиомы исчисления высказываний и, следовательно, их приведенные формы являются тождественно истинными формулами алгебры высказываний. Поэтому все они примитивно истинны и, следовательно, регулярны. ...

Аксиома — Исчисление — Предикат

Аксиомы исчисления предикатов, выраженные в виде схем. ...

Аксиома — Классы

Аксиомы классов строятся по обучающей выборке. ...

Аксиома — Кольцо

Аксиомы кольца тривиально проверяются. ...

Аксиома — Конгруэнтность

Аксиомы конгруэнтности целесообразно взять в редакции Мура1), который для случая линейной конгруэнтности в основном берет аксиомы Гильберта, но не пользуется понятием конгруэнтности углов. ...

Аксиома — Конструктивность

Аксиома конструктивности и основные свойства конструктивных множеств введены Геделем [1939, 1940] для доказательства того, что непротиворечивость ZF влечет за собой непротиворечивость ZFC ОКГ. Этот раздел основывается главным образом на работе Гейфмана и Роуботтома, а затем и Силвера. Используя итерированные ультрастепени, Гейфман доказал, что если существует измеримый кардинал а со, то все следствия теоремы 7.4.7 справедливы. Независимо Роуботтом доказал, что если существует кардинал Рамсея, то справедлив пункт ( i) теоремы 7.4.7. Используя методы, развитые в последнем разделе, Силвер доказал теорему 7.4.7 в ее настоящем виде. Она улучшает как результат Гейфмана, так и результат Роуботтома. Другие два основных результата этого раздела, теоремы 7.4.10 и 7.4.12, принадлежат Кейслеру и Роуботтому. Роуботтом первый доказал, что любой нетривиальный случай гипотезы Чэна противоречит аксиоме конструктивности. ...

Аксиома [логическая]

Логические аксиомы и правила вывода - это аксиомы и правила вывода классич. Указанные аксиомы и правила вывода определяют класс выводимых формул или теорем и. Этот класс можно определить семантически. ...

Аксиома — Математика

Аксиомы математики формулировали различно. Можно утверждать, что на этих двух аксиомах и на определениях держится все здание математики. ...

Страницы: 1 ... 4 5 6 7 8 9 10 ... 31