Сетевой научный журнал "Философские проблемы
информационных технологий
и киберпространства" (ISSN:2305-3763)

Доказательство, понимание и компьютеры

DOI: 10.17726/philIT.2020.1.5

Автор: Целищев В.В.

Аннотация: Статья посвящена анализу концепции понимания в математическом дискурсе. Рассматривается роль понимания в двух типах доказательства – традиционном концептуальном и компьютерном. Показано, что концепция понимания в рамках философии математики для случая компьютерного доказательства наиболее интересна в работах позднего Витгенштейна. Раскрыт вопрос, какой должна быть философская теория, в которой такого рода понимание может быть частью концептуального аппарата. Требования к такой теории включают объяснения различных типов «компетентного» математического поведения, требуемого от создателей компьютерных программ. Коль скоро эти программы не сводятся к той или иной стратегии перебора, а являются в определенной степени «понимающими», искомая философская теория должна сблизить «человеческое понимание» и «компьютерное понимание».

Ключевые слова: математическое доказательство, компьютерное доказательство, Лейбниц, Декарт, Воеводский, Витгенштейн, действие, поведение, практика.

Ссылка: Целищев, В.В. Доказательство, понимание и компьютеры // Философские проблемы информационных технологий и киберпространства. 2020. № 1, vol. 17. – 54–67. DOI 10.17726/philIT.2020.1.5.

Полный текст статьи



Proof, understanding, and computers

Abstract: The article analyzes the concept of understanding in mathematical discourse. The role of understanding in two types of proof – traditional conceptual and computer-based-is considered. It is shown that the concept of understanding in the framework of the philosophy of mathematics for the case of computer proof is most interesting in the works of the late Wittgenstein. Next, we consider the question of what should be a philosophical theory in which this kind of understanding can be part of the conceptual apparatus. The requirements for such a theory include explanations of the various types of «competent mathematical behavior» required of computer program creators. Since these programs are not limited to a particular search strategy, but are "understanding" to a certain extent, the desired philosophical theory should bring "human understanding" and "computer understanding" closer together.

Keywords: mathematical proof, computer proof, Leibniz, Descartes, provincial, Wittgenstein, action, behavior, practice.

Reference: Tselishchev, V. Proof, understanding, and computers // Philosophical Problems of Information Technologies and Cyberspace. 2020. № 1, vol. 17. – 54–67. DOI 10.17726/philIT.2020.1.5.



← Назад в выпуск