| RUS ENG |
| Полная версия |
|
|
|
| СЕМИНАРЫ |
|
|
|||
|
Теория доказательств и математика: Аристотель vs Гильберт О. А. Антонова |
|||
|
Аннотация: На основе анализа различных концепций теории доказательств (такие как концепция Аристотеля и теория Гильберта) мы рассмотрим следующие вопросы: в чем состоит современная математическая теория доказательства и как взаимосвязаны между собой математика и теория доказательств. |
|||