Домашние задания: Другие предметы
Что такое аксиома?
Теорема не требующая доказательства.
Принимается без доказательств...
Аксиома (др. -греч. ξωμα — утверждение, положение) или постулат — утверждение, принимаемое без доказательства.
Впервые термин «аксиома» встречается у Аристотеля (384—322 до н. э. ) и перешёл в математику от философов Древней Греции. Евклид различает понятия «постулат» и «аксиома» , не объясняя их различия. Со времен Боэция постулаты переводят как требования (petitio), аксиомы — как общие понятия. Первоначально слово «аксиома» имело значение «истина, очевидная сама по себе» . В разных манускриптах Начал Евклида разбиение утверждений на аксиомы и постулаты различно, не совпадает их порядок. Вероятно переписчики придерживались разных воззрений на различие этих понятий.
Аксиоматизация теории — явное указание конечного набора аксиом. Утверждения, вытекающие из аксиом, называются теоремами. Примеры различных, но равносильных наборов аксиом можно встретить в математической логике и евклидовой геометрии. Набор аксиом называется непротиворечивым, если из аксиом набора, пользуясь правилами логики, нельзя прийти к противоречию.
Независимость системы аксиом - свойство системы аксиом данной аксиоматической теории, состоящее в том, что каждая аксиома является независимой, то есть не является логическим следствием из множества остальных аксиом этой теории. Система аксиом, обладающая этим свойством, называется независимой.
Независимость той или иной аксиомы данной аксиоматической теории означает, что эту аксиому можно без противоречия заменить её отрицанием. Иными словами, аксиома независима в том и только в том случае, если имеется интерпретация, при которой эта аксиома ложна, а все остальные аксиомы данной теории истинны. Построение такой интерпретации является классическим методом доказательства независимости.
В аксиомах никогда не включаются логические цепочки, доказательства и построения. аксиомы - чистое описание тех фактов, существование которых имеется основание считать эмпирически доказанными, для чего имеются описание опыта и методика проведения этого опыта, в котором это всегда подтверждается.
Поэтому в аксиомах (естественно, в их описаниях) никогда не фигурируют абстракции, не имеющие прямого соответствия с какими-то свойствами мира. Поэтому в аксиомы не включаются понятия, зависящие от условий - границ абстракций, созданных человеком, в отличие от строгих терминов (см. подробнее ниже) . аксиомы не зависят от того, какими границами наделил абстракцию человек, но должны включать в себя область корректности их описаний. Так, законы Ньютона являются абстракциями, область корректного описания действительности которых - нерелятивистские скорости. Для каждый из значений взаимных скоростей существует возможность определить точность (погрешность) описания аксиомы.
Впервые термин «аксиома» встречается у Аристотеля (384—322 до н. э. ) и перешёл в математику от философов Древней Греции. Евклид различает понятия «постулат» и «аксиома» , не объясняя их различия. Со времен Боэция постулаты переводят как требования (petitio), аксиомы — как общие понятия. Первоначально слово «аксиома» имело значение «истина, очевидная сама по себе» . В разных манускриптах Начал Евклида разбиение утверждений на аксиомы и постулаты различно, не совпадает их порядок. Вероятно переписчики придерживались разных воззрений на различие этих понятий.
Аксиоматизация теории — явное указание конечного набора аксиом. Утверждения, вытекающие из аксиом, называются теоремами. Примеры различных, но равносильных наборов аксиом можно встретить в математической логике и евклидовой геометрии. Набор аксиом называется непротиворечивым, если из аксиом набора, пользуясь правилами логики, нельзя прийти к противоречию.
Независимость системы аксиом - свойство системы аксиом данной аксиоматической теории, состоящее в том, что каждая аксиома является независимой, то есть не является логическим следствием из множества остальных аксиом этой теории. Система аксиом, обладающая этим свойством, называется независимой.
Независимость той или иной аксиомы данной аксиоматической теории означает, что эту аксиому можно без противоречия заменить её отрицанием. Иными словами, аксиома независима в том и только в том случае, если имеется интерпретация, при которой эта аксиома ложна, а все остальные аксиомы данной теории истинны. Построение такой интерпретации является классическим методом доказательства независимости.
В аксиомах никогда не включаются логические цепочки, доказательства и построения. аксиомы - чистое описание тех фактов, существование которых имеется основание считать эмпирически доказанными, для чего имеются описание опыта и методика проведения этого опыта, в котором это всегда подтверждается.
Поэтому в аксиомах (естественно, в их описаниях) никогда не фигурируют абстракции, не имеющие прямого соответствия с какими-то свойствами мира. Поэтому в аксиомы не включаются понятия, зависящие от условий - границ абстракций, созданных человеком, в отличие от строгих терминов (см. подробнее ниже) . аксиомы не зависят от того, какими границами наделил абстракцию человек, но должны включать в себя область корректности их описаний. Так, законы Ньютона являются абстракциями, область корректного описания действительности которых - нерелятивистские скорости. Для каждый из значений взаимных скоростей существует возможность определить точность (погрешность) описания аксиомы.
Марина Поливец
Википедия- г*вно
АКСИОМА – принцип или положение, принимаемое без доказательств за истинное.
Словарь иностранных слов
АКСИОМА-( гр. axiomal)- исходное положение какой-л. науки, теории, принимаемое без доказательств; неоспоримая истина.
АКСИОМА-( гр. axiomal)- исходное положение какой-л. науки, теории, принимаемое без доказательств; неоспоримая истина.
ага
Неоспоримое абсолютно верное утверждение, принятое за истину.
недоказываемая задача
Утверждение принимаемое без доказательста
не требуещий доказательства постулат
высказывание не требующее доказательства
Утверждение, принимаемое без доказательства.
ТЕОРЕМА или УТВЕРЖДЕНИЕ, не требующее доказательства.
Теорема без доказательства
вектор
Аксио́ма (др. -греч. ἀξίωμα — утверждение, положение) или постулат — утверждение (факт) , принимаемое истинным без доказательства, а также как «фундамент» для построения доказательств. Здесь истинность следует понимать только как логическое значение, не как абсолютное знание.
Слово «аксиома» , кроме того, имеет значения:
перен. то, что не требует никаких доказательств
утверждение, отрицание истинности которого, отрицает основы логического мышления
Слово «аксиома» , кроме того, имеет значения:
перен. то, что не требует никаких доказательств
утверждение, отрицание истинности которого, отрицает основы логического мышления
Аксио́ма (др. -греч. ἀξίωμα — утверждение, положение) или постулат — утверждение (факт) , принимаемое истинным без доказательства, а также как «фундамент» для построения доказательств. Здесь истинность следует понимать только как логическое значение, не как абсолютное знание.
Слово «аксиома» , кроме того, имеет значения:
перен. то, что не требует никаких доказательств
утверждение, отрицание истинности которого, отрицает основы логического мышленияТеорема без доказательства
Слово «аксиома» , кроме того, имеет значения:
перен. то, что не требует никаких доказательств
утверждение, отрицание истинности которого, отрицает основы логического мышленияТеорема без доказательства
Похожие вопросы
- Что такое аксиома?нужно точное определение!
- Чем отличается теорема от аксиомы? Аксиома доказывается как в плюс так и в минус?
- обясните какие утверждения называются аксиомами приведите примеры аксиом
- что такое аксиома параллельных прямых? параллельные прямые??
- сформулируйте аксиому параллельных прямых
- в каких построениях используется аксиомы?
- напишите плиз 9 аксиом по геометрии! пожалуста
- что такое аксиома
- Назовите аксиомы о движении тел, сформулированные Галилеем?
- Чем отличаются аксиомы математики Евклида, Лобачевского, Пивень Григория (