Конструктивная математика: различия между версиями

однако классический вывод дизъюнкции <math>(A\lor(\neg A))</math> не даёт никакого способа построить её верный член. Аналогичным образом, логическое опровержение предположения, что любой конструктивный объект рассматриваемого вида обладает некоторым свойством <math>T</math> — считающееся в теоретико-множественной математике достаточным основанием признать «существующим» объект со свойством <math>(\neg T)</math>, — не может само по себе служить поводом для признания объекта со свойством <math>(\neg T)</math> потенциально осуществимым. Следует заметить, однако, что за такого рода логическими опровержениями всё же признаётся определённая эвристическая ценность (так как они, хотя и не дают никакого способа построения искомого объекта, всё же указывают на осмысленность попыток такого построения). КонструктивныеНеконструктивные объекты, для которых удалось в рамках классической логики доказать их «существование», принято называть ''квазиосуществимыми''.