Аксиоматически синоним

аксиоматический

аксиоматический

аксиоматичный, самоочевидный

Словарь русских синонимов.

аксиоматический

прил.

, кол-во синонимов: 4

Словарь синонимов ASIS.
.
2013.

.

Смотреть что такое «аксиоматический» в других словарях:

• АКСИОМАТИЧЕСКИЙ — АКСИОМАТИЧЕСКИЙ, аксиоматическая, аксиоматическое (мат., книжн.). Являющийся аксиомой. Толковый словарь Ушакова. Д.Н. Ушаков. 1935 1940 …   Толковый словарь Ушакова

• АКСИОМАТИЧЕСКИЙ — АКСИОМАТИЧЕСКИЙ, ая, ое (книжн.). 1. см. аксиома. 2. То же, что аксиоматичный. Толковый словарь Ожегова. С.И. Ожегов, Н.Ю. Шведова. 1949 1992 …   Толковый словарь Ожегова

• АКСИОМАТИЧЕСКИЙ — от слова аксиома. Явный, очевидный, не требующий доказательств. Объяснение 25000 иностранных слов, вошедших в употребление в русский язык, с означением их корней. Михельсон А.Д., 1865 …   Словарь иностранных слов русского языка

• аксиоматический — очевидный — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом Синонимы очевидный EN axiomatic …   Справочник технического переводчика

• АКСИОМАТИЧЕСКИЙ МЕТОД —         способ построения науч. теории, при котором в её основу кладутся некоторые исходные положения (суждения) аксиомы, или постулаты, из которых все остальные утверждения этой теории должны выводиться чисто логич. путём, посредством… …   Философская энциклопедия

• АКСИОМАТИЧЕСКИЙ МЕТОД — см. МЕТОД АКСИОМАТИЧЕСКИЙ. Antinazi. Энциклопедия социологии, 2009 …   Энциклопедия социологии

• АКСИОМАТИЧЕСКИЙ МЕТОД — АКСИОМАТИЧЕСКИЙ МЕТОД, способ построения научной теории, при котором в основу теории кладутся некоторые исходные положения, называемые аксиомами, а все остальные положения теории (вспомогательные леммы и ключевые теоремы) получаются как… …   Современная энциклопедия

• АКСИОМАТИЧЕСКИЙ МЕТОД — способ построения научной теории в виде системы аксиом (постулатов) и правил вывода (аксиоматики), позволяющих путем логической дедукции получать утверждения (теоремы) данной теории …   Большой Энциклопедический словарь

• АКСИОМАТИЧЕСКИЙ МЕТОД — АКСИОМАТИЧЕСКИЙ МЕТОД, метод математических рассуждений, основанный на логическом выводе из некоторых утверждений (аксиом). Этот метод является одной из основ математической науки: его использовали еще в древней Греции, а формализацию его… …   Научно-технический энциклопедический словарь

• АКСИОМАТИЧЕСКИЙ МЕТОД — (греч. axioma значимое, принятое положение) способ построения теории, при котором некоторые истинные утверждения избираются в качестве исходных положений (аксиом), из которых затем логическим путем выводятся и доказываются остальные истинные… …   Новейший философский словарь

Слитно. Раздельно. Через дефис

Полезные сервисы

Толковый словарь

Толковый словарь Ушакова

Толковый словарь Ожегова

Переводоведческий словарь

Академический словарь

Орфографический словарь

Словарь ударений

Формы слов для слова аксиоматический

Синонимы к слову аксиоматический

Морфемно-орфографический словарь

Грамматический словарь

Словарь иностранных слов

Полезные сервисы

Энциклопедический словарь

Большой энциклопедический словарь

Иллюстрированный энциклопедический словарь

Лингвистические термины

Полезные сервисы

АКСИОМАТИЧЕСКИЙ

аксиоматический прил. Соотносящийся по знач. с сущ.: аксиома, связанный с ним.

АКСИОМАТИЧЕСКИЙ

