Барная индукция
Индукция стержня Определение и примеры линейчатой индукции Линейчатая индукция — это метод доказательства, основанный на предположении, что все элементы последовательности […]
Вики
Constructivism (mathematics)
Вики
Псевдоордер
Псевдопорядок Определение и свойства псевдопорядка Псевдопорядок — это отношение, которое удовлетворяет аксиомам линейного порядка, за исключением транзитивности. Псевдопорядок может быть
Вики
Отношения попарности — Википедия
Отношение обособленности Определение отношения обособленности Отношение обособленности — это симметричное нерефлексивное бинарное отношение, которое удовлетворяет условию, что если два элемента
Вики
Неразложимость (интуиционистская логика)
Неразложимость (интуиционистская логика) Принцип неразложимости в анализе В интуиционистском анализе и вычислительном анализе континуум не может быть разделен на две
Вики
Схема аксиом предикативного разделения
Аксиоматическая схема предикативного разделения Определение аксиомы Δ0 Аксиома Δ0 является ограничением схемы аксиом Цермело-Френкеля, известной как схема полного разделения. Она
Вики
Ультрафинитизм
Ультрафинитизм Определение и основные идеи ультрафинитизма Ультрафинитизм — форма финитизма и интуитивизма, отвергающая теоретико-числовые функции, такие как возведение в степень.
Вики
Конструктивный анализ
Конструктивный анализ Определение вещественных чисел Вещественные числа — это упорядоченное поле с операциями сложения и умножения. Они включают рациональные числа
Вики
Интуиционистская теория типов
Интуиционистская теория типов Основы теории типов Теория типов — это формализм для описания структуры и свойств математических объектов. Она была
Вики
Интуиционистская теория типов
Интуиционистская теория типов Основы теории типов Теория типов — это формализм для описания структуры и свойств математических объектов. Она была
Вики
Ультрафинитизм
Ультрафинитизм Определение и основные идеи ультрафинитизма Ультрафинитизм — форма финитизма и интуитивизма, отвергающая теоретико-числовые функции, такие как возведение в степень.
Вики
Формула Харропа
Формула Харропа Определение формул Харропа Атомарные формулы являются Харропом, включая ложь. Формула A ∧ B {\displaystyle A\wedge B} является Харропом,
Вики
Ограниченный принцип всеведения
Ограниченный принцип всеведения Ограниченный принцип всеведения Ограниченный принцип всеведения (LLPO) утверждает, что для любой последовательности чисел существует хотя бы одно
Вики
Минимальная логика
Минимальная логика Основы минимальной логики Минимальная логика — это система, которая включает только логические связки Она является подсистемой интуиционистской логики
Вики
Свойства дизъюнкции и существования
Свойства дизъюнкции и существования Основные свойства интуиционистской логики Интуиционистская логика не имеет закона исключенного третьего. Интуиционистская логика имеет свойство исключенного
Вики
Реализуемость
Реализуемость Определение реализуемости Реализуемость — это метод, который позволяет определить, является ли формула доказуемой в интуиционистской логике. Формула считается доказуемой,
Вики
Интерпретация Брауэра–Хейтинга–Колмогорова
Интерпретация Брауэра–Хейтинга–Колмогорова Интерпретация BHK Интерпретация BHK — это формализация интуиционистской логики, разработанная Брауэром и Хеинрихом. Она основана на интуиционистской логике
Вики
Теорема Диаконеску
Теорема Дьяконеску Основы конструктивного анализа Конструктивный анализ — это математическая теория, которая использует конструктивные методы для доказательства теорем. Конструктивные методы
Вики
Гейтинговая арифметика
Захватывающая арифметика Основы конструктивной математики Конструктивная математика отличается от классической тем, что она основана на конструкциях, а не на доказательствах.