Теории повторяющихся индуктивных определений Основы теории доказательств Теория доказательств изучает методы доказательства математических утверждений. В теории доказательств используются аксиомы и […]
Алгебраическая теория Определение алгебраической теории Алгебраическая теория использует аксиомы в терминах уравнений с переменными. Неравенства и количественные выражения запрещены. Сентенциальная
Декартов моноид Определение Декартова моноида Декартов моноид – это моноид с операторами сопряжения и проекции. Дана Скотт и Йоахим Ламбек
Игровая семантика Основы игровой семантики Игровая семантика – это подход к логике, основанный на играх, в которых игроки взаимодействуют и
Применение математики в теории множеств Основы теории множеств Теория множеств – это раздел математики, изучающий свойства множеств. Множество – это
О формально неразрешимых положениях математических принципов и связанных с ними системах Обзор статьи “О формально неразрешимых положениях…” Статья Геделя о
Теоремы Геделя о неполноте Теорема Геделя о неполноте Гедель показал, что любая эффективная система аксиом не может доказать свою собственную
Ипостасная абстракция Определение гипостазической абстракции Гипостазическая абстракция преобразует предикат в отношение, например, “Мед сладкий” в “Мед имеет сладость”. Связь создается
Упрощение дизъюнктивных предшествующих элементов Упрощение дизъюнктивных антецедентов (SDA) – явление в формальной семантике и философской логике. SDA – это явление,
Стратификация (математика) Полный текст статьи: Стратификация (математика) — Википедия Похожие статьи: Стратификация океана Оглавление1 Стратификация океана1.1 Стратификация океана1.2 Влияние изменения
Непредсказуемость В математике, логике и философии математики недоказуемое определение – это определение, ссылающееся на себя. Определение является непредикативным, если оно
Структурная индукция Структурная индукция – метод доказательства теорем, основанный на индукции по структурам. Структурная индукция эквивалентна принципу упорядоченности. Метод позволяет
Вывод о свободном выборе Свободный выбор в естественном языке связан с логической конъюнктивной интерпретацией лингвистической дизъюнкции. Исследования в формальной семантике
Семантика Крипке Семантика Крипке представляет собой формализм для изучения модальных логик. Крипке предложил использовать фреймы для описания моделей логики. Фреймы
Алгебраическая семантика (математическая логика) Алгебраическая семантика – формальная семантика, основанная на алгебрах в математической логике. Модальные логики характеризуются различными алгебрами
Краткое изложение логики Логика – наука о правильном мышлении и аргументации. Основные разделы логики: символическая логика, математическая логика, металогика и
Обратное отношение Отношение – это бинарное отношение между двумя множествами. Обратное отношение – это отношение, которое является противоположностью исходного отношения.
Противопоставление Противопоставление – это форма непосредственного вывода, при которой одно предложение выводится из другого. Противопоставление имеет философское применение, отличное от
Метаматематика Метаматематика – изучение математических методов и теорий, выходящих за рамки чистой математики. Готлоб Фреге ввел Begriffsschrift, формальную систему логики,
Рекурсивное определение Рекурсивное определение используется в математике и информатике для определения элементов в наборе в терминах других элементов. Примеры рекурсивно