МЕТОД (греч. axioma — значимое, принятое положение) — способ построения теории, при котором некоторые истинные утверждения избираются в качестве исходных положений (аксиом), из которых затем логическим путем выводятся и доказываются остальные истинные утверждения (теоремы) этой теории. Научная значимость A.M. была обоснована еще Аристотелем, который первым разделил все множество истинных высказываний на основные («принципы») и требующие доказательства («доказываемые»). В своем развитии A.M. прошел три этапа. На первом этапе A.M. был содержательным, аксиомы принимались на основании их очевидности. Примером такого дедуктивного построения теории служат «Начала» Евклида. На втором этапе Д. Гильберт внес формальный критерий применения A.M. — требование непротиворечивости, независимости и полноты системы аксиом. На третьем этапе A.M. становится формализованным. Соответственно, изменилось и понятие «аксиома». Если на первом этапе развития A.M. она понималась не только как отправной пункт доказательств, но и как истинное положение, не нуждающееся в силу своей очевидности в доказательстве, то в настоящее время аксиома обосновывается в качестве необходимого элемента теории, когда подтверждение последней рассматривается одновременно как подтверждение ее аксиоматических оснований как исходного пункта построения. Помимо основных и вводимых утверждений в A.M. стал выделяться также уровень специальных правил вывода. Таким образом наравне с аксиомами и теоремами как множеством всех истинных утверждений данной теории формулируются аксиомы и теоремы для правил вывода — метааксиомы и метатеоремы. К, Геде-лем в 1931 была доказана теорема о принципиальной неполноте любой формальной системы, ибо в ней содержатся неразрешимые предложения, которые одновременно недоказуемы и неопровержимы. Учитывая накладываемые на него ограничения, А. М. рассматривается как один из основных методов построения развитой формализованной (а не только содержательной) теории наряду с гипотетико-дедуктивным методом (который иногда трактуется как «полуаксиоматический») и методом математической гипотезы. Гипотетико-де-дуктивный метод, в отличие от A.M., предполагает построение иерархии гипотез, в которой более слабые гипотезы выводятся из более сильных в рамках единой дедуктивной системы, где сила гипотезы увеличивается по мере удаления от эмпирического базиса науки. Это позволяет ослабить силу ограничений A.M.: преодолеть замкнутость аксиоматической системы за счет возможности введения дополнительных гипотез, жестко не связанных исходными положениями теории; вводить абстрактные объекты разных уровней организации реальности, т.е. снять ограничение на справедливость аксиоматики «во всех мирах»; снять требование равноправности аксиом. С другой стороны, A.M., в отличие от метода математической гипотезы, акцентирующего внимание на самих правилах построения математических гипотез, относящихся к неисследованным явлениям, позволяет апеллировать к определенным содержательным предметным областям. В.Л. Абушенко… смотреть

АКСИОМАТИЧЕСКИЙ

Саами Саам Очки Очистка Оческа Очес Отчим Отчий Отческий Отсечка Отсек Откачка Отечий Отеска Отек Ост Осмий Оскский Осечка Осакский Осака Оса Омский Омск Омичка Омический Омич Омет Омача Окский Оксим Окк Окат Окаемка Ока Мтс Мочка Моча Мотка Мот Мостик Мост Москит Моск Мокик Мокий Моки Мойка Моисей Мкс Мка Мистический Мистик Мисс Мисочка Миска Мис Миотический Миот Мио Микст Микитки Мик Миасский Миасс Миаскит Мечта Меч Метчик Меточка Метко Меткий Метка Метиска Метис Мета Место Мести Месса Мес Меота Мексико Мексика Мекка Мачта Мачок Матч Маточка Матка Матико Мат Мастикс Мастика Мастак Массикот Масса Маска Масай Маоистский Маоист Мао Макси Макс Маки Макетчик Макет Макатский Макао Мак Майк Маис Маечка Маета Маас Кси Кочка Кочет Коч Котка Котик Кот Костик Коста Косс Космический Космик Косметичка Косметика Космей Космач Косичка Косач Косатка Кос Комс Комический Комикс Комик Коми Комета Кома Ком Коксит Кокс Кокет Кок Койка Коечка Коат Коайт Кмет Кичка Кич Китч Кито Китайско Китайка Китай Кит Кисточка Кистома Киста Кисочка Киска Кисет Кисейка Киса Киотский Киот Киоск Ким Кикс Кик Кий Киек Кечий Кетский Кета Кемский Кекс Кек Кейс Кеа Качок Качкий Качка Кача Каток Каткий Катио Кат Каста Кассит Кассик Кассетчик Кассетка Кассета Касса Каско Каска Касик Касатик Камчатский Камча Камский Камса Камка Камас Кама Како Каки Какао Кака Кайт Кайс Каймак Кайма Каик Каемочка Каемка Йот Итак Истома Исток Исса Искоса Иск Исетский Исак Исай Исаак Иса Имечко Икт Икс Икота Икос Емко Емкий Ейск Ачитский Атомический Атом Саамский Саечка Сайка Атм Сайт Сак Сакай Саккос Сакм Сакс Сакский Самка Самоа Атас Самокат Самокатчик Самосейка Самотек Самочие Астма Аста Ассам Самочка Самс Сасак Асс Аскетик Аскет Аск Сати Амт Амок Сейм Амати Аксис Аксиоматический Аксиома Акмеистский Акм Аким Акие Аки Аймак Аимак Сеймик Аист Акакий Акмеист Акмеистка Аксамит Акт Сачок… смотреть

