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

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

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

• Сегодня, как и на протяжении всей истории и философии науки, актуальны научно-теоретические методы аксиоматизации, интерпретации, гипотетико-дедуктивный.
  Алексей Передельский, Физическая культура и спорт в отражении философских и социологических наук. Социология спорта, 2016
• Но сейчас отвлечёмся от этих моментов (как и от собственной валидности отдельных пунктов аксиоматизации конкретной системы – в смысле ли догматов или более слабых допущений в рамках анализа «при прочих равных», довольно рутинно перерастающего в обронзовелую догматику).
  Артур Шевененов, Резидуаль
• Коль скоро всякая аксиоматизация чревата наличием формул-положений недоказуемых и неопровержимых, или из коих может следовать что угодно (признаваемы истинными/ложными в рамках собственных положений-конвенций), уж не берёмся здесь судить, сводимы ли подобные недедуцируемые изнутри к кантовым «вещам-в-себе» (именую таковые ansein), – не то же ли переносимо на самый научный метод позитивизма, изнутри себя порождающий не только обобщения ошибок обоих типов, но и угрозу себе, или же необходимость перехода к чему-то более полному?
  Артур Викторович Шевененов, Истопись. Eistopeis
• (все предложения)

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

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

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