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

ББК 22.12 + 87.4
Рубрики: Логика
   Математика
   Математическая логика
   Общие вопросы логики
Кл.слова (ненормированные):
вычислимость (понятие) -- Тезис Черча -- Черча Тезис -- вычислимые функции -- рекурсивные функции -- алгоритмы (понятие) -- математическое доказательство
Аннотация: Целью данной статьи является обсуждение вопроса, возможно ли математическое доказательство тезиса Черча.

Доп.точки доступа:
Хлебалин, А. В.; Целищев, В. В.; Черч, А. (американский логик и математик)

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

Целищев, В. В.
Представление знания как проблема эпистемологии теоретических конструкций [Текст] / В. В. Целищев, А. В. Хлебалин // Философия науки. - 2010. - N 4. - С. 33-67. - Библиогр.: с. 67 (17 назв. ) . - ISSN 1560-7488

УДК

^a165

ББК 87.22
Рубрики: Философия
Теория познания
Кл.слова (ненормированные):
знание (философия) -- эпистемология -- логика -- функция -- вычислимость
Аннотация: В данной работе рассматриваются проблемы представления знания в дедуктивных структурах.

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

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

Мазаева, О. Г.
К истории исследования творческого наследия Г. Г. Шпета [Текст] : (обсуждение проблем философии языка) / О. Г. Мазаева // Вестник Томского государственного университета. Философия. Социология. Политология. - 2010. - N 4 (12). - С. 167-181 . - ISSN 1998-863X

УДК

ББК 87.3(2)
Рубрики: Философия
Философия России и СССР
Кл.слова (ненормированные):
философия языка -- философы -- чтения -- конференции -- научное наследие -- герменевтика -- феноменология -- лингвистическая философия
Аннотация: Обзор истории исследований творческого наследия Г. Г. Шпета в России и за рубежом, при этом особое внимание уделяется проблемам его философии языка, а также их обсуждению на Шпетовских чтениях в Томске.

Доп.точки доступа:
Шпет, Г. Г. (философ ; 1879-1937); Гоготошвили, Л. А.; Борисов, Е. В.; Ладов, В. А.; Винник, Д. В.; Головко, Н. В.; Тарабанов, Н. А.; Хлебалин, А. В.; Суханова, Е. Н.; Инишев, И. Н.; Найман, Е. А.; Тульчинский, Г. Л.; Щедрина, Т. Г.; Орлова, Ю. О.; Автономова, Н. С.; Денн, М.; Михайлов, И. А.; Ящук, А. Н.; Разеев, Д. Н.; Гидини, М. К.; Шпетовские чтения; Шпетовские дни; Философский факультет Томского государственного университета; Шпетовские чтения
Нет сведений об экземплярах (Источник в БД не найден)

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

Хлебалин, А. В.
О двух концепциях в понятии истины естественного языка [Текст] / А. В. Хлебалин // Философия науки. - 2018. - № 3. - С. 24-35. - Библиогр.: с. 35 (8 назв. ) . - ISSN 1560-7488

УДК

ББК 22.12
Рубрики: Математика
Математическая логика
Кл.слова (ненормированные):
дефляционизм -- дисквотационная теория -- естественный язык -- истина -- математики -- номинализм -- схоластический вербализм -- философы -- экспрессивная функция
Аннотация: Исследование обоснованности предположения Х. Филда о возможности различения в понятии истины, так как оно используется в естественном языке смешением двух концепций истинности: корреспондентной и дисквотационной. Установлено, что предположение Филда сталкивается с проблемой объяснения возможности дисквотационной истины увеличивать теоретико-доказательную силу теории в математике.

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

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

Целищев, В. В.
Минимализация следствий интенсивности в "наилучшей и самой общей версии" Второй теоремы Гёделя [Текст] / В. В. Целищев, А. В. Хлебалин // Философия науки. - 2019. - № 1. - С. 58-69. - Библиогр.: с. 69 (9 назв. ) . - ISSN 1560-7488

