Учебник на GitHub

Давно просили выложить исходники учебника на GitHub. Вот сподобился.

С момента последних новостей об учебнике я ничего еще не сделал на самом деле. Я немного поменял верстку, следуя советам читателей, но она по-прежнему абсолютно дерьмовая. Вообще оказался совершенно неприятным зверем. Например, в текущей версии pdf-ки (она кстати тоже обновлена и содержит две полные главы), уже во введении почему-то ссылка уехала за границы страницы, а не была перенесена на новую строчку. Я конечно могу набрать заклинание «\\*» руками, но мне казалось, что такие вещи должны делаться автоматически. Аналогично страница 11 заканчивается словом «Доказательство», хотя было бы логичным перенести это на новую страницу. Но здесь вставить перенос руками уже не прокатит — в любой момент я теоретически могу что-то изменить выше этого места по тексту, и подобные ручные переносы поломают верстку. В последнем параграфе на одной из страниц вообще чудовищное расстояние между параграфами.

В общем если кто-то может помочь решить технические проблемы с , я был бы очень признателен. Верстка должна быть нормальной всё же, а как это делать в этой системе я совершенно не понимаю. Пока от этого детища Кнута только проблемы лезут, не считая того, что конечно тут безумно удобно и приятно формулы набирать.

Желающих могу добавить в Collaborator’s на ГитХабе, если я правильно понял суть (с самим Гитом, как и Гитхабом, тоже толком не разбирался пока, просто огромная куча других дел).

Что касается самого учебника, то тут некоторые вещи надо целиком переделывать. Я думаю, что в скором времени перепишу параграфы про теории, модели и теоремы Гёделя. Трудность с этими главами в том, что обычно их дают лишь на довольно продвинутых курсах логики, а не во введении, хотя по сути сложного тут ничего нет. Однако уровень изложения в серьезных источниках совершенно другой — то что написал я, наверное никто до меня именно на таком уровне и в таком формате еще не писал. У меня нет цели научить читателя продвинутой логике, хотелось лишь дать обзор и понимание действительно интересного результата Гёделя. В итоге получилось так, что если остальные параграфы я более-менее пересказывал с материалов широко распространенных, то параграфы о продвинутой логике я сочинял полностью сам, и они просто получились по самой манере изложения сырыми.

Правда, как переработать параграфы про теории и модели я пока не очень понимаю (с Гёделем вроде трудности нет). Хотелось дать каких-то прикладных более-менее примеров, но они либо получаются чрезвычайно сложны (как например евклидова геометрия на языке формальной логики), либо через чур искусственными (конечная геометрия), либо требующими каких-то отвлеченных сведений и не имеющей мотивации для обычного человека (типичные формализации типа групп, полей или аксиом Пеано). Чего с этим делать, пока думаю.