Категория : Математическая логика
Викискладе есть медиафайлы, связанные с математической логикой .
Математическая логика — это изучение формальной логики в математике. Исследования в области математической логики обычно обращаются к математическим свойствам формальных систем логики, таким как их выразительная или дедуктивная сила.
Математическая логика делится на четыре части:
- Теория моделей
- Теория доказательств
- Теория рекурсии , также известная как теория вычислимости.
- Теория множеств
Разделения между этими областями, а также различия между математической логикой и остальной математикой не совсем резкие: многие области исследований и методов частично совпадают и усиливают друг друга.
Подкатегории
Эта категория имеет следующие 34 подкатегории из 34.
*
А
Б
С
Ф
- Принуждение (математика) ( 23 П)
- Формальные теории арифметики ( 17 P)
ЧАС
я
- Результаты Независимости ( 21 П)
л
- Логическая истина ( 24 П)
М
- Журналы математической логики ( 6 П)
ТО
- Математически-логические организации ( 5 Б)
П
вопрос
- Квантор (логика) ( 20 П)
Р
С
- Замена (логика) ( 3 П)
Т
С
Страницы в категории «Математическая логика»
Следующие 197 страниц относятся к этой категории из 197 страниц. Этот список может не отражать недавние изменения .
А
Б
С
- Парадокс Кантора
- Декартовский моноид
- Категориальная теория
- Логика классов
- Классическая математика
- Согласованное пространство
- Коинтерпретируемость
- Теорема о компактности
- Полная теория
- Полнота (логика)
- Консервативное расширение
- Непрерывный предикат
- Противопоставление
- Обратное соотношение
- Подсчет
- Интерполяция Крейга
- Парадокс Карри
- Циклическое отрицание
Д
И
- Элементарное определение
- Элементарная эквивалентность
- Элементарная теория
- Конец расширения
- Проблема решения
- Перечисление
- Сводимость перечисления
- Равенство (математика)
- Эквациональная логика
- Эквисогласованность
- Расширитель (теория множеств)
- Расширение по определениям
- Расширение за счет новых имен констант и функций.
- Расширения логики первого порядка
Ф
Г
ЧАС
я
К
л
М
ТО
П
вопрос
Р
С
- С2С (математика)
- Насыщенная модель
- Свойство Шредера-Бернштейна
- Семантическая теория истины
- Семантика логики
- Полувычислимая функция
- Подпись (логика)
- Упрощение дизъюнктивных антецедентов
- Нарезка правды
- Теорема Солара
- Особый случай
- Список утверждений, независимых от ZFC
- Стратификация (математика)
- Сила (математическая логика)
- Структурная индукция
- Структурализм (философия математики)
- Структура (математическая логика)
- Субитизация
- Подструктура (математика)
- Функция-преемник
- Исчисление суперпозиции
- Сюрреалистический номер
- Словарь математических символов