УДК

^a531

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

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

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

Целищев, В. В.
Саморефлексия непротиворечивости в базисной логике формализованного математического теоретизирования [Текст] / В. В. Целищев, А. В. Хлебалин // Философия науки. - 2019. - № 3. - С. 77-91. - Библиогр.: с. 90-91 (16 назв. ) . - ISSN 1560-7488

УДК

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

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

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

Целищев, В. В.
Гиперинтенсиональность в соотношении разветвленной теории типов и подстановочной теории Б. Рассела [Текст] / В. В. Целищев, А. В. Хлебалин // Философия науки. - 2020. - № 1. - С. 76-86. - Библиогр.: с. 85-86 (14 назв. ) . - ISSN 1560-7488

УДК

^a11/12

ББК 87.21 + 22.12
Рубрики: Философия
   Метафизика. Онтология
   Математика
   Математическая логика
Кл.слова (ненормированные):
аналитическая философия -- интенсиональность математики -- логики -- математические дискурсы -- подстановочная теория -- теория типов -- философы
Аннотация: Анализируется проблема интенсиональности математики в программе логицизма Б. Рассела. Подстановочная теория рассматривалась им в качестве средства разрешения парадоксов в перспективе сохранения универсалистского понимания логики, несовместимой с теорией типов.

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

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

Хлебалин, А. В.
Интерактивное доказательство: верификация и генерирование нового математического мышления [Текст] / А. В. Хлебалин // Философия науки. - 2020. - № 1. - С. 87-95. - Библиогр.: с. 95 (7 назв. ) . - ISSN 1560-7488

УДК

ББК 22.12
Рубрики: Математика
Математическая логика
Кл.слова (ненормированные):
автоматизированные системы в математике -- верификация -- гомотопная теория типов -- компьютерное доказательство -- математическое мышление -- эпистемология математики
Аннотация: Рассматриваются классические вопросы эпистемологии математики в связи с применением компьютерных систем в математическом исследовании.

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

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

10.

Целищев, В. В.
Формальные средства в математике и концепция понимания [Текст] / В. В. Целищев, А. В. Хлебалин // Философия науки. - 2020. - № 2. - С. 45-58. - Библиогр.: с. 56-58 (9 назв. ) . - ISSN 1560-7488

УДК

ББК 87.25 + 22.1
Рубрики: Философия
   Философия науки
   Математика
   Общие вопросы математики
Кл.слова (ненормированные):
естественный язык -- когнитивные характеристики -- концепция понимания -- математические практики -- математическое мышление -- передоказательства теорем -- семантика -- семантические характеристики -- формализованный язык
Аннотация: Рассматривается популярное в философии математики направление, согласно которому семантические и когнитивные характеристики математического знания могут быть адекватно объяснены посредством анализа математической практики, в частности естественного языка, в рамках которого изначально совершается математическое мышление.

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

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

11.

Целищев, В. В.
Интенсивность в математике и невозможные возможные миры [Текст] / В. В. Целищев, А. В. Хлебалин // Философия науки. - 2020. - № 3. - С. 72-85. - Библиогр.: с. 83-85 (15 назв. ) . - ISSN 1560-7488

УДК

^a11/12

ББК 87.21 + 22.12
Рубрики: Философия
   Метафизика. Онтология
   Математика
   Математическая логика
Кл.слова (ненормированные):
интенсиональность математики -- математические дискурсы -- невозможные возможные миры -- семантика возможных миров
Аннотация: Анализируется способ экспликации интенсиональности математического дискурса средствами семантики возможных миров.

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

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

12.

Целищев, В. В.
Парадоксы и интенсиональность в основаниях математики [Текст] / В. В. Целищев, А. В. Хлебалин // Философия науки. - 2021. - № 1. - С. 65-75. - Библиогр.: с. 73-75 (11 назв. ) . - ISSN 1560-7488

УДК

ББК 87.25 + 22.1
Рубрики: Философия
   Философия науки
   Математика
   Общие вопросы математики
