rt-g0_73c250c9-Kleene_VVM-russian/README.md

Клини Стефен К.

Введение в метаматематику

перевод с английского А. С. Есенин-Вольпин

под редакцией В. А. Успенского

1957 год

Оригинал

ed2k       torrent

Замечания по сборке

1. Сборка осуществляется скриптом build_script, который использует xelatex. Результат сохраняется в подкаталоге build.

2. Перед сборкой убедитесь в наличии всех пакетов, включаемых в файле definitions.tex инструкциями \usepackage и \RequirePackage.

3. Перед сборкой убедитесь в наличии всех используемых шрифтов, перечисленных в файле definitions.tex в параметрах инструкций \set*font и \newfontfamily.

Замечания по соответствию оригиналу

1. Исправлены замеченные опечатки и ошибки. Эти изменения относительно оригинала отмечены в исходном коде комментариями под абзацами, в которых произведены изменения.

2. Восстановлена буква "ё".

3. Для отображения основного текста использован шрифт "Adobe Garamond Premier Pro", однако в оригинале использовалась гарнитура "Литературная" (ГОСТ-3489.33-72). Если удастся получить набор всех начертаний гарнитуры "Литературная", этот недостаток будет исправлен.

4. Обнаружена библиографическая ссылка на работу Лейбница 1666 года, но ни в библиографии оригинала, ни в библиографии перевода самой этой работы нет. Данная несправедливость исправлена и в библиографию добавлена работа "Gottfried Wilhelm von Leibniz - De Arte Combinatoria, Leipzig 1666".

5. Введёны режимы "оригинальной нотации" и "поздней нотации". Дело в том, что нотация оригинала издания в некоторой части устарела и на момент перенабора используется немного другая нотация, менее неоднозначная. Кроме того, при переключении нотации на "позднюю" изменится шрифт начертания содержательных (informal) переменных и формул с \mathrm на \mathtt. Это связано с тем, что а оригинале шрифт начертания содержательных переменных и формул неотличим от шрифта начертания основного текста, что приводит к тому, что ссылка на формулу (A) и обозначение формулы (A) становятся неотличимы и вызывают неопределённость. Для переключения с оригинальной нотации на позднюю в файле notation_defs.texраскомментируйте строку

%% \def\LaterNotation{1}

так чтобы она выглядела как

\def\LaterNotation{1}

и пересоберите издание. Полное соответствие оригинальной нотации современной описано в том же файле notation_defs.tex.