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