Развитие представлений о надёжности математического доказательства
- Баженов Л. Б.
- Розенфельд Б. А.
- Макаренко Г. И.
2 / 2 nusxa
Qisqacha mazmuni
Книга посвящена рассмотрению философских проблем, связанных с понятием математического доказательства. Может ли быть математическое доказательство абсолютно строгим? Является ли вполне надежной система лигоческих норм, используемых в доказательстве? Может ли быть гарантирована непротиворечивость системы доказательств определенной теории? Несет ли доказательство новую информацию? Автор стремится дат ответ на эти и некоторые другие вопросы, касающиеся природы математического доказательства.
Bibliografik yozuv
22.1
Перминов Василий Яковлев
Развитие представлений о надёжности математического доказательства / Баженов Л. Б; Розенфельд Б. А; Макаренко Г. И. — Москва : Издательство Московского университета, 1986. — 240 с.
Перминов Василий Яковлев. Развитие представлений о надёжности математического доказательства / Баженов Л. Б; Розенфельд Б. А; Макаренко Г. И. — Москва : Издательство Московского университета, 1986. — 240 с.
Barcha maydonlar
- Nashriyot
- Издательство Московского университета
- Nashr joyi
- Москва
- Nashr yili
- 1986
- Hajm
- 240 с
- BBK / Shifr
- 22.1
- GRNTI (ITAR)
- 27.01
- Til
- Rus
Nusxalar (2)
-
O'zMPU ARM 2 ta nusxaJavonda 2
Barcha nusxalar ro'yxati
| Shtrix-kod | Shifr | Holati |
|---|---|---|
| CH0000001633 | 22.1 П 275 | Mavjud |
| CH0000001634 | 22.1 П 275 | Mavjud |
Izohlar va baholar
Kiring va izoh qoldiring.
Hozircha izohlar yo'q.