Книга посвящена рассмотрению философских проблем, связанных с понятием математического доказательства. Может ли быть математическое доказательство абсолютно строгим? Является ли вполне надежной система логических норм, используемых в доказательстве? Может ли быть гарантирована непротиворечивость системы доказательств определенной теории? Несет ли доказательство новую информацию? Автор стремится дать ответ на эти и некоторые другие вопросы, касающиеся природы математического доказательства. Обсуждаются мнения философов и математиков по каждой из указанных проблем.
Для студентов философских и физико-математических специальностей, а также для всех тех, кто интересуется философскими проблемами современной науки.
Kniga posvyashchena rassmotreniyu filosofskikh problem, svyazannykh s ponyatiem matematicheskogo dokazatelstva. Mozhet li byt matematicheskoe dokazatelstvo absolyutno strogim? YAvlyaetsya li vpolne nadezhnoy sistema logicheskikh norm, ispolzuemykh v dokazatelstve? Mozhet li byt garantirovana neprotivorechivost sistemy dokazatelstv opredelennoy teorii? Neset li dokazatelstvo novuyu informatsiyu? Avtor stremitsya dat otvet na eti i nekotorye drugie voprosy, kasayushchiesya prirody matematicheskogo dokazatelstva. Obsuzhdayutsya mneniya filosofov i matematikov po kazhdoy iz ukazannykh problem. Dlya studentov filosofskikh i fiziko-matematicheskikh spetsialnostey, a takzhe dlya vsekh tekh, kto interesuetsya filosofskimi problemami sovremennoy nauki.
This book is devoted to philosophical problems related to the notion of mathematical proof. Could there be a mathematical proof completely rigorous? Is quite a reliable system of logical rules used in the proof? Can be guaranteed the consistency of proof of a particular theory? Does the proof of a new information? The author seeks to answer these and other questions about the nature of mathematical proof. Discusses the opinions of philosophers and mathematicians for each of the problems.
For students of philosophy, physics and mathematics, as well as for all those interested in the philosophical problems of modern science.