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

Базы данных


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

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


    Лобовиков, Владимир Олегович.
    Метафизика Парменида с точки зрения двузначной алгебры формальной аксиологии и метафизические основания метатеоремы К. Геделя о недоказуемости непротиворечивости формальной арифметики в непротиворечивой формальной арифметике [Текст] / В. О. Лобовиков // Известия Уральского государственного университета. Сер. 3, Общественные науки. - 2011. - N 3 (94). - С. 13-27. - Библиогр.: с. 27 (13 назв. ) . - ISSN 0131-2227
УДК
^a11/12
^a165
^a16
ББК 87.21 + 87.22 + 87.4
Рубрики: Философия
   Метафизика. Онтология
   Теория познания
   Логика
   Общие вопросы логики
Кл.слова (ненормированные):
логика науки -- философия математики -- метаматематика -- формальная философия -- непротиворечивость формальной арифметики -- дискретные математические модели -- аксиология -- формальная аксиология -- формальная арифметика -- метатеорема Геделя -- Геделя метатеорема
Аннотация: Статья посвящена построению и изучению дискретных математических моделей: формально-аксиологического аспекта метафизики элеатов; формально-аксиологического аспекта философских оснований математики.

Нет сведений об экземплярах (Источник в БД не найден)

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