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

Базы данных


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

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


    Целищев, В. В.
    Минимализация следствий интенсивности в "наилучшей и самой общей версии" Второй теоремы Гёделя [Текст] / В. В. Целищев, А. В. Хлебалин // Философия науки. - 2019. - № 1. - С. 58-69. - Библиогр.: с. 69 (9 назв. ) . - ISSN 1560-7488
УДК
^a531
^a16
ББК 22.21 + 87.4
Рубрики: Механика
   Теоретическая механика в целом
   Логика
   Общие вопросы логики
Кл.слова (ненормированные):
Вторая теорема Гёделя -- Гёделя Вторая теорема -- непротиворечивость -- принцип рефлексии -- формальная система
Аннотация: Рассмотрен способ устранения следствий интенсиональности Второй теоремы Геделя о неполноте. Способ, предложенный самим Геделем, называется "наилучшей и самой общей версией" Второй теоремы.


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

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


    Целищев, В. В.
    О неявном интенсиональном прочтении Гёделем G2 [Текст] / В. В. Целищев, А. В. Хлебалин // Философия науки. - 2021. - № 3. - С. 76-86. - Библиогр.: с. 85-86 (9 назв. ) . - ISSN 1560-7488
УДК
^a531
^a16
ББК 22.21 + 87.4
Рубрики: Механика
   Теоретическая механика в целом
   Логика
   Общие вопросы логики
Кл.слова (ненормированные):
Вторая теорема Гёделя -- Гёделя Вторая теорема -- интенсиональной интерпретации G2 -- концепции непротиворечивости
Аннотация: Демонстрируется необоснованность упрощенного понимания значимости Второй теоремы о неполноте К. Гёделя как упускающего ее концептуальное содержание. Выявляется соотношение экстенсионального и интенсионального содержаний конструирования предложения G2. Показано, что последнее связано с выбором способа формализации концепции непротиворечивости. Обосновываются преимущества интенсиональной интерпретации G2.


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

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