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

Базы данных


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

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

    Бессонов, Александр Владимирович (доктор философских наук; профессор; ведущий научный сотрудник).
    Аналог теоремы Гёделя о неполноте арифметики с использованием предиката опровержимости [] / А. В. Бессонов // Сибирский философский журнал. - 2018. - Т. 16, № 4. - С. 58-68. - Библиогр.: с. 65-68. - Новосибирская государственная областная научная библиотека. - code, vnfi. - year, 2018. - to, 16. - no, 4. - ss, 58. - ad, 1. - d, 2018, , 0, y. - RUMARS-vnfi18_to16_no4_ss58_ad1 . - ISSN 2541-7517
УДК
^a1
ББК 87.25
Рубрики: Философия
   Философия науки
Кл.слова (ненормированные):
Гёделя теоремы -- Дедекинда - Пеано арифметика -- австрийские математики -- арифметика Дедекинда - Пеано -- математическая философия -- математические формулы -- предикаты доказуемости -- предикаты опровержимости -- теоремы Гёделя -- теоремы о неполноте -- философия математики -- формальная арифметика
Аннотация: Рассматриваются теоремы австрийского математика Курта Гёделя о неполноте применительно к формальной арифметике Дедекинда - Пеано. С использованием предиката опровержимости строится формула, формально выражающая свою неопровержимость, и доказывается ее неразрешимость.


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

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

    Бессонов, Александр Владимирович (доктор философских наук; профессор; ведущий научный сотрудник).
    Аналог теоремы Гёделя о неполноте арифметики с использованием предиката опровержимости [] / А. В. Бессонов // Сибирский философский журнал. - 2018. - Т. 16, № 4. - С. 58-68. - Библиогр.: с. 65-68. - Новосибирская государственная областная научная библиотека. - code, vnfi. - year, 2018. - to, 16. - no, 4. - ss, 58. - ad, 1. - d, 2018, , 0, y. - RUMARS-vnfi18_to16_no4_ss58_ad1 . - ISSN 2541-7517
УДК
^a1
ББК 87.25
Рубрики: Философия
   Философия науки
Кл.слова (ненормированные):
Гёделя теоремы -- Дедекинда - Пеано арифметика -- австрийские математики -- арифметика Дедекинда - Пеано -- математическая философия -- математические формулы -- предикаты доказуемости -- предикаты опровержимости -- теоремы Гёделя -- теоремы о неполноте -- философия математики -- формальная арифметика
Аннотация: Рассматриваются теоремы австрийского математика Курта Гёделя о неполноте применительно к формальной арифметике Дедекинда - Пеано. С использованием предиката опровержимости строится формула, формально выражающая свою неопровержимость, и доказывается ее неразрешимость.


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

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