В работах сборника рассматриваются проблемы основании математики, находящиеся на стыке логики и философии математики. В основу анализа проблем теории множеств и теории алгоритмов, связанных с использованием диагонального метода Г. Кантора, положено не проводившееся ранее строгое разграничение внешнего и внутреннего отрицания в традиционной формальной логике. (Подробнее)
