Традиционная логика и канторовская диагональная процедура
 |
|
Содержание:
Традиционная логика и канторовская диагональная процедура
Описание:
В работах сборника рассматриваются проблемы оснований математики, находящиеся на стыке логики и философии математики. В основу анализа проблем теории множеств и теории алгоритмов, связанных с использованием диагонального метода Г.Кантора, положено не проводившееся ранее строгое разграничение внешнего и внутреннего отрицания в традиционной формальной логике.Похожие книги
 | Логика Автор: В. Ф. Асмус Год: 2010 |
 | Теория смысла и интенсиональная логика Автор: И. Б. Микиртумов Год: 2006 |
 | Опыт исследования значения логики Автор: Ш. Серрюс Год: 2002 |
 | Логика. Учебник Автор: В. Ф. Асмус Год: 2001 |
 | Письма о логике. Специально демократически-пролетарская логика Автор: И. Дицген Год: 2010 |
 | Логика для юристов Автор: А. Д. Гетманова Год: 2009 |