Аксиоматический метод. Логическое строение геометрии (Write)

---

запомнить в избранное   искать в этом разделе

---

ВНИМАНИЕ !!! Это сокращенная версия файла. Предназначена она только для того, чтобы вы могли предварительно ознакомиться с документом, перед тем как его скачать. Здесь нет картинок, не сохранен формат, шрифт, размеры и положение на странице.
Чтобы скачать полную версию, нажмите ссылки которые находятся чуть-чуть ниже (Info File Mail)

---

Info File Mail

Файл относится к разделу:
МАТЕМАТИКА

---

Аксиоматический метод появился в Древней Греции, а сейчас применяется во всех теоретических науках, прежде всего в математике.
Аксиоматический метод построения научной теории заключается в следующем : выделяются основные понятия, формулируются аксиомы теории, а все остальные утверждения выводятся логическим путем, опираясь на них.
Основные понятия выделяются следующим образом. Известно, что одно понятие должно разъясняться с помощью других, которые, в свою очередь, тоже определяются с помощью каких-то известных понятий. Таким образом, мы приходим к элементарным понятиям, которые нельзя определить через другие. Эти понятия и называются основными.
Когда мы доказываем утверждение, теорему, то опираемся на предпосылки, которые считаются уже доказанными. Но эти предпосылки тоже доказывались, их нужно было обосновать. В конце концов, мы приходим к недоказываемым утверждениям и принимаем их без доказательства. Эти утверждения называются аксиомами. Набор аксиом должен быть таким, чтобы, опираясь на него, можно было доказать дальнейшие утверждения.
Выделив основные понятия и сформулировав аксимы, далее мы выводим теоремы и другие понятия логическим путем. В этом и заключается логическое строение геометрии. Аксиомы и основные понятия составляют основания планиметрии.
Так как нельзя дать единое определение основных понятий для всех геометрий, то основные понятия геометрии следует определить как объекты любой природы, удовлетворяющие аксиомам этой геометрии. Таким образом, при аксиоматическом построении геометрической системы мы исходим из некоторой системы аксиом, или аксиоматики. В этих аксиомах описываются свойства основных понятий геометрической системы, и мы можем представить основные понятия в виде объектов любой природы, которые обладают свойствами, указанными в аксиомах.
После формулировки и доказательства первых геометрических утверждений становится возможным доказывать одни утверждения (теоремы) с помощью других. Доказательства многих теорем приписываются Пифаг

• подписаться на рассылку. • добавить в избранное. • нашли ошибки ?

Это место