Значение слова «аксиоматизация»

Синонимы к слову «аксиоматизация»

Предложения со словом «аксиоматизация»

• Сегодня, как и на протяжении всей истории и философии науки, актуальны научно-теоретические методы аксиоматизации, интерпретации, гипотетико-дедуктивный.
  Алексей Передельский, Физическая культура и спорт в отражении философских и социологических наук. Социология спорта, 2016
• Основной метод математической логики – формальная аксиоматизация.
  И. Д. Афанасенко, Экономическая логистика. Учебник для вузов, 2013
• Проявлением методологического ригоризма в психологии являлась аксиоматизация многих положений и принципов науки, превращение их из проблем научного обсуждения и исследования в незыблемые и непреложные постулаты.
  В. А. Кольцова, Теоретико-методологические основы истории психологии, 2004
• (все предложения)

Понятия, связанные со словом «аксиоматизация»

• Конструктивная математика — абстрактная наука о конструктивных процессах, человеческой способности осуществлять их, и об их результатах — конструктивных объектах.
• Логика второго порядка в математической логике — формальная система, расширяющая логику первого порядка возможностью квантификации общности и существования не только над переменными, но и над предикатами. Логика второго порядка несводима к логике первого порядка. В свою очередь, она расширяется логикой высших порядков и теорией типов.
• Теория доказательств — это раздел математической логики, представляющий доказательства в виде формальных математических объектов, осуществляя их анализ с помощью математических методов. Доказательства обычно представляются в виде индуктивно определённых структур данных, таких как списки и деревья, созданных в соответствии с аксиомами и правилами вывода формальных систем. Таким образом, теория доказательств является синтаксической, в отличие от семантической теории моделей. Вместе с теорией моделей...
• Форма́льная систе́ма (форма́льная тео́рия, аксиоматическая теория, аксиоматика, дедуктивная система) — результат строгой формализации теории, предполагающей полную абстракцию от смысла слов используемого языка, причем все условия, регулирующие употребление этих слов в теории, явно высказаны посредством аксиом и правил, позволяющих вывести одну фразу из других.
• Аксио́мы Пеа́но — одна из систем аксиом для натуральных чисел, введённая в XIX веке итальянским математиком Джузеппе Пеано.
• (все понятия)

Отправить комментарий