АКСИОМАТИЧЕСКИЙ

1) Орфографическая запись слова: аксиоматический2) Ударение в слове: аксиомат`ический3) Деление слова на слоги (перенос слова): аксиоматический4) Фонет… смотреть

АКСИОМАТИЧЕСКИЙ

аксиомати́ческий,
аксиомати́ческая,
аксиомати́ческое,
аксиомати́ческие,
аксиомати́ческого,
аксиомати́ческой,
аксиомати́ческого,
аксиомати́ческих,
аксиомати́ческому,
аксиомати́ческой,
аксиомати́ческому,
аксиомати́ческим,
аксиомати́ческий,
аксиомати́ческую,
аксиомати́ческое,
аксиомати́ческие,
аксиомати́ческого,
аксиомати́ческую,
аксиомати́ческое,
аксиомати́ческих,
аксиомати́ческим,
аксиомати́ческой,
аксиомати́ческою,
аксиомати́ческим,
аксиомати́ческими,
аксиомати́ческом,
аксиомати́ческой,
аксиомати́ческом,
аксиомати́ческих,
аксиомати́ческ,
аксиомати́ческа,
аксиомати́ческо,
аксиомати́чески
(Источник: «Полная акцентуированная парадигма по А. А. Зализняку»)
.
Синонимы:
аксиоматичный, очевидный, самоочевидный, явный… смотреть

АКСИОМАТИЧЕСКИЙ

АКСИОМАТИЧЕСКИЙот слова аксиома. Явный, очевидный, не требующий доказательств.Объяснение 25000 иностранных слов, вошедших в употребление в русский язык… смотреть

АКСИОМАТИЧЕСКИЙ

аксиомати’ческий, аксиомати’ческая, аксиомати’ческое, аксиомати’ческие, аксиомати’ческого, аксиомати’ческой, аксиомати’ческого, аксиомати’ческих, аксиомати’ческому, аксиомати’ческой, аксиомати’ческому, аксиомати’ческим, аксиомати’ческий, аксиомати’ческую, аксиомати’ческое, аксиомати’ческие, аксиомати’ческого, аксиомати’ческую, аксиомати’ческое, аксиомати’ческих, аксиомати’ческим, аксиомати’ческой, аксиомати’ческою, аксиомати’ческим, аксиомати’ческими, аксиомати’ческом, аксиомати’ческой, аксиомати’ческом, аксиомати’ческих, аксиомати’ческ, аксиомати’ческа, аксиомати’ческо, аксиомати’чески… смотреть

АКСИОМАТИЧЕСКИЙ

корень — АКСИОМ; суффикс — АТ; суффикс — ИЧЕСК; окончание — ИЙ; Основа слова: АКСИОМАТИЧЕСКВычисленный способ образования слова: Суффиксальный∩ — АКСИО… смотреть

АКСИОМАТИЧЕСКИЙ

Ударение в слове: аксиомат`ическийУдарение падает на букву: иБезударные гласные в слове: аксиомат`ический

АКСИОМАТИЧЕСКИЙ

-ая, -ое.
прил. к аксиоматика.Аксиоматический метод.Синонимы:
аксиоматичный, очевидный, самоочевидный, явный

АКСИОМАТИЧЕСКИЙ

adj.axiomaticСинонимы:
аксиоматичный, очевидный, самоочевидный, явный

АКСИОМАТИЧЕСКИЙ

1) axiomatic2) postulational– аксиоматический методСинонимы:
аксиоматичный, очевидный, самоочевидный, явный

АКСИОМАТИЧЕСКИЙ

то же, что аксиоматичный.Синонимы:
аксиоматичный, очевидный, самоочевидный, явный

АКСИОМАТИЧЕСКИЙ

аксиомати́ческийСинонимы: аксиоматичный, очевидный, самоочевидный, явный

АКСИОМАТИЧЕСКИЙ

аксиомат’ическийСинонимы:
аксиоматичный, очевидный, самоочевидный, явный

АКСИОМАТИЧЕСКИЙ

прил.; = аксиоматичный
assiomatico
Итальяно-русский словарь.2003.
Синонимы:
аксиоматичный, очевидный, самоочевидный, явный

АКСИОМАТИЧЕСКИЙ

аксиоматический, аксиомат′ический, -ая, -ое (книжн.).1. см. аксиома.2. То же, что аксиоматичный.

АКСИОМАТИЧЕСКИЙ

АКСИОМАТИЧЕСКИЙ аксиоматическая, аксиоматическое (мат., книжн.). Являющийся аксиомой.

АКСИОМАТИЧЕСКИЙ

матем., физ.
аксіомати́чний
Синонимы:
аксиоматичный, очевидный, самоочевидный, явный

АКСИОМАТИЧЕСКИЙ

Начальная форма — Аксиоматический, множественное число, неодушевленное, одушевленное

АКСИОМАТИЧЕСКИЙ

-ая
-ое
аксиоматичный
-ая
-ое
аксиома булып торган, бәхәссез, болай да аңлаешлы

АКСИОМАТИЧЕСКИЙ

АКСИОМАТИЧЕСКИЙ, -ая, -ое (книжное). 1. см. аксиома. 2. То же, что аксиоматичный.

АКСИОМАТИЧЕСКИЙ МЕТОД

, способ построения научной теории, при котором в основу теории кладутся некоторые исходные положения, называемые аксиомами, а все остальные положения теории (вспомогательные — леммы и ключевые теоремы) получаются как логические следствия аксиом. Первым примером применения аксиоматического метода явились «Начала» Евклида (около 300 до нашей эры)…. смотреть

АКСИОМАТИЧЕСКИЙ МЕТОД

способ построения научной теории, при котором в основу теории кладутся некоторые исходные положения, называемые аксиомами, а все остальные положения теории (вспомогательные — леммы и ключевые теоремы) получаются как логические следствия аксиом. Первым примером применения аксиоматического метода явились «Начала» Евклида (ок. 300 до н. э.)…. смотреть

АКСИОМАТИЧЕСКИЙ МЕТОД

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

АКСИОМАТИЧЕСКИЙ МЕТОД

один из способов дедуктивного построения научных теорий, при к-ром: 1) выбирается нек-рое множество принимаемых без доказательства предложений определенной теории (аксиом); 2) входящие в них понятия явно не определяются в рамках данной теории; 3) фиксируются правила определения и правила вывода данной теории, позволяющие вводить новые термины (понятия) в теорию и логически выводить одни предложения из других; 4) все остальные предложения данной теории (теоремы) выводятся из (1) на основе (3). Первые представления об А. м. возникли в Древн. Греции (Элеаты, Платон. Аристотель, Евклид). В дальнейшем делались попытки аксиоматического изложения различных разделов философии и науки (Спиноза, Ньютон и др ) Для этих исследований было характерно содержательное аксиоматическое построение определенной теории (и только ее одной), при этом осн внимание уделялось определению и выбору интуитивно очевидных аксиом Начиная со второй половины 19 в , в связи с интенсивной разработкой проблем обоснования математики и математической логики, аксиоматическую теорию стали рассматривать как формальную (а с 20—30-х гг. 20 в — как формализованную) систему, устанавливающую соотношения между ее элементами (знаками) и описывающую любые множества объектов, к-рые ей удовлетворяют. При этом осн. внимание стали обращать на установление непротиворечивости системы, ее полноты, независимости системы аксиом и т д В связи с тем что знаковые системы могут рассматриваться или вне зависимости от содержания, к-рое может быть в них представлено, или с его учетом, различаются синтаксические и семантические аксиоматические системы (лишь вторые представляют собой собственно научные знания) Это различение вызвало необходимость формулирования осн. требований, предъявляемых к ним, в двух планах синтаксическом и семантическом (синтаксическая и семантическая непротиворечивость, полнота, независимость аксиом и т д ) Анализ формализованных аксиоматических систем привел к установлению их принципиальных ограниченностей, гл из к-рых является доказанная Геделем невозможность полной аксиоматизации достаточно развитых научных теорий (напр , арифметики натуральных чисел), откуда следует невозможность полной формализации научного знания Аксиоматизация является лишь одним из методов построения научного знания, но ее использование в качестве средства научного открытия весьма ограниченно. Аксиоматизация осуществляется обычно после того, как содержательно теория уже в достаточной мере построена, и служит целям более точного ее представления, в частности строгого выведения всех следствий из принятых посылок В последние 30—40 лет большое внимание уделяется аксиоматизации не только математических дисциплин, но и определенных разделов физики, биологии, психологии, экономики, лингвистики и др , включая теории структуры и динамики научного знания. При исследовании естественнонаучного (вообще любого нематематического) знания А. м. выступает в форме гипотетико-дедуктивно-го метода (см. также Формализация) … смотреть

АКСИОМАТИЧЕСКИЙ МЕТОД

(от греч. axioma – принятое положение) – способ построения научной теории, в качестве ее основы априори принимающий положения, из которых все остальные утверждения теории выводятся логическим путем. Полная аксиоматизация теорий невозможна (К.Гедель, 1931). … смотреть

АКСИОМАТИЧЕСКИЙ МЕТОД

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

АКСИОМАТИЧЕСКИЙ МЕТОД

способ построения науч. теории, при к-ром в ее основе лежат нек-рые исходные положения (суждения) — аксиомы, или постулаты, из к-рых все остальные утверждения этой науки (теоремы) должны выводиться логич. путем, посредством доказательства. Назначение А.м. состоит в ограничении произвола при принятии науч. суждений в кач-ве истин данной теории. Построение науки на основе А.м. обычно называется дедуктивным (см. Дедукция). Все понятия дедуктивной теории (кроме фиксированного числа первоначальных) вводятся посредством определений, выражающих (или разъясняющих) их через ранее введенные понятия. В той или иной мере дедуктивные доказательства, характерные для А.м., применяются во мн. науках. Но несмотря на попытки систематич. применения А.м. в философии (Спиноза), социологии (Вико), политэкономии (Родбертус-Ягецов), биологии (Вуджер) и др. науках, гл. обл. его приложения остаются математика и символич. логика, а также нек-рые разделы физики (механика, термодинамика, электродинамика и др.). Одним из первых примеров применения А.м. явл. «Начала» Евклида (около 300 г. до н.э.). Б.Н.Махутов … смотреть

АКСИОМАТИЧЕСКИЙ МЕТОД

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

АКСИОМАТИЧЕСКИЙ МЕТОД

способ организации научного (в особенности, теоретического) знания, сущность которого состоит в выделении среди всего множества истинных высказываний об определенной предметной области такого его подмножества (аксиом), из которого логически следовали бы все остальные истинные высказывания (теоремы и единичные истинные высказывания). Идеал аксиоматического построения научного знания, начало реализации которого было положено построением геометрии в Древней Греции (VII — IV вв. до н. э.), оказался наиболее подходящим для организации систем математического знания, где огромный вес в познании принадлежит не только эмпирически-абстрагирующей деятельности рассудка, но и конструктивно—созидательной деятельности разума. В естествознании, социально-гуманитарных и инженерно—технических науках аксиоматический метод организации знания занимает подчиненное положение по сравнению с другими формами когнитивной организации. (См. доказательство, дедукция, теория, метод)…. смотреть

АКСИОМАТИЧЕСКИЙ МЕТОД

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

АКСИОМАТИЧЕСКИЙ МЕТОД

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

АКСИОМАТИЧЕСКИЙ МЕТОД

(греч. axioma значимое, принятое положение) способ построения теории , при котором некоторые истинные утверждения избираются в качестве исходных положений (аксиом), из которых затем логическим путем выводятся и доказываются остальные истинные утверждения (теоремы) этой теории. Научная значимость А.М. была обоснована еще Аристотелем, который первым разделил все множество истинных высказываний на основные (*принципы*) и требующие доказательства (*доказываемые*). В своем развитии А.М. прошел три этапа.
На первом этапе А.М. был содержательным, аксиомы принимались на основании их очевидности. Примером такого дедуктивного построения теории служат *Начала* Евклида. На втором этапе Д. Гильберт внес формальный критерий применения А.М. требование непротиворечивости, независимости и полноты системы аксиом. На третьем этапе А.М. становится формализованным. Соответственно, изменилось и понятие *аксиома*. Если на первом этапе развития А.М. она понималась не только как отправной пункт доказательств, но и как истинное положение, не нуждающееся в силу своей очевидности в доказательстве, то в настоящее время аксиома обосновывается в качестве необходимого элемента теории, когда подтверждение последней рассматривается одновременно как подтверждение ее аксиоматических оснований как исходного пункта построения. Помимо основных и вводимых утверждений в А.М. стал выделяться также уровень специальных правил вывода. Таким образом наравне с аксиомами и теоремами как множеством всех истинных утверждений данной теории формулируются аксиомы и теоремы для правил вывода метааксиомы и метатеоремы. Геделем в 1931 была доказана теорема о принципиальной неполноте любой формальной системы, ибо в ней содержатся неразрешимые предложения, которые одновременно недоказуемы и неопровержимы. Учитывая накладываемые на него ограничения, А.М. рассматривается как один из основных методов построения развитой формализованной (а не только содержательной) теории наряду с гипотетико-дедуктивным методом (который иногда трактуется как *полуаксиоматический*) и методом математической гипотезы. Гипотетико-дедуктивный метод, в отличие от А.М., предполагает построение иерархии гипотез , в которой более слабые гипотезы выводятся из более сильных в рамках единой дедуктивной системы, где сила гипотезы увеличивается по мере удаления от эмпирического базиса науки. Это позволяет ослабить силу ограничений А.М.: преодолеть замкнутость аксиоматической системы за счет возможности введения дополнительных гипотез, жестко не связанных исходными положениями теории; вводить абстрактные объекты разных уровней организации реальности, т.е. снять ограничение на справедливость аксиоматики *во всех мирах*; снять требование равноправности аксиом. С другой стороны, А.М., в отличие от метода математической гипотезы, акцентирующего внимание на самих правилах построения математических гипотез, относящихся к неисследованным явлениям, позволяет апеллировать к определенным содержательным предметным областям.
В.Л. Абушенко… смотреть

АКСИОМАТИЧЕСКИЙ МЕТОД

АКСИОМАТИЧЕСКИЙ МЕТОД, способ построения научной теории в виде системы аксиом (постулатов) и правил вывода (аксиоматики), позволяющих путем логической дедукции получать утверждения (теоремы) данной теории.<br><br><br>… смотреть

АКСИОМАТИЧЕСКИЙ МЕТОД

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

АКСИОМАТИЧЕСКИЙ МЕТОД

Способ исследования, состоящий в том, что множество элементов или объектов разбивается на части (подмножества). Одна часть рассматривается как исходные… смотреть

АКСИОМАТИЧЕСКИЙ МЕТОД

        АКСИОМАТИЧЕСКИЙ МЕТОД (от греч. axioma) — принятое положение — способ построения научной теории, при котором в доказательствах пользуются лишь … смотреть

АКСИОМАТИЧЕСКИЙ МЕТОД

АКСИОМАТИЧЕСКИЙ МЕТОД (греч. axioma — значимое, принятое положение) — способ построения теории, при котором некоторые истинные утверждения избираются в… смотреть

АКСИОМАТИЧЕСКИЙ МЕТОД

АКСИОМАТИЧЕСКИЙ МЕТОД
        способ построения науч. теории, при котором в её основу кладутся некоторые исходные положения (суждения) — аксиомы, ил… смотреть

АКСИОМАТИЧЕСКИЙ МЕТОД

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

АКСИОМАТИЧЕСКИЙ МЕТОД

АКСИОМАТИЧЕСКИЙ МЕТОД — способ построения научной теории в виде системы аксиом (постулатов) и правил вывода (аксиоматики), позволяющих путем логической дедукции получать утверждения (теоремы) данной теории.<br>… смотреть

АКСИОМАТИЧЕСКИЙ МЕТОД

АКСИОМАТИЧЕСКИЙ МЕТОД, способ построения научной теории, при котором в основу теории кладутся некоторые исходные положения, называемые аксиомами, а все остальные положения теории (вспомогательные — леммы и ключевые теоремы) получаются как логические следствия аксиом. Первым примером применения аксиоматического метода явились «Начала» Евклида (около 300 до нашей эры). <br>… смотреть

АКСИОМАТИЧЕСКИЙ МЕТОД

АКСИОМАТИЧЕСКИЙ МЕТОД, способ построения научной теории в виде системы аксиом (постулатов) и правил вывода (аксиоматики), позволяющих путем логической дедукции получать утверждения (теоремы) данной теории…. смотреть

АКСИОМАТИЧЕСКИЙ МЕТОД

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

АКСИОМАТИЧЕСКИЙ МЕТОД

метод построения научной теории как системы аксиом (постулатов) и правил вывода (аксиоматики), позволяющих путем логической дедукции получать утверждения (теоремы) данной теории.
Начала современного естествознания. Тезаурус. — Ростов-на-Дону.В.Н. Савченко, В.П. Смагин.2006…. смотреть

АКСИОМАТИЧЕСКИЙ МЕТОД

— способ построения научной теории, при к-ром в основу теории кладутся нек-рые исходные положения, наз. аксиомами теории, а все остальные предложения … смотреть

АКСИОМАТИЧЕСКИЙ МЕТОД

АКСИОМАТИЧЕСКИЙ МЕТОД, метод математических рассуждений, основанный на логическом выводе из некоторых утверждений (аксиом). Этот метод является одной и… смотреть

АКСИОМАТИЧЕСКИЙ МЕТОД

        способ построения научной теории, при котором в её основу кладутся некоторые исходные положения (суждения) — аксиомы (См. Аксиома), или Постула… смотреть

АКСИОМАТИЧЕСКИЙ МЕТОД

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

АКСИОМАТИЧЕСКИЙ МЕТОД

АКСИОМАТИЧЕСКИЙ МЕТОД , способ построения научной теории в виде системы аксиом (постулатов) и правил вывода (аксиоматики), позволяющих путем логической дедукции получать утверждения (теоремы) данной теории…. смотреть

АКСИОМАТИЧЕСКИЙ МЕТОД

АКСИОМАТИЧЕСКИЙ МЕТОД, способ построения научной теории в виде системы аксиом (постулатов) и правил вывода (аксиоматики), позволяющих путем логической дедукции получать утверждения (теоремы) данной теории.<br><br><br>… смотреть

синонимы
Аксиоматический

Поделитесь ссылкой, эта страница уже просматривалась 33 раз.

8 неправильное написание

Все синонимы в одной строке

аксиоматичный, очевидный, самоочевидный, явный, заведомый, ru.synonym.one.

Понравился сайт?

Этот поиск занял 0.0063 сек. Подумайте, как часто вы ищете, чем заменить слово? Наверное, часто. Добавьте в закладки synonym.one, чтобы быстро находить синонимы, антонимы и значения. (нажмите Ctrl + D на клавиатуре).