Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


- результаты поиска

Вид поиска
Книги фонда НБ СГЮА
Дипломные работы выпускников СГЮА за последние 5 лет
Авторефераты
Диссертации
Период.издания науч.абонемента
Редкие книги Научной библиотеки СГЮА
Каталог электронных носителей
Труды ученых СГЮА
Саратовский край
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: (<.>K=аксиоматическое решение<.>)
Общее количество найденных документов : 1
1.


    Егорычев, Илья Эдуардович (кандидат философских наук).
    Вынуждение как истинностная процедура [Текст] / И. Э. Егорычев // Вестник Санкт-Петербургского университета. Сер. 6, Философия, культурология, политология, право, международные отношения. - 2013. - Вып. 4. - С. 12-20 . - ISSN 1995-0055
УДК
^a167
ББК 87.46
Рубрики: Логика
   Логическое учение о методе
Кл.слова (ненормированные):
аксиоматическое решение -- истина -- континуум-гипотеза -- онтология -- субъект -- теория доказательств -- теория множеств -- форсинг
Аннотация: В статье обосновывается идея того, что метод форсинга, открытый американским математиком Полом Коэном, не только стал чрезвычайно эффективной логической техникой и широко применяется в теории доказательств, но имеет еще и сугубо онтологические следствия. Несмотря на то, что все истины производятся Субъектом, они остаются при этом истинами мира.


Доп.точки доступа:
Коэн, П. Дж. (математик ; 1934-2007)
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)