Концепция понимания в математическом доказательстве

Авторы

  • Виталий Валентинович Целищев Институт философии и права Сибирского отделения Российской академии наук, г. Новосибирск
  • Александр Валерьевич Хлебалин Институт философии и права Сибирского отделения Российской академии наук, г. Новосибирск https://orcid.org/0000-0002-3536-3974

DOI:

https://doi.org/10.25206/2542-0488-2021-6-4-82-86

Ключевые слова:

понимание, математическое доказательство, формализация, вычисления, компьютерное доказательство

Аннотация

В статье анализируется роль концепции понимания в математическом доказательстве. Понимание представляется естественной и необходимой характеристикой доказательства, интерпретируемого как аргумент в пользу устанавливаемого результата. Показано, что в общем виде можно выделить две традиции в трактовке математического доказательства, восходящие к Декарту и Лейбницу. Приводятся аргументы в пользу концептуальной трактовки категории понимания, не связанной с индивидуальными психическими актами. Проблематизируется перспектива достижения концептуального понимания вычислительной интерпретации математического доказательства.

Скачивания

Данные скачивания пока недоступны.

Биографии авторов

Виталий Валентинович Целищев, Институт философии и права Сибирского отделения Российской академии наук, г. Новосибирск

октор философских наук, научный руководитель.

Александр Валерьевич Хлебалин, Институт философии и права Сибирского отделения Российской академии наук, г. Новосибирск

кандидат философских наук, заместитель директора по научной работе.

Загрузки


Просмотров аннотации: 11

Опубликован

03.12.2021

Как цитировать

Целищев, В. В., & Хлебалин, А. В. (2021). Концепция понимания в математическом доказательстве. ОМСКИЙ НАУЧНЫЙ ВЕСТНИК. Серия «Общество. История. Современность», 6(4), 82–86. https://doi.org/10.25206/2542-0488-2021-6-4-82-86

Выпуск

Том 6 № 4 (2021)

Раздел

Философия

Лицензия

Неисключительные права на статью передаются журналу в полном соответствии с Лицензией Creative Commons BY-NC-SA 4.0 «Attribution-NonCommercial-ShareAlike» («Атрибуция-Некоммерчески-СохранениеУсловий») 4.0 Всемирная (CC BY-NC-SA 4.0)

Creative Commons License