Constructivism (mathematics)

Вики

Отношения раздельности

/

Отношение обособленности Полный текст статьи: Отношения раздельности — Википедия Похожие статьи: Отношения попарности Отношение обособленности Отношение обособленности является конструктивной формой […]

Вики

Хейтинг Филд

/

Питающее поле Поле Хейтинга — неэквивалентный способ передачи классического понятия поля в конструктивной математике.  Коммутативное кольцо является полем Хейтинга, если

Вики

Алгебра Гейтинга

/

Алгебра Хейтинга Алгебры Хейтинга — это полные решетки с операциями ∧, ∨, ¬, → и константами 0 и 1.  Логический

Вики

Последовательность выбора

/

Последовательность выбора Последовательность выбора — это конструкция, а не абстрактный объект.  Различаются законоподобные и беззаконные последовательности.  Законоподобная последовательность полностью конструктивно

Вики

Конструктивный анализ

/

Конструктивный анализ Вещественные числа являются упорядоченным полем с аксиомами полноты и локализации.  Отношение «≥» может быть определено или доказано эквивалентным

Вики

Вычислительный анализ

/

Вычислимый анализ Вычислимый анализ — раздел математики, изучающий вычислимость функций и множеств.  Вычислимые функции представлены в виде программ на машине

Вики

Интуиционизм

/

Интуитивизм Статья представляет собой список книг и статей, связанных с математикой и логикой.  В статье обсуждаются различные авторы и их

Вики

Отношения попарности

/

Отношение обособленности Отношение обособленности является конструктивной формой неравенства и считается более фундаментальным, чем равенство.  Отношение обособленности записывается как # и

Вики

Конструктивное доказательство

/

Конструктивное доказательство Неконструктивные доказательства не строят примеры, а предоставляют ряд возможностей и показывают, что одна из них должна привести к

Вики

Построение действительных чисел

/

Построение действительных чисел Вещественные числа являются классом эквивалентности последовательностей Коши.  Построение вещественных чисел с помощью разрезов Дедекинда основано на дедекиндовых

Вики

Примитивная рекурсивная арифметика

/

Примитивная рекурсивная арифметика Примитивная рекурсивная арифметика (PRA) — формализация арифметики первого порядка без аксиом индукции.  PRA заменяет аксиоматическую схему индукции

Вики

Жилой комплекс

/

Обитаемый комплекс Конструктивная логика отличается от классической логики, включая исключение исключенного третьего.  Конструктивная логика не может доказать все утверждения, которые

Вики

Конструктивная теория множеств

/

Конструктивная теория множеств Метатеоретические свойства теории могут быть нарушены добавлением новых аксиом.  Церковный тезис является метатеоретическим свойством, которое может быть

Вики

Интуиционистская логика

/

Интуитивистская логика Интуиционистская логика основана на принципе исключенного третьего и избегает неконструктивных доказательств.  Интуиционистская логика является более консервативной, чем классическая

Прокрутить вверх