В работах сборника рассматриваются проблемы оснований математики, находящиеся на стыке логики и философии математики. В основу анализа проблем теории множеств и теории алгоритмов, связанных с использованием диагонального метода Г.Кантора, положено не проводившееся ранее строгое разграничение внешнего и внутреннего отрицания в традиционной формальной логике. Это и многое другое вы найдете в книге Традиционная логика и канторовская диагональная процедура (Е. В. Балдин, С. Н. Бычков, Д. И. Виннер, Л. О. Шашкин)
Традиционная логика и канторовская диагональная процедура С. Н. Бычков, Е. В. Балдин, Д. И. Виннер, Л. О. Шашкин (книга)
Подробная информация о книге «Традиционная логика и канторовская диагональная процедура С. Н. Бычков, Е. В. Балдин, Д. И. Виннер, Л. О. Шашкин». Сайт не предоставляет возможности читать онлайн или скачать бесплатно книгу «Традиционная логика и канторовская диагональная процедура С. Н. Бычков, Е. В. Балдин, Д. И. Виннер, Л. О. Шашкин»
