progress.adoc

Гёдель, Эшер, Бах

Глава/Диалог	Готовность	TODO
Предисловие
Обзор		parskip, subtitles, references
Список иллюcтраций		formatting, references
Благодарность
Часть I: ГЭБ
Интродукция: музыко-логическое приношение		1 illustration, math, blocks
Трехголосная инвенция
Глава I: Головоломка MU		blocks
Двухголосная инвенция		subtitle, statements
Глава II: Содержание и форма в математике		minor fixes
Соната для Ахилла соло
Глава III: Рисунок и фон		1 illustration, macro for "formal strings"
Акростиконтрапунктус		1 illustration
Глава IV: Непротиворечивость, полнота и геометрия		3 illustrations, blocks
Маленький гармонический лабиринт		cleanup comments
Глава V: Рекурсивные структуры и процессы		many illustrations, many formulae, blocks, refs, spaces
Канон с интервальным увеличением
Глава VI: Местонахождение значения		3 illustrations, blocks, formulae, spaces
Хроматическая фантазия и фига
Глава VII: Исчисление Высказываний		illustrations, formulae, subsections, blocks, spaces, ALL
Крабий канон		2 illustrations
Глава VIII: Типографская теория чисел		illustrations, formulae, subsections, blocks, spaces, ALL
Приношение «МУ»		1 illustration, block, koan box
Глава IX: Мумон и Гёдель		illustrations, formulae, subsections, blocks, spaces, ALL
Часть II: ЭГБ
Прелюдия и…​		1 illustration
Глава X: Уровни описания и компьютерные системы
…​и Муравьиная фуга		4 illustrations, block
Глава XI: Мозг и мысль
Англо-франко-германо-русская сюита		Format verses
Глава XII: Разум и мысль
Ария с разнообразными вариациями		1 illustration
Глава XIII: Блуп, Флуп и Глуп
Ария в ключе G		1 illustration, blocks
Глава XIV: О формально неразрешимых суждениях ТТЧ и родственных систем
Праздничная Кантататата…​
Глава XV: Прыжок из системы
Благочестивые размышления курильщика табака		6 illustrations, verse (choose center/left alignment)
Глава XVI: Авто-реф и авто-реп
Магнификраб в пирожоре		formulae, macro for "tilde-negation", check n=0 vs n>2, cleanup comments
Глава XVII: Чёрч, Тюринг, Тарский и другие
ШРДЛУ
Глава XVIII: Искусственный интеллект: взгляд в прошлое
Контрафактус
Глава XIX: Искусственный Интеллект: виды на будущее
Канон Ленивца		1 illustration
Глава XX: Странные Петли или Запутанные Иерархии		15 illustrations (some are diagrams), block (with left/right margins), references, math
Шестиголосый Ричеркар		4 illustrations, verse in dialogue