Научная библиотека СГЮА

Главная

Упрощенный режим

Описание

Шлюз Z39.50

Базы данных

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

Вид поиска

Книги фонда НБ СГЮА

Дипломные работы выпускников СГЮА за последние 5 лет

Авторефераты

Диссертации

Период.издания науч.абонемента

Редкие книги Научной библиотеки СГЮА

Каталог электронных носителей

Труды ученых СГЮА

Саратовский край

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=формальная арифметика<.>)

Общее количество найденных документов : 3
Показаны документы с 1 по 3

Лобовиков, Владимир Олегович.
Метафизика Парменида с точки зрения двузначной алгебры формальной аксиологии и метафизические основания метатеоремы К. Геделя о недоказуемости непротиворечивости формальной арифметики в непротиворечивой формальной арифметике [Текст] / В. О. Лобовиков // Известия Уральского государственного университета. Сер. 3, Общественные науки. - 2011. - N 3 (94). - С. 13-27. - Библиогр.: с. 27 (13 назв. ) . - ISSN 0131-2227

УДК

^a11/12

^a165

^a16

ББК 87.21 + 87.22 + 87.4
Рубрики: Философия
   Метафизика. Онтология
   Теория познания
   Логика
   Общие вопросы логики
Кл.слова (ненормированные):
логика науки -- философия математики -- метаматематика -- формальная философия -- непротиворечивость формальной арифметики -- дискретные математические модели -- аксиология -- формальная аксиология -- формальная арифметика -- метатеорема Геделя -- Геделя метатеорема
Аннотация: Статья посвящена построению и изучению дискретных математических моделей: формально-аксиологического аспекта метафизики элеатов; формально-аксиологического аспекта философских оснований математики.

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

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

Целищев, В. В.
Является ли теорема Гудстейна геделевым предложением? [Текст] / В. В. Целищев, А. В. Бессонов // Философия науки. - 2017. - № 2. - С. 21-35. - Библиогр.: с. 33-35 (15 назв. ) . - ISSN 1560-7488

УДК

^a511

ББК 22.13
Рубрики: Математика
Теория чисел
Кл.слова (ненормированные):
Гудстейна теорема -- Исааксона тезис -- геделево предложение -- тезис Исааксона -- теорема Гудстейна -- формальная арифметика
Аннотация: Рассматривается вопрос, в какой степени теорема Гудстейна может считаться аналогом истинного, но недоказуемого геделевого предложения. Показано, что такая трактовка подводит к тезису Исааксона, согласно которому демонстрация истинности реальных математических аналогов геделева предложения в формальном языке арифметики использует концептуальные ресурсы, выходящие за пределы ресурсов, требуемых для понимания базисной арифметики конечных натуральных чисел. Правдоподобность тезиса оспаривается с точки зрения непостижимости арифметического содержания геделева предложения.

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

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

Бессонов, А. В.
Теорема Гёделя о неполноте арифметики и аксиома полноты [Текст] / А. В. Бессонов // Философия науки. - 2019. - № 2. - С. 25-34. - Библиогр.: с. 34 (11 назв. ) . - ISSN 1560-7488

УДК

^a511

ББК 22.13
Рубрики: Математика
Теория чисел
Кл.слова (ненормированные):
Гёделя теорема о неполноте -- Дедекинда - Пеано арифметика -- аксиома полноты -- арифметика -- арифметика Дедекинда - Пеано -- непротиворечивость -- неразрешимость -- предикат доказуемости -- предикат разрешимости -- теорема Гёделя о неполноте -- формальная арифметика
Аннотация: Теорема К. Гёделя о неполноте формальной арифметики Дедекинда - Пеано оценивается с точки зрения различных негёделевых средств формализации (не) доказуемости. Вводится предикат разрешимости, с использованием которого строится формула, формально выражающая полноту арифметики, и доказывается ее неразрешимость. Отсюда следует, что присоединение к формальной арифметике аксиомы ее полноты приводит к непротиворечивой системе, что в некотором смысле противоречит первой теореме Геделя о неполноте.

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

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

Тематический навигатор

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