Данная аксиома - Большая Энциклопедия Нефти и Газа, статья, страница 3
Какой же русский не любит быстрой езды - бессмысленной и беспощадной! Законы Мерфи (еще...)

Данная аксиома

Cтраница 3


Проблема разрешимости в таком случае сводится к проблеме независимости, так как доказать, что данная проблема не разрешима в теории множеств, означает установить, что соответствующее утверждение и его отрицание не выводимы из данных аксиом. Найти систему аксиом, описывающую в известных, пределах теорию множеств, возможно, но решение вопросов непротиворечивости и независимости для такой системы аксиом наталкивается на существенные затруднения.  [31]

Эмерджентные свойства системы не сводимы к свойствам элементов, составляющих систему. Данная аксиома имеет глубокое значение, т.к. указывает, что нельзя определить свойства взаимодействующих систем. В то же время у исследователя всегда есть желание предсказать эмерджентные свойства.  [32]

Ниже приведены математические записи основных аксиом и законов булевой алгебры. Применение данных аксиом и законов позволяет производить упрощение логических функций. Логические функции могут иметь различные формы представления: словесное, табличное, алгебраическое, графическое. Наиболее широко используют представление функций в виде таблиц истинности. Таблица истинности содержит все возможные наборы значений логических переменных и значения функций, соответствующих каждому из наборов.  [33]

Движения рынка учитывают все. Cyib данной аксиомы в том, что пюбой факюр, влияющий на цену акции, - экономический, полшическии, психологический - аранее уч.  [34]

Ниже приведены математические записи основных аксиом и законов булевой алгебры. Применение данных аксиом и законов позволяет производить упрощение логических функций. Логические функции могут иметь различные формы представления: словесное, табличное, алгебраическое, графическое. Наиболее широко используют представление функций в виде таблиц истинности. Таблица истинности содержит все возможные наборы значений логических переменных и значения функций, соответствующих каждому из наборов.  [35]

Теперь на аксиомы уже не следует смотреть, как на очевидные предложения. Вместо данных аксиом мы могли бы принять другие; тогда мы рассматривали бы др. аксиоматич.  [36]

Данная аксиома исходит из того, что количество свойств у реально существующей системы в принципе ограничено лишь целью исследования, но так как целей исследований может быть сколь угодно много, то и свойств также может быть сколь угодно много. Однако количество эмерджентных свойств ограничено, что и позволяет сформулировать данную аксиому.  [37]

Аксиомы А1 - А9 обобщают в форме аксиом стек, элементами которого являются целые числа. Они задают перечень свойств, которыми обладает стек, определяемый данными аксиомами и правилами вывода логики предикатов.  [38]

Все они ( явно или неявно) принимают такую форму: если данные аксиомы выполняются, то выполняется что-то еще. Истинность аксиом не обсуждается. Тот факт, что Римская империя распалась, не имеет отношения и дискуссии о том, что могло бы произойти, если бы она не распалась. Обсуждению подлежит лишь правильность вывода.  [39]

Таким образом, большие структурированные программы формируются из меньших программ, а небольшие структурированные программы могут использоваться для построения сложных программ. Анализ элементарных программ и их преобразование, обсуждаемые в предыдущей главе, были основаны на этой аксиоме. В этой и последующих главах данная аксиома используется для получения принципов чтения, доказательства правильности и написания программ.  [40]

В основу всех прежних физических теорий была положена аксиома о непрерывности любых динамических эффектов, которая в полном соответствии с Аристотелем формулировалась в виде хорошо известной догмы Natura nonfacit saltus - природа не делает скачков. На этот раз новые факты привели данную аксиому в столкновение с термодинамическими законами, и, если верить всем имеющимся признакам, ее дни сочтены. Создается впечатление, что природа действительно делает скачки, и очень необычного свойства.  [41]

Годэна, но он подчеркивал сугубо гипотетический характер его идей. Он писал: Так же, как в математике исходят из определенных аксимом, так поступает и Годэн. Главная аксиома - это тезис, выдвинутый Ампером: у всех газов расстояние между атомами одинаково, и если добавить к этому правило, установленное Гей-Люссаком, о том, что газы соединяются друг с другом в объемах, являющихся целыми кратными числами, то тогда основание, из которого он ( Годэн) исходит, будет установленным. Что касается данной аксиомы, то она имеет одно из свойств всех аксиом: она не может быть опровергнута доказательствами; она, однако, имеет еще одно свойство, которое уничтожает первое, а именно: она не подкрепляется доказательствами [ 61, стр. В конце статьи он замечает: Все это изображение является, конечно, игрой фантазии, но идея о группах атомов также в газах простых, тел имеет нечто заманчивое [ 61, стр. Что касается вопроса об использовании данной гипотезы для определения атомного состава негазообразных тел, Берцелиус доказывает, что выводы Годэна о составе кремнезема неверны, ибо, по его мнению, они не соответствуют химическим данным [ 61, стр.  [42]

Аксиома, не выводимая из остальных аксиом, называется независимой от этих аксиом, а система аксиом, в которой ни одна аксиома не выводима из остальных, называется независимой системой аксиом. В противном случае система аксиом называется зависимой. Ясно, что зависимая система аксиом в некотором смысле менее совершенна, чем независимая, так как она содержит лишние аксиомы. На первый взгляд кажется, что вопрос о независимости системы аксиом мало существен и имеет значение только с точки зрения технического удобства. Вопрос о независимости одной аксиомы некоторой системы от других аксиом часто бывает равносилен вопросу о возможности заменить без противоречия в рассматриваемой системе данную аксиому ее отрицанием.  [43]

Интерес приведенного высказывания Беттацци заключается в том, что это - одно из первых возражений против применения аксиомы выбора в математических рассуждениях еще до явной формулировки этой аксиомы. Первое подобное возражение, сформулированное Пеано в 1890 г. [6], широко известно и не раз цитировалось. Возможно, Беттацци знал высказывание Пеано, но все же следует отметить некоторое различие их подходов. Последний, столкнувшись с необходимостью применить аксиому выбора в своих собственных рассуждениях и сначала применив ее [ 6, с. Его возражение выглядит несколько случайным, направленным лишь против конкретного рассуждения. Только после явной формулировки аксиомы выбора Цермело в 1904 г. и в ходе полемики по ее поводу Пеано вспомнил в 1906 г. о прежнем своем высказывании [ 7, с. Случайный характер его выступления против данной аксиомы в 1890 г. подтверждается тем, что до 1906 г. он не раз пользовался ею и лишь после работы [7] стал сознательно избегать ее.  [44]



Страницы:      1    2    3