URSS.ru - Издательская группа URSS. Научная и учебная литература
Об издательстве Интернет-магазин Контакты Оптовикам и библиотекам Вакансии Пишите нам
КНИГИ НА РУССКОМ ЯЗЫКЕ


 
Вернуться в: Каталог  
Обложка Шапошников В.А. ДОКАЗАТЕЛЬСТВО: Очевидность, достоверность и убедительность в математике
Id: 176991
 
384 руб.

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

URSS. 2014. 432 с. Мягкая обложка. ISBN 978-5-397-04327-4.

 Аннотация

Очередной (пятый) тематический том трудов Московского семинара по философии математики посвящен осмыслению математического доказательства, одной из центральных и бурно обсуждаемых в современной философии математики тем.

Книга может представлять интерес для философов и историков математики, а также для философов, логиков, математиков, психологов, преподавателей, ведущих аспирантский курс по истории и философии науки, аспирантов и студентов математических и естественно-научных специальностей.

Proof. Moscow Studies in the Philosophy of Mathematics / Edited by Valentin A. Bazhanov, Anatoly N. Krichevets, Vladislav A. Shaposhnikov. M.: KD "LIBROCOM", 2013. --- 424 p.

Moscow Philosophy of Mathematics Seminar’s fifth Collection of papers is devoted to mathematical proof as to one of pivotal philosophical problems under discussion. This book may be of interest to philosophers and historians of mathematics, as well as to logicians, mathematicians, psychologists, postgraduate and PhD students in all areas of mathematics and natural sciences.


 СОДЕРЖАНИЕ

ПРЕДИСЛОВИЕ (В.А. Шапошников) 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.

 CONTENTS

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

 
© URSS 2016.

Информация о Продавце