Корчажкина О.М. Математическое доказательство и интуиция. Часть I

С. 60

О.М. Корчажкина, кан.тех.наук, старший научный сотрудник,

Институт кибернетики и образовательной

информатики имени А.И. Берга

ФИЦ ИУ РАН (Москва),

olgakomax@gmail.com

Аннотация: статья посвящена проблеме взаимодействия логики и интуиции в процессе математического доказательства; делается краткий ретроспективный обзор взглядов выдающихся математиков на соотношение ло и внелогических компонентов при решении задач на доказательство, обосновывается важность овладения техникой доказательных рассуждений, отмечаются современные изменения в практике математического доказательства.

Ключевые слова: математическое доказательство, интуиция, правдоподобное рассуждение, логика, критерии доказательства.

ОПИСАНИЕ НА АНГЛИЙСКОМ ЯЗЫКЕ:

O.M. Korchazhkina,

PhD (Technical Sciences), Senior Research Fellow,

Institute of Cybernetics and Educational Computing named after A.I. Berg

FRC CSC RAS (Moscow),

olgakomax@gmail.com

Abstract: the article provides a problem of how logic and intuition can interact within the process of mathematical proof; it also gives a brief retrospective review of the views that outstanding mathematicians have on the ratio between logical and non-logical components in solving tasks on proof. The paper substantiates the importance of mastering the technique of evidentiary reasoning, and notes modern changes in the practice of mathematical proof.

Keywords: mathematical proof, intuition, plausible reasoning, logic, proof criteria.

Список источников

1. Доказательство: очевидность, достоверность и убедительность в математике. Труды московского семинара по философии математики. – М.: Книжный дом «ЛИБРОКОМ», 2014.

2. Кранц С. Изменчивая природа математического доказательства. Доказать нельзя проверить. – М.: Лаборатория знаний, 2016.

3. Успенский В.А. Апология математики. – М.: Альпина нон-фикшн, 2017.

4. Стюарт И. Величайшие математические задачи. – М.: Альпина нон-фикшн, 2015.

5. Пойа Д. Математическое открытие. Решение задач: основные понятия, изучение и преподавание. – Изд. 3-е. – М.: КомКнига, 2010.

6. Глик Дж. Информация. История. Теория. Поток. – М.: АСТ, CORPUS, 2013.

7. Лейбниц Г.В. Труды по философии науки. – М.: Книжный дом «ЛИБРОКОМ», 2019.

8. Перминов В.Я. Развитие представлений о надёжности математического доказатель-ства. – М.: Едиториал УРСС, 2004.

9. Боулер Дж. Математическое мышление. Книга для родителей и учителей. – М.: МИФ, 2019.

10. Пуанкаре А. О науке. – 2-е изд. – М.: Наука, 1990.

11. Мир Бартини. Роберт Орос ди Бартини – советский авиаконструктор, физик-теоретик, философ. Статьи по физике и философии / Сост. А.Н. Маслов. – М.: НИЦ «Луч», 2020.