Теорема и аксиома в чем разница

Теорема и аксиома в чем разница

Аксио́ма (др.-греч. ἀξίωμα «утверждение, положение») или постула́т — исходное положение какой-либо теории, принимаемое в рамках данной теории истинным без требования доказательства и используемое при доказательстве других её положений, которые, в свою очередь, называются теоремами [1] .

Содержание

Назначение [ править | править код ]

Необходимость в принятии аксиом без доказательств следует из индуктивного соображения: любое доказательство вынуждено опираться на какие-либо утверждения, и если для каждого из них требовать своих доказательств, цепочка получится бесконечной. Чтобы не уходить в бесконечность, нужно где-то эту цепочку разорвать — то есть какие-то утверждения принять без доказательств, как исходные. Именно такие, принятые в качестве исходных, утверждения и называются аксиомами [2] .

В современной науке вопрос об истинности аксиом, лежащих в основе какой-либо теории, решается либо в рамках других научных теорий, либо посредством интерпретации данной теории [3] .

Аксиоматиза́ция теории — явное указание конечного или счётного, рекурсивно перечислимого (как, например, в аксиоматике Пеано) набора аксиом и правил вывода. После того как даны названия изучаемым объектам и их основным отношениям, а также аксиомы, которым эти отношения должны подчиняться, всё дальнейшее изложение должно основываться исключительно на этих аксиомах и не опираться на обычное конкретное значение этих объектов и их отношений.

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

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

Австрийский математик Курт Гёдель доказал «теоремы о неполноте», согласно которым всякая система математических аксиом (формальная система), в которой можно определить натуральные числа, сложение и умножение, неполна. Это значит, что найдётся бесконечное количество математических утверждений (функций, выражений), ни истинность, ни ложность которых не сможет быть доказана на основании данной системы аксиом. Также, по теореме о неполноте, среди этих невыводимых утверждений будет утверждение о непротиворечивости этой системы.

Читайте также:  Фото в инстаграм на аву для парней

История [ править | править код ]

Впервые термин «аксиома» встречается у Аристотеля (384—322 до н. э.) и переходит в математику от философов Древней Греции. Евклид различает понятия «постулат» и «аксиома», не объясняя их различия. Со времён Боэция постулаты переводят как требования (petitio), аксиомы — как общие понятия. Первоначально слово «аксиома» имело значение «истина, очевидная сама по себе». В разных манускриптах «Начал» Евклида разбиение утверждений на аксиомы и постулаты различно, не совпадает их порядок. Вероятно, переписчики придерживались разных воззрений на различие этих понятий.

Отношение к аксиомам как к неким неизменным самоочевидным истинам сохранялось долгое время. Например, в словаре Даля аксиома — это «очевидность, ясная по себе и бесспорная истина, не требующая доказательств».

Толчком к изменению восприятия аксиом послужили работы российского математика Николая Лобачевского о неевклидовой геометрией, впервые опубликованные в конце 1820-х годов. Ещё будучи студентом, он пытался доказать пятый постулат Евклида, но позднее отказался от этого. Лобачевский сделал вывод о том, что пятый постулат является лишь произвольным ограничением, которое можно заменить другим ограничением. Если бы пятый постулат Евклида был доказуем, то Лобачевский столкнулся бы с противоречиями. Однако, хотя новая версия пятого постулата и не была наглядно-очевидной, она полностью выполняла роль аксиомы, позволяя построить новую непротиворечивую систему геометрии.

Сперва идеи Лобачевского не были признаны (например, о них отрицательно отзывался академик Остроградский). Позднее, когда Лобачевский опубликовал работы на других языках, он был замечен Гауссом, который тоже имел некоторые наработки в области неевклидовой геометрии. Он косвенно высказал восхищение этой работой. Настоящее признание геометрия Лобачевского получила лишь через 10-12 лет после смерти автора, когда была доказана её непротиворечивость в случае непротиворечивости геометрии Евклида. Это привело к революции в математическом мире. Гильберт развернул масштабный проект по аксиоматизации всей математики для доказательства её непротиворечивости. Его планам не суждено было сбыться из-за последовавших теорем Гёделя о неполноте. Однако это послужило толчком к формализации математики. Например, появились аксиомы натуральных чисел и их арифметики, работы Кантора по созданию теории множеств. Это позволило математикам создавать строго истинные доказательства для теорем.

Читайте также:  Romfusclient exe что это

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

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

Согласно Dictionary.com, аксиома определяется как:

  • Самоочевидная истина, не требующая доказательств.
  • Общепризнанный принцип или правило.
  • Логика, Математика. Утверждение, которое предполагается без доказательства ради изучения последствий, вытекающих из него.

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

Теорема, с другой стороны, нуждается в доказательстве. Dictionary.com определяет теорему как:

  • Математика. Теоретическое суждение, утверждение или формула, воплощающие что-то, что нужно доказать из других суждений или формул.
  • Правило или закон, особенно тот, который выражается уравнением или формулой.
  • Логика. Предложение, которое может быть выведено из предпосылок или предположений системы.
  • Идея, убеждение, метод или утверждение обычно принимаются как истинные или стоящие без доказательств.
Читайте также:  Как найти айфон с часов

Теорема — это утверждение, которое было доказано путем тестирования или расчета. Это может быть доказано на основе теорем, которые были ранее доказаны или на основе аксиом. Теоремы состоят из двух частей: гипотезы и выводы.

В математических текстах теоремами обычно называют только достаточно важные утверждения. При этом требуемые доказательства обычно кем-либо найдены (исключение составляют в основном работы по логике, в которых изучается само понятие доказательства, а потому в некоторых случаях теоремами называют даже неопределённые утверждения) . Менее важные утверждения-теоремы обычно называют леммами, предложениями, следствиями, условиями и прочими подобными терминами. Утверждения, о которых неизвестно, являются ли они теоремами, обычно называют гипотезами.

Ссылка на основную публикацию
Adblock detector