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

Базы данных


БД "Статьи" - результаты поиска

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


    Агацци, Эвадро.
    Влияние Геделя на философию математики [Текст] / Э. Агацци ; пер. с англ. Г. К. Ольховиков // Эпистемология и философия науки. - 2010. - N 3. - С. 16-41. . - Библиогр. в сносках
УДК
^a1
ББК 87.25
Рубрики: Философия
   Философия науки
Кл.слова (ненормированные):
Теорема Геделя -- Геделя теорема -- семантическая неполнота -- арифметика -- формализованная арифметика -- философия математики -- математическая логика -- логика
Аннотация: Статья рассматривает следствия из теоремы К. Геделя о семантической неполноте формализованной арифметики, имеющие общее значение для философии математики.


Доп.точки доступа:
Ольховиков, Григорий Константинович (канд. филос. наук, ассистент филос. фак-та Уральского гос. ун-та им. А. М. Горького) \.\; Гедель, К. (1906-1978)
Нет сведений об экземплярах (Источник в БД не найден)

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