Гильберт Д., Бернайс П. — Основания математики. Теория доказательств.
Обсудите книгу на
Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Основания математики. Теория доказательств.
Авторы: Гильберт Д., Бернайс П.
Аннотация:
В настоящей книге дается детальное изложение современного состояния теории доказательств. Хотя достижения этой теории на сегодняшний день и очень скромны по сравнению с целями, которые она перед собой ставит, тем не менее в ней содержится много ярких результатов, точек зрения и идей, безусловно заслуживающих того, чтобы их довести до сведения читателей.
-терма 
и 
и 
и 
, 
и 
, 
и 
-фигур 
|
|
О проекте