Создан заказ №3931202
6 мая 2019
Система натуральных чисел: определение, формулировка.Теорема о последующем натуральном числе.
Как заказчик описал требования к работе:
Нужен аспирант или преподаватель, чтобы помочь сделать реферат по высшей математике, сроки очень сжатые. Отзовитесь, пожалуйста!
Фрагмент выполненной работы:
Введение
Высшая арифметика исследует общие предложения о натуральных числах обычной арифметики. Высшая арифметика — дедуктивная наука, основанная на законах арифметики. Примерами таких предложений могут служить фундаментальная теорема о том, что каждое натуральное число разлагается на простые множители и это разложение единственно, и теорема Лагранжа о том, что любое натуральное число представимо в виде суммы не более четырех точных квадратов. (работа была выполнена специалистами Автор 24) [1]
Слова «Аксиома» происходит от древнегреческого αξίωμα (утверждение, положение), под ним понимают математическое предложение, принимаемое как истинное без доказательства. Построение аксиоматической теории начинается с перечисления основных объектов (первичных терминов) – интуитивно понятных слов, которым, однако, не дается строгих определений (в геометрии, например, в аксиоматической теории Гильберта первичные термины – это точка, прямая и плоскость, в аксиоматике Вейля – точка и вектор). Затем указываются основные отношения между основными объектами, которые также никак не определяются (например, для точки и прямой основным неопределяемым отношением является отношение «точка лежит на прямой», что значит «лежать на…» интуитивно всем понятно, но этому не дается никакого определения). Наконец строятся некоторые утверждения относительно основных объектов и основных отношений, которые принимаются истинными без доказательства – это аксиомы. Далее эта теория развивается: при помощи логических правил из аксиом выводятся новые утверждения – это теоремы. Аксиоматические теории, в которых явно присутствуют правила вывода, называются формальными, остальные содержательными.
Аксиомы могут быть выбраны произвольно, но, исходя из практических нужд, к ним предъявляются определенные требования.
К таким требованиям относятся:
Независимость.
Непротиворечивость
Полнота.
Независимой называется такая система аксиом, в которой ни одну из аксиом нельзя доказать, исходя из остальных, как теорему. Для доказательства независимости каждую из аксиом поочерёдно заменяют на её отрицание (остальные аксиомы оставляют прежними) и строят модель получившейся теории. Например, если в аксиоматической теории есть три аксиомы А1, А2, А3, то для доказательства независимости А1 пытаются построить модель теории А2, А3, для доказательства независимости А2 – модель теории А1,А3, а для доказательства независимости аксиомы А3 – модель теории А1,А2. Если модель удаётся построить в рамках заведомо непротиворечивой теории, то заменяемая аксиома не зависит от остальных. Действительно, если бы аксиома зависела от остальных, то её бы можно было доказать, пользуясь остальными, и мы получили бы противоречие этой теоремы (соответствующей исходной аксиоме) с ее отрицанием, которое также является истинным, что в рамках непротиворечивой теории невозможно.
Непротиворечивой называется аксиоматическая теория, в которой нет такого утверждения w, что само это утверждение w истинно, и одновременно его отрицание истинно. Противоречивые теории не имеет смысла рассматривать, так как согласно логическим правилам в такой теории можно как доказать, так и опровергнуть любое утверждение.
Поскольку построить и проверить все возможные утверждения достаточно развитой теории крайне затруднительно, то для проверки непротиворечивости аксиоматических теорий используется так называемый метод моделей. Моделью аксиоматической теории называется некоторая другая аксиоматическая (или даже интуитивная теория), такая, что всем основным объектам и основным отношениям теории поставлены в соответствие некоторые объекты и отношения, так что всем аксиомам соответствуют истинные утверждения (теоремы). Если модель удается построить в рамках некоторой, заведомо непротиворечивой, аксиоматической теории, то и наша аксиоматическая теория будет непротиворечивой (иначе, была бы противоречивой и теория, в которой построена модель). Для самой же первой из всех аксиоматической теории логический путь обоснования непротиворечивости закрыт. Такой «первой» аксиоматической теорией служит теория натуральных чисел. Свидетельством непротиворечивости данной теории может служить лишь опыт работы с натуральными числами (который составляет более 6 тысячелетий, во время которых противоречий в этой теории найдено не было).
Полнота аксиоматической теории (в широком смысле) – требование к аксиоматической теории согласно которому любое утверждение из данной теории либо само должно является теоремой, либо его отрицание является теоремой. Это требование не является справедливым для большинства теорий, в том числе и для аксиоматической теории натуральных чисел (теорема о том, что аксиоматическая теория натуральных чисел не является полной в широком смысле, доказана К. Гёделем в 1931 году). Поэтому чаще рассматривается более слабое требование: полнота в узком смысле или категоричность.
Категоричность аксиоматической теории (полнота в узком смысле) – требование к аксиоматической теории, согласно которому любые две модели данной аксиоматической теории должны быть изоморфны между собой (две модели называются изоморфными, если существует такое взаимно-однозначное отображение одной модели на другую, которое сохраняет все основные отношения между основными объектами данных моделей).
В математике понятие множества является одним из основных, фундаментальным, однако единого определения множества не существует. Одним из наиболее устоявшихся определений множества является следующее: под множеством понимают любое собрание определённых и отличных друг от друга объектов, мыслимых как единое целое. Создатель теории множеств немецкий математик Георг Кантор (1845-1918) говорил так: "Множество есть многое, мыслимое нами как целое". [2Посмотреть предложения по расчету стоимости
Заказчик
заплатил
заплатил
200 ₽
Заказчик не использовал рассрочку
Гарантия сервиса
Автор24
Автор24
20 дней
Заказчик воспользовался гарантией для внесения правок на основе комментариев преподавателя
7 мая 2019
Заказ завершен, заказчик получил финальный файл с работой
5
Система натуральных чисел: определение, формулировка.Теорема о последующем натуральном числе..docx
2019-05-10 05:08
Последний отзыв студента о бирже Автор24
Общая оценка
5
Положительно
Я рад, что обратился к Вам по решению задания, Вопросов у педагога не возникло. Огромное Вам спасибо. Всем знакомым кто учится со мной порекомедовал ваш сайт.
Хочешь такую же работу?
300 ₽
