Книга посвящена рассмотрению философских проблем, связанных с понятием математического доказательства. Может ли быть математическое доказательство абсолютно строгим? Является ли вполне надежной система логических норм, используемых в доказательстве? Может ли быть гарантирована непротиворечивость системы доказательств определенной теории? Несет ли доказательство новую информацию? Автор стремится дать ответ на эти и некоторые другие вопросы, касающиеся природы математического доказательства. Обсуждаются мнения философов и математиков по каждой из указанных проблем. Для студентов философских и физико-математических специальностей, а также для всех тех, кто интересуется философскими проблемами современной науки.
Kniga posvjaschena rassmotreniju filosofskikh problem, svjazannykh s ponjatiem matematicheskogo dokazatelstva. Mozhet li byt matematicheskoe dokazatelstvo absoljutno strogim? Javljaetsja li vpolne nadezhnoj sistema logicheskikh norm, ispolzuemykh v dokazatelstve? Mozhet li byt garantirovana neprotivorechivost sistemy dokazatelstv opredelennoj teorii? Neset li dokazatelstvo novuju informatsiju? Avtor stremitsja dat otvet na eti i nekotorye drugie voprosy, kasajuschiesja prirody matematicheskogo dokazatelstva. Obsuzhdajutsja mnenija filosofov i matematikov po kazhdoj iz ukazannykh problem. Dlja studentov filosofskikh i fiziko-matematicheskikh spetsialnostej, a takzhe dlja vsekh tekh, kto interesuetsja filosofskimi problemami sovremennoj nauki.
