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

Базы данных


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

Вид поиска

Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: (<.>K=формально-логическая непротиворечивость<.>)
Общее количество найденных документов : 1
1.


    Лобовиков, Владимир Олегович.
    Логико-философское обоснование гипотезы о формально-этической противоречивости формальной арифметики, исследованной К. Геделем [Текст] / В. О. Лобовиков // Известия Уральского государственного университета. Сер. 3, Общественные науки. - 2011. - N 1 (88). - С. 14-28. - Библиогр.: с. 27-28 (17 назв. ) . - ISSN 0131-2227
УДК
ББК 87.22 + 87.21 + 22.12
Рубрики: Философия
   Теория познания

   Метафизика. Онтология

   Математика

   Математическая логика

Кл.слова (ненормированные):
философия математики -- этика математики -- формально-логическая непротиворечивость -- формально-этическая противоречивость -- аналитическая философия
Аннотация: Статья посвящена формально-этическому аспекту философии математики. Автор выносит на обсуждение результаты исследования отношений между формально-логической непротиворечивостью и формально-этической противоречивостью.


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

Найти похожие

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