КНИГИ НА РУССКОМ ЯЗЫКЕ


 
Обложка Зайцев Е.А. Традиционная логика и канторовская диагональная процедура
Id: 621
 
199 руб.

Традиционная логика и канторовская диагональная процедура.

1997. 32 с. Мягкая обложка. ISBN 5-88929-048-7. Букинист. .

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