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

Базы данных


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

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


    Целищев, В. В.
    Семантическая избыточность в концепции истинности геделева предложения [Текст] / В. В. Целищев // Философия науки. - 2016. - № 4. - С. 26-39. - Библиогр.: с. 39 (13 назв. ) . - ISSN 1560-7488
УДК
^a1
ББК 87
Рубрики: Философия
   Общие вопросы философии
Кл.слова (ненормированные):
геделево предложение -- дефляционная концепция истины -- принципы рефлексии -- семантическая избыточность -- философы
Аннотация: Анализируется проблема определения истинности геделева предложения в рамках семантического аргумента М. Даммита. Стратегия избегания предиката истины через использование дефляционной концепции истины, предложенная Н. Теннантом, рассматривается через призму концепции семантической избыточности. Обоснование истинности геделева предложения на этом пути связывается с принципами рефлексии.


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

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


    Целищев, В. В.
    Является ли теорема Гудстейна геделевым предложением? [Текст] / В. В. Целищев, А. В. Бессонов // Философия науки. - 2017. - № 2. - С. 21-35. - Библиогр.: с. 33-35 (15 назв. ) . - ISSN 1560-7488
УДК
^a511
ББК 22.13
Рубрики: Математика
   Теория чисел
Кл.слова (ненормированные):
Гудстейна теорема -- Исааксона тезис -- геделево предложение -- тезис Исааксона -- теорема Гудстейна -- формальная арифметика
Аннотация: Рассматривается вопрос, в какой степени теорема Гудстейна может считаться аналогом истинного, но недоказуемого геделевого предложения. Показано, что такая трактовка подводит к тезису Исааксона, согласно которому демонстрация истинности реальных математических аналогов геделева предложения в формальном языке арифметики использует концептуальные ресурсы, выходящие за пределы ресурсов, требуемых для понимания базисной арифметики конечных натуральных чисел. Правдоподобность тезиса оспаривается с точки зрения непостижимости арифметического содержания геделева предложения.


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

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


    Целищев, В. В.
    Саморефлексия непротиворечивости в базисной логике формализованного математического теоретизирования [Текст] / В. В. Целищев, А. В. Хлебалин // Философия науки. - 2019. - № 3. - С. 77-91. - Библиогр.: с. 90-91 (16 назв. ) . - ISSN 1560-7488
УДК
^a1
^a16
ББК 87 + 87.4
Рубрики: Философия
   Общие вопросы философии
   Логика
   Общие вопросы логики
Кл.слова (ненормированные):
геделево предложение -- саморефлексия -- формальные системы
Аннотация: Освящена проблема саморефлексии формальных систем. Традиционное убеждение в том, что в отличие от человека формальная система или компьютер не способны к саморефлексии, анализируется через экспликацию понятия "саморефлексия" применительно к формальным системам. Показано, что логика доказательства позволяет средствами формальной системы выразить свойство саморефлексии системы.


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

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