Развитие представлений о надёжности математического доказательства
- Баженов Л. Б.
- Розенфельд Б. А.
- Макаренко Г. И.
2 / 2 copies
Summary
Книга посвящена рассмотрению философских проблем, связанных с понятием математического доказательства. Может ли быть математическое доказательство абсолютно строгим? Является ли вполне надежной система лигоческих норм, используемых в доказательстве? Может ли быть гарантирована непротиворечивость системы доказательств определенной теории? Несет ли доказательство новую информацию? Автор стремится дат ответ на эти и некоторые другие вопросы, касающиеся природы математического доказательства.
Catalogue record
22.1
Перминов Василий Яковлев
Развитие представлений о надёжности математического доказательства / Баженов Л. Б; Розенфельд Б. А; Макаренко Г. И. — Москва : Издательство Московского университета, 1986. — 240 с.
Перминов Василий Яковлев. Развитие представлений о надёжности математического доказательства / Баженов Л. Б; Розенфельд Б. А; Макаренко Г. И. — Москва : Издательство Московского университета, 1986. — 240 с.
All fields
- Publisher
- Издательство Московского университета
- Place of publication
- Москва
- Year published
- 1986
- Extent
- 240 с
- BBK / Call number
- 22.1
- GRNTI
- 27.01
- Language
- Russian
Copies (2)
-
O'zMPU ARM 2 copies2 on the shelf
List of all copies
| Barcode | Call number | Status |
|---|---|---|
| CH0000001633 | 22.1 П 275 | Available |
| CH0000001634 | 22.1 П 275 | Available |
Reviews and ratings
Sign in and leave a review.
No reviews yet.