Какие главные достижения интуиционистской логики?

Некоторые главные достижения интуиционистской логики:

• Отсутствие закона исключённого третьего и ряда других законов классической логики. azbyka.ru Это позволяет тонко и точно исследовать вопрос о характере существования объектов, исследуемых в математике. azbyka.ru
• Независимость всех связок в интуиционистской логике. gtmarket.ru Более того, для доказательства утверждения достаточно пользоваться лишь формулами, не содержащими связок, отсутствующих в утверждении. gtmarket.ru
• Возможность служить основой для содержательных математических теорий. gtmarket.ru В интуиционистской логике интуитивная определимость совпадает с формальной. gtmarket.ru
• Интуиционистское понимание логических связок. azbyka.ru Из доказательства истинности высказывания всегда можно извлечь способ построения объектов, существование которых утверждается. azbyka.ru
• Особая роль в вопросах синтеза программ. logic.math.msu.ru Использование интуиционистской логики в математических построениях позволяет сделать явными их алгоритмические, вычислительные аспекты. logic.math.msu.ru

Пользователь

Время добавления