Шапошников В.А. (Ред.). ДОКАЗАТЕЛЬСТВО:
Очевидность, достоверность и убедительность в математике

---

ПРЕДИСЛОВИЕ (В.А. Шапошников) 9 КРАТКАЯ ИНФОРМАЦИЯ ОБ АВТОРАХ 35

Раздел 1.
ВОКРУГ ДОКАЗАТЕЛЬСТВА: ОСНОВНЫЕ ПОДХОДЫ

Математическое доказательство в социальном контексте 41 Бажанов В.А.
Надежность и строгость математического доказательства 60 Перминов В.Я.
Трансцендентальный анализ математической деятельности: абстрактные [математические] объекты, конструкции и доказательства 86 Катречко СЛ.
Философия математики М. Хайдеггера 121 Белоусов А.И.
Доказательство: путь к очевидности или языковая игра? 137 Гутнер Г.Б.
Раздел 2.
ВОКРУГ ДОКАЗАТЕЛЬСТВА: ПЕРЕОСМЫСЛИВАЯ ИСТОРИЮ
Логико-философские основания и историческая реконструкция архаичного варианта античной теории отношений и пропорций 149 Зайцев Е.А.
Делать и показывать 222 Родин А.В.
Conceptions of Proof in Mathematics 256 loannis M. Vandoulakis and Petros Stefaneas
Математический скептицизм и абсолютистская трактовка доказательства 282 Шапошников В.А.
Раздел 3. ВОКРУГ ДОКАЗАТЕЛЬСТВА: С ПОЗИЦИИ ДРУГИХ ДИСЦИПЛИН
Инструментальная структура математических построений 321 Шульпеков В.А.
О доказательности в физике 335 Маневич Л.И.
Психология математического мышления 349 Косилова Е.В.


Раздел 4.
ЗА ПРЕДЕЛАМИ ОСНОВНОЙ ТЕМЫ
Диалектика в развитии типов логических исчислений на основе структур значений оценки 375 Титов А.В.
Проблема доказательства разрешимости и полноты силлогистических теорий с помощью конструктивных методов (метода аналитических таблиц и построения множеств Я. Хинтикки) 399 Красненкова А.В.
ВМЕСТО ЗАКЛЮЧЕНИЯ
Что же в итоге? Попытка синтеза 407 Кричевец А.Н.







Чертеж на обложке, визуализирующий доказательство теоремы Пифагора, сделан на основе статьи: Шеховцов С.Г. Эвристика Евклида: экзотерическое и эзотерическое в античном образовании // Инженер, 2005, № 6. С. 6-11.

---

INTRODUCTION (V.A. Shaposhnikov) 9 List of Contributors 35

Part 1
AROUND THE PROOF: THE MAIN APPROACHES
Mathematical Proof in Social Context 41 V.A. Bazhanov
Reliability and Rigour of Mathematical Proof 60 V.Ya. Perminov
Transcendental Analysis of Mathematical Activity: Abstract (Mathematical) Objects, Constructions, and Proofs 86 S.L. Katrechko
M. Heidegger's Philosophy of Mathematics 121 A.I. Belousov
Proof: a Path to the Evidence or a Language Game? 137 G.B. Gutner


Part 2
AROUND THE PROOF: THE RECONCEPTUALISATION OF HISTORY

Logico-philosophical Foundations and Historical Reconstruction of Archaic Version of Antique
Theory of Relations and Proportions 149 E.A. Zaitsev
Doing and Showing 222 A.V. Rodin
Conceptions of Proof in Mathematics 256
Ioannis M. Vandoulakis and Petros Stefaneas
Mathematical Scepticism and Absolutist Interpretation of Proof V.A. Shaposhnikov

Part 3
AROUND THE PROOF: FROM THE STANDPOINT OF OTHER SCIENCES

Instrumental Structure of Mathematical
Constructions 321 V.A. Shul'pekov
On Conclusiveness in Physics 335 L.I. Manevich
Psychology of Mathematical Reasoning 349 E.V. Kosilova

Part 4
BEYOND THE LIMITS OF THE MAIN PROBLEM
Dialectics in the Development of Logical Calculi 375 A.V. Titov
Decidability and Completeness
of Syllogistic Theories Proved by Constructive Methods (Hintikka's Method of Analytical Tables and Construction of Sets) 399 A.V. Krasnenkova


IN LOCO OF CONCLUSION
Where We Are? An Attempt of Synthesis A.N. Krichevets
407