홈 탐색 도움말
가입하기 로그인
rt-in_progress
/
rt-g0_73c250c9-Kleene_VVM-russian
3
0
포크 0
파일 이슈 0 풀 리퀘스트 0

Клини Стефен К.
--
"Введение в метаматематику"
--
перевод с английского А. С. Есенин-Вольпин
--
1957 год

트리: 718fb3c218
브랜치 태그
rt-g0_73c250...
ZIP TAR.GZ
hk 718fb3c218 par 18, chapter 4, part 2 6 년 전
images 882221a26f structure and toc, preliminary format, intros, chapter 1 6 년 전
parts 718fb3c218 par 18, chapter 4, part 2 6 년 전
.gitignore fc7abcf917 par 12, chapter 3 6 년 전
Kleene_S.K.-Vvedenie_v_metamatematiku[1957y]-russian.tex 718fb3c218 par 18, chapter 4, part 2 6 년 전
README.md 718fb3c218 par 18, chapter 4, part 2 6 년 전
bibliography.bib 48a0e3804f par 16, chapter 4, part 2 6 년 전
bookvvmrus.bbx 48a0e3804f par 16, chapter 4, part 2 6 년 전
bookvvmrus.cbx 74c3ed6caf par 15, chapter 3, part 1 + deep revision of the bibliography 6 년 전
bookvvmrus.cls 74c3ed6caf par 15, chapter 3, part 1 + deep revision of the bibliography 6 년 전
build_script 74c3ed6caf par 15, chapter 3, part 1 + deep revision of the bibliography 6 년 전
definitions.tex 718fb3c218 par 18, chapter 4, part 2 6 년 전
index_style_and_order.xdy 882221a26f structure and toc, preliminary format, intros, chapter 1 6 년 전
notation_defs.tex 718fb3c218 par 18, chapter 4, part 2 6 년 전
title_pages.tex 882221a26f structure and toc, preliminary format, intros, chapter 1 6 년 전

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.