Аксиоматический Метод

Словари      Постоянная ссылка | Все категории

Аксиоматический Метод

- способ построения научной те­ории, при котором какие-то положения теории избираются в каче­стве исходных, а все остальные ее положения выводятся из них чисто логическим путем, посредством доказательств. Положения, доказываемые на основе аксиом, называются теоремами. А. м. — особый способ определения объектов и отношений меж­ду ними (см.: Аксиоматическое определение). А. м. используется в математике, логике, а также в отдельных разделах физики, биологии и др. А. м. зародился еще в античности и приобрел большую извес­тность благодаря «Началам» Евклида, появившимся около 330 — 320 гг. до н. э. Евклиду не удалось, однако, описать в его «аксио­мах и постулатах» все свойства геометрических объектов, исполь­зуемые им в действительности; его доказательства сопровожда­лись многочисленными чертежами. «Скрытые» допущения гео­метрии Евклида были выявлены только в новейшее время Д. Гиль­бертом (1862-1943), рассматривавшим аксиоматическую теорию как формальную теорию, устанавливающую соотношения между ее элементами (знаками) и описывающую любые множества объек­тов, удовлетворяющих ей. Сейчас аксиоматические теории нередко формулируются как формализованные системы, содержа­щие точное описание логических средств вывода теорем из акси­ом. Доказательство в такой теории представляет собой последова­тельность формул, каждая из которых либо является аксиомой, либо получается из предыдущих формул последовательности по одному из принятых правил вывода. К аксиоматической формальной системе предъявляются тре­бования непротиворечивости, полноты, независимости системы ак­сиом и т. д. a. m. является лишь одним из методов построения научного зна­ния. Он имеет ограниченное применение, поскольку требует высо­кого уровня развития аксиоматизируемой содержательной теории. Как показал известный математик и логик К. Гёдель, достаточ­но богатые научные теории (напр., арифметика натуральных чи­сел) не допускают полной аксиоматизации. Это свидетельствует об ограниченности a. m. и невозможности полной формализации научного знания (см.: Гёделя теорема).

Словари      Постоянная ссылка | Все категории
Мы в соцсетях:




Архивы pandia.ru
Алфавит: АБВГДЕЗИКЛМНОПРСТУФЦЧШЭ Я

Новости и разделы


Авто
История · Термины
Бытовая техника
Климатическая · Кухонная
Бизнес и финансы
Инвестиции · Недвижимость
Все для дома и дачи
Дача, сад, огород · Интерьер · Кулинария
Дети
Беременность · Прочие материалы
Животные и растения
Компьютеры
Интернет · IP-телефония · Webmasters
Красота и здоровье
Народные рецепты
Новости и события
Общество · Политика · Финансы
Образование и науки
Право · Математика · Экономика
Техника и технологии
Авиация · Военное дело · Металлургия
Производство и промышленность
Cвязь · Машиностроение · Транспорт
Страны мира
Азия · Америка · Африка · Европа
Религия и духовные практики
Секты · Сонники
Словари и справочники
Бизнес · БСЕ · Этимологические · Языковые
Строительство и ремонт
Материалы · Ремонт · Сантехника