Кл.слова (ненормированные):
дискурсы -- математический дискурс -- математическое мышление -- теоретико-множественные основания -- философские программы -- экстенсиональная трактовка математики
Аннотация: Рассматривается разрыв экстенсионального и интенсионального элементов математического дискурса в разработке программ оснований математики.

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

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

13.

Целищев, В. В.
О неявном интенсиональном прочтении Гёделем G2 [Текст] / В. В. Целищев, А. В. Хлебалин // Философия науки. - 2021. - № 3. - С. 76-86. - Библиогр.: с. 85-86 (9 назв. ) . - ISSN 1560-7488

УДК

^a531

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

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

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

14.

Хлебалин, А. В.
Polymath и трансформация математической практики [Текст] / А. В. Хлебалин // Философия науки. - 2021. - № 4. - С. 43-50. - Библиогр.: с. 50 (4 назв. ) . - ISSN 1560-7488

УДК

ББК 87.25 + 22.1
Рубрики: Философия
   Философия науки
   Математика
   Общие вопросы математики
Кл.слова (ненормированные):
Polymath -- блокчейн-платформа -- верификации знания -- дистрибутивное знание -- математическая аргументация -- математическая практика -- математические сообщества -- платформа Polymath
Аннотация: Исследованы социально-эпистемологические характеристики трансформации математического сообщества и математической практики получения и верификации знания в новых формах организации математического исследования на примере платформы Polymath.

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

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

15.

Целищев, В. В.
Концептуальная и формальная строгость математического доказательства [Текст] / В. В. Целищев, А. В. Хлебалин // Философия науки. - 2022. - № 1. - С. 64-70. - Библиогр.: с. 70-71 (3 назв. ) . - ISSN 1560-7488

УДК

ББК 87.25 + 22.1
Рубрики: Философия
   Философия науки
   Математика
   Общие вопросы математики
Кл.слова (ненормированные):
доказательства -- математический аргумент -- математическое доказательство -- математическое мышление -- содержательная математика -- формализация -- формализованный язык -- ясность доказательства
Аннотация: Рассматривается соотношение ясности и строгости как характеристик математического аргумента и достижения доказательства средствами формализации.

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

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

16.

Целищев, В. В.
Понимание математического доказательства: логика vs. математика [Текст] / В. В. Целищев, А. В. Хлебалин // Философия науки. - 2022. - № 2. - С. 63-74. - Библиогр.: с. 73-74 (9 назв. ) . - ISSN 1560-7488

УДК

ББК 87.4 + 22.12
Рубрики: Логика
   Общие вопросы логики
   Математика
   Математическая логика
Кл.слова (ненормированные):
математическая практика -- математическое доказательство -- математическое мышление -- формальные доказательства -- язык математики
Аннотация: Анализируется противопоставление понимания математического доказательства его формализации. Показано, что в этом противопоставлении смешаны две проблемы: соотношение математической логики и математической практики доказательства и соотношение математического и формального доказательств.

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

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

17.

Хлебалин, А. В.
Коллективные результаты и коллективная верифакация математического результата [Текст] / А. В. Хлебалин // Философия науки. - 2022. - № 4. - С. 65-74. - Библиогр.: 9 назв. . - ISSN 1560-7488

УДК

ББК 87.25 + 22.1
Рубрики: Философия
   Философия науки
   Математика
   Общие вопросы математики
Кл.слова (ненормированные):
верификация -- верификация доказательства -- математические результаты -- математическое доказательство -- социальная эпистемология
Аннотация: Выявляются трудности применения концепции верификации доказательства к коллективно полученным математическим результатам.

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

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

18.

Хлебалин, А. В.
Ян Хакинг: "историк современной науки" [Текст] / А. В. Хлебалин // Философия науки. - 2023. - № 3. - С. 177-183. - Библиогр.: с. 182-183 (3 назв. ) . - ISSN 1560-7488

УДК