tgoop.com/logic_metamathematics/1012
Last Update:
Вот, скажем, первый момент.
Например, Есенин–Вольпин пишет: «От читателя не требуется никаких предварительных познаний в логике или математике. Однако подробное проведение всех опущенных автором деталей доказательств требует некоторой тренировки (которую, впрочем, можно приобрести в процессе тщательного изучения этой книги). Таким образом, книгу можно рекомендовать и начинающему—при условии, что он не боится трудностей».
Тогда как сам Клини замечает: «Книга написана с таким расчетом, чтобы она могла служить учебником для аспирантов-математиков первого года обучения1) (и старше) и для других лиц, достигших этого уровня владения математикой, независимо от их познаний в том или ином разделе математики» («The book is written to be usable as a text book by first year graduate students in mathematics (and above) and others at that level of mathematical facility, irrespective of their knowledge of any particular mathematical subject matter»).
BY Логика и метаматематические исследования
Share with your friend now:
tgoop.com/logic_metamathematics/1012