Распространение (интуитивизм) Определение и свойства функции распространения Функция распространения определяет множество допустимых последовательностей. Функция должна быть монотонной и удовлетворять определенным […]
Конструктивный анализ Определение вещественных чисел Вещественные числа — это упорядоченное поле с операциями сложения и умножения. Они включают рациональные числа
Интуиционистская теория типов Основы теории типов Теория типов — это формализм для описания структуры и свойств математических объектов. Она была
Интуиционистская теория типов Основы теории типов Теория типов — это формализм для описания структуры и свойств математических объектов. Она была
Формула Харропа Определение формул Харропа Атомарные формулы являются Харропом, включая ложь. Формула A ∧ B {\displaystyle A\wedge B} является Харропом,
Диалектическая интерпретация Основы диалектической интерпретации Диалектическая интерпретация — это метод перевода формул интуиционистской логики в арифметику Геделя. Арифметика Геделя —
Дирк ван Дален Биография Дирка ван Далена Голландский математик и историк науки, родился в Амстердаме в 1932 году. Изучал математику,
Захватывающая арифметика Основы конструктивной математики Конструктивная математика отличается от классической тем, что она основана на конструкциях, а не на доказательствах.
Аренд Хейтинг Биография и вклад в математику Аренд Хейтинг — голландский математик и логик, родился в 1898 году и умер
Майкл Даммет Биография и карьера Майкла Дамметта Родился в 1925 году в Лондоне, получил образование в Кембридже и Оксфорде. Работал
Любопытная семантика Пытливая семантика является основой логики и семантики естественного языка. Она обеспечивает основу для лингвистического анализа утверждений и вопросов.
Перевод с двойным отрицанием Интуиционистская логика использует отрицания, отличные от классической логики. Перевод формул с двойным отрицанием используется в интуиционистской
Конструктивный анализ Вещественные числа являются упорядоченным полем с аксиомами полноты и локализации. Отношение «≥» может быть определено или доказано эквивалентным
Анри Лебег Анри Леон Лебег — французский математик, внесший значительный вклад в математический анализ и теорию меры. Лебег разработал интеграл
Л. Э. Джей Брауэр Люитцен Эгбертус Ян Брауэр — голландский математик, основатель интуиционизма. Брауэр был воинственным человеком, независимым, блестящим умом
Интуитивизм Статья представляет собой список книг и статей, связанных с математикой и логикой. В статье обсуждаются различные авторы и их
Леопольд Кронекер Леопольд Кронекер был немецким математиком, профессором и членом Берлинской академии. Он занимался теорией чисел и алгеброй, сформулировал теорему
Стивен Коул Клини Стивен Коул Клини — американский математик и логик, внесший значительный вклад в информатику. Он был деканом Колледжа
Интуиционистская теория типов Теория типов — это математическая теория, которая изучает типы и отношения между ними. Теория типов имеет множество
Конструктивная теория множеств Метатеоретические свойства теории могут быть нарушены добавлением новых аксиом. Церковный тезис является метатеоретическим свойством, которое может быть
Интуитивистская логика Интуиционистская логика основана на принципе исключенного третьего и избегает неконструктивных доказательств. Интуиционистская логика является более консервативной, чем классическая
