Развитие представлений о надёжности математического доказательства
- Баженов Л. Б.
- Розенфельд Б. А.
- Макаренко Г. И.
2 / 2 экз.
Аннотация
Книга посвящена рассмотрению философских проблем, связанных с понятием математического доказательства. Может ли быть математическое доказательство абсолютно строгим? Является ли вполне надежной система лигоческих норм, используемых в доказательстве? Может ли быть гарантирована непротиворечивость системы доказательств определенной теории? Несет ли доказательство новую информацию? Автор стремится дат ответ на эти и некоторые другие вопросы, касающиеся природы математического доказательства.
Библиографическая запись
22.1
Перминов Василий Яковлев
Развитие представлений о надёжности математического доказательства / Баженов Л. Б; Розенфельд Б. А; Макаренко Г. И. — Москва : Издательство Московского университета, 1986. — 240 с.
Перминов Василий Яковлев. Развитие представлений о надёжности математического доказательства / Баженов Л. Б; Розенфельд Б. А; Макаренко Г. И. — Москва : Издательство Московского университета, 1986. — 240 с.
Все поля
- Издательство
- Издательство Московского университета
- Место издания
- Москва
- Год издания
- 1986
- Объём
- 240 с
- ББК / Шифр
- 22.1
- ГРНТИ
- 27.01
- Язык
- Русский
Экземпляры (2)
-
O'zMPU ARM 2 экземпляраНа полке: 2
Список всех экземпляров
| Штрихкод | Шифр | Статус |
|---|---|---|
| CH0000001633 | 22.1 П 275 | Доступен |
| CH0000001634 | 22.1 П 275 | Доступен |
Отзывы и оценки
Войдите и оставьте отзыв.
Отзывов пока нет.