Список статей по математической логике

Список статей по математической логике

Эта статья является списком статей по математической логике.

Для традиционной силлогической логики смотрите список статей по логике. Смотрите также список статей по вычислимости и сложности для дальнейшего изучения теории алгоритмов.

Содержание

Основы

Теория моделей

Теория множеств

Описательная теория множеств

  • Аналитическое множество
  • Аналитическая иерархия
  • Отношение борелевской эквивалентности
  • Бесконечное борелевское множество
  • Свойство совершенности множества
  • Польское пространство
  • Предупорядочение
  • Проективное множество
  • Свойство Бэйра
  • Униформизация (теория множеств)
  • Универсально измеримое множество

Мощность множества

  • Почти рамсеевский кардинал
  • Кардинал Эрдёша
  • Расширяемый кардинал
  • Гигантский кардинал
  • Сверх-вудиновский кардинал
  • Недоступный кардинал
  • Невыразимый кардинал
  • Кардинал Махло
  • Измеримый кардинал
  • N-гигантский кардинал
  • Кардинал Рамсея
  • Ранг-в-ранге
  • Замечательный кардинал
  • Кардинал Шелаха
  • Сильный кардинал
  • Сильно недоступный кардинал
  • Тонкий кардинал
  • Сверхкомпактный кардинал
  • Сверхсильный кардинал
  • Полностью неописуемый кардинал
  • Слабо компактный кардинал
  • Слабо сверх-вудиновский кардинал
  • Слабо недоступный кардинал
  • Кардинал Вудина
  • Несворачиваемый кардинал

Теория рекурсии

Теория доказательств

  • Метаматематика
  • Теорема об уничтожении вырезанием
  • Теорема Тарского о неопределяемости
  • Диагональная лемма
  • Логика доказательности
  • Логика интерпретируемости
  • Секвент
  • Секвентное исчисление
  • Аналитическое доказательство
  • Теория структурного доказательства
  • Самоверифицируемые теории
  • Субструктуральный логики
    • Структурально правило
      • Ослабление
      • Стяжение
    • Линейная логика
      • Интуиционистская линейная логика
      • Сеть доказательства
    • Аффинная логика
    • Строгая логика
    • Релевантная логика
  • Доказательно-теоретическая семантика
  • Людика
  • F-система
  • Герхард Гентцен
  • Доказательство непротиворечивости Гентцена
  • Обратная математика
  • Непервоупорядоченность
  • Интерпретируемость
  • Слабая интерпретируемость
  • Соинтерпретируемость
  • Толерантная последовательность
  • Сотолерантная последовательность

Математический конструктивизм

Модальная логика

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

  • Заключение первого порядка
  • Автоматическое доказательство теорем
  • Доказатель теорем ACL2
  • Доказатель теорем Agda
  • Доказатель теорем E
  • Доказатель теорем Gandalf
  • Доказатель теорем HOL
  • Доказатель теорем Isabelle
  • Доказатель теорем LCF
  • Доказатель теорем Otter
  • Доказатель теорем Paradox
  • Доказатель теорем Vampire
  • Интерактивная система доказательств
  • Система Mizar
  • Проект QED
  • Coq

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

  • Autoclass
  • Automated Mathematician
  • Eurisko

История

  • Begriffsschrift

См. также


Wikimedia Foundation. 2010.

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

  • Список парадоксов — …   Википедия

  • ЛОГИКА В РОССИИ — эволюция современной (математической) логики в России. Кон. 19 в. и нач. 20 в. знаменуют выход логики за рамки силлогистики и появление логиков новаторов, таких как П.С. Порецкий, М.В. Каринский, Л.В. Рутковский, СИ. Поварнин, и др. Казанский… …   Философская энциклопедия

  • Колмогоров, Андрей Николаевич — В Википедии есть статьи о других людях с такой фамилией, см. Колмогоров. Андрей Николаевич Колмогоров …   Википедия

  • Колмогоров — Колмогоров, Андрей Николаевич Андрей Николаевич Колмогоров Дата рождения: 12 (25) апреля 1903(1903 04 25) …   Википедия

  • А. Н. Колмогоров — Андрей Николаевич Колмогоров Дата рождения: 12 (25) апреля 1903 года Место рождения: Тамбов, Российская империя Дата смерти …   Википедия

  • Колмогоров, Андрей — Андрей Николаевич Колмогоров Дата рождения: 12 (25) апреля 1903 года Место рождения: Тамбов, Российская империя Дата смерти …   Википедия

  • Колмогоров А. — Андрей Николаевич Колмогоров Дата рождения: 12 (25) апреля 1903 года Место рождения: Тамбов, Российская империя Дата смерти …   Википедия

  • Колмогоров А. Н. — Андрей Николаевич Колмогоров Дата рождения: 12 (25) апреля 1903 года Место рождения: Тамбов, Российская империя Дата смерти …   Википедия

  • Колмогоров Андрей Николаевич — Андрей Николаевич Колмогоров Дата рождения: 12 (25) апреля 1903 года Место рождения: Тамбов, Российская империя Дата смерти …   Википедия

  • Новиков, Сергей Петрович (математик) — В Википедии есть статьи о других людях с такими же именем, отчеством и фамилией: Новиков, Сергей Петрович. Сергей Петрович Новиков Дата рождения: 20 марта 1938(1938 03 20) (74 года) Место рождения: Горький, РСФСР, СССР …   Википедия

Книги

Другие книги по запросу «Список статей по математической логике» >>


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»