Проект:Математика/Списки/Список статей по математической логике
< Проект:Математика | Списки
(перенаправлено с «Проект:Логика/Списки/Список статей по математической логике») | Это служебный список статей, созданный для координации работ по развитию темы. |
Эта статья является списком статей по математической логике.
Для традиционной силлогической логики смотрите Проект:Логика/Списки/Список статей по логике.
Основы[править код]
- Аксиомы Пеано
- Математическая индукция
- Наивная теория множеств
- Универсум (математика)
- Аксиоматизация
- Аксиоматическая система
- Аксиоматический метод
- Формальная система
- Математическое доказательство
- Тавтология
- Доказательство непротиворечивости
- Арифметизация анализа
- Основания математики
- Формальный язык
- Principia Mathematica
- Программа Гильберта
- Самоссылающийся
- Определяемое вещественное число
- Алгебраическая логика
- Метод Кантора
- Функциональный предикат, монадический
- Исчисление предикатов первого порядка
- Алгебра Линденбаума-Тарского
- Т-схема
- Максимальное непротиворечивое множество
- Теорема компактности
- Теорема Лёвенгейма — Скулема
- Теорема правильности
- Теорема Гёделя о полноте
- Теорема Тарского о невыразимости истины
- Лемма о дедукции
- Элементарное вложение
- Элементарная подструктура
- Теорема Лёба
- Теорема Гёделя о неполноте
- Ультрапроизведение
- Насыщенная модель
- Нестандартная модель
- Нестандартная арифметика
- Нестандартное исчисление
- Нестандартный анализ
- Логика первого порядка
- Логика второго порядка
- Логика высшего порядка
- Бесконечностная логика
- Теория конечных моделей
- Арифметика первого порядка
- Арифметика второго порядка
- Арифметическое множество
- Проблема Уайтхеда
- Группы Томпсона
- Алгебра множеств
- Аксиома выбора
- Булева алгебра (структура)
- Модель булевых значений
- Парадокс Бурали-Форти
- Метод Кантора
- Аргумент Кантора
- Первое доказательство Кантора о несчётности
- Теорема Кантора
- Теорема Кантора-Бернштейна-Шрёдера
- Кардинальность
- Картезианское произведение
- Класс (теория множеств)
- Дополнение (теория множеств)
- Полная булева алгебра
- Континуум (математика)
- Гипотеза континуума
- Счётное множество
- Описательная теория множеств
- Определённость
- Пустое множество
- Форсирование (математика)
- Внутренняя теория множеств
- Пересечение (теория множеств)
- Постраиваемый универсум
- L(R)
- Свойство больших кардиналов
- Порядковое число
- Булеан
- Парадокс Рассела
- Теория множеств
- Множество
- Простые теоремы в алгебре множеств
- Подмножество
- Θ (теория множеств)
- Дерево (описательная теория множеств)
- Дерево (теория множеств)
- Объединение (теория множеств)
- Универсум фон Неймана
- Ноль с решёткой
- Аналитическое множество
- Аналитическая иерархия
- Отношение борелевской эквивалентности
- Бесконечное борелевское множество
- Свойство совершенности множества
- Польское пространство
- Предпорядок
- Проективное множество
- Свойство Бэра
- Униформизация (теория множеств)
- Универсально измеримое множество
- Почти рамсеевский кардинал
- Кардинал Эрдёша
- Расширяемый кардинал
- Гигантский кардинал
- Сверх-вудиновский кардинал
- Недостижимый кардинал
- Невыразимый кардинал
- Кардинал Мало
- Измеримый кардинал
- N-гигантский кардинал
- Кардинал Рамсея
- Ранг-в-ранге
- Замечательный кардинал
- Кардинал Шелаха
- Сильный кардинал
- Сильно недостижимый кардинал
- Тонкий кардинал
- Сверхкомпактный кардинал
- Сверхсильный кардинал
- Полностью неописуемый кардинал
- Слабо компактный кардинал
- Слабо сверх-вудиновский кардинал
- Слабо недоступный кардинал
- Кардинал Вудина
- Несворачиваемый кардинал
- Entscheidungsproblem (Проблема разрешения)
- Теорема Чёрча — Тьюринга
- Разрешимость (логика)
- Алгоритмически неразрешимая задача
- Тезис Чёрча — Тьюринга
- Рекурсивная функция
- Теорема Клини о рекурсии
- Рекурсивно перечислимое множество
- Разрешимый язык
- Неразрешимый язык
- Теорема Райса
- Теорема Поста
- Тьюринговская степень
- Эффективный результаты в теории чисел
- Диофантово множество
- Теорема Матиясевича
- Проблема слов для групп
- Арифметическая иерархия
- Теория подрекурсии
- Натуральное доказательство
- Гипервычисление
- Алонзо Чёрч
- Эмиль Пост
- Алан Тьюринг
- Жак Эрбран
- Хаскелл Карри
- Стивен Коул Клини
- Определяемое вещественное число
- Метаматематика
- Теорема об уничтожении вырезанием
- Теорема Тарского о неопределяемости
- Диагональная лемма
- Логика доказательности
- Логика интерпретируемости
- Секвент
- Секвентное исчисление
- Аналитическое доказательство
- Теория структурного доказательства
- Самоверифицируемые теории
- Субструктуральный логики
- Доказательно-теоретическая семантика
- Людика
- F-система
- Герхард Гентцен
- Доказательство непротиворечивости Гентцена
- Обратная математика
- Непервоупорядоченность
- Интерпретируемость
- Слабая интерпретируемость
- Соинтерпретируемость
- Толерантная последовательность
- Сотолерантная последовательность
- Неконструктивное доказательство
- Теорема существования
- Интуиционистская логика
- Интуиционистская теория типов
- Теория типов
- Лямбда-исчисление
- Лямбда-исчисление на основе простых типов
- Типизированное лямбда-исчисление
- Изоморфизм Карри — Ховарда
- Исчисление конструкций
- Интуиционизм
- Конструктивистский анализ
- Лямбда-куб
- Cистема F
- LF (логика)
- Логика вычислимости
- Теория вычислимой меры
- Финитизм
- Ультраинтуиционизм
- Лёйтзен Эгберт Ян Брауэр
- Заключение первого порядка
- Автоматическое доказательство теорем
- Доказатель теорем ACL2
- Доказатель теорем Agda
- Доказатель теорем E
- Доказатель теорем Gandalf
- Доказатель теорем HOL
- Доказатель теорем Isabelle
- Доказатель теорем LCF
- Доказатель теорем Otter
- Доказатель теорем Paradox
- Доказатель теорем Vampire
- Интерактивная система доказательств
- Система Mizar
- Проект QED
- Coq