Электронные ресурсы

Базы данных


Статьи из журналов: 2001-2014 - результаты поиска

Вид поиска
Электронный каталог
Статьи из журналов: 2001-2014
Труды ОмГУ
История ОмГУ
Сводный каталог периодических изданий вузовских библиотек г.Омска
Область поиска
в найденном
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: (<.>K=правила противоречия<.>)
Общее количество найденных документов : 1
1.
510.6
Д 151

    Дален, Д. ван
    Колмогоров и Брауэр о конструктивной импликации и правило противоречия [Текст] : [перевод] / Д. ван Дален // Успехи математических наук. - 2004. - Т. 59, N 2. - Библиогр.: с. 63-64 (35 назв. ). - Брауэр и гипотетическое суждениеПринятие правила противоречия . - ISSN 0042-1316
УДК
510.6
ББК 22.12
Рубрики: Математика--Математическая логика
Кл.слова (ненормированные):
интуиционистская логика -- импликации -- гипотетические суждения -- принципы Брауэра -- Брауэра принципы -- принципы противоречия -- интерпретации импликаций -- правила противоречия -- принцип Гейтинга -- Гейтинга принцип
Аннотация: Анализируется роль импликации и отрицания в принципе противоречия в трудах Брауэра, Колмогорова и Гейтинга. Утверждается, что точка зрения Брауэра 1907 года слишком жестка для создания удовлетворительной логики в своем чтении импликации. Сравниваются перечисленные выше взгляды и дается заключение, что проблема интерпретации доказательств, будучи правильно понятыми, допускают полную интуиционистскую логику.


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