Непонятно каким образом теорема Гёделя должна этому взгляду противоречить. Из того, что арифметика Пеано неполная, совершенно не следует того факта, что теперь в ней вообще ничем заниматься нельзя: только это не так. И работающий математик в эти "ограничения" неполноты просто не упирается. По Хинтикке так эта проблема неполноты даже в рамках логики оказывается попросту раздутой
$A_(mat(
x + y, x + z, ..., x + n;
y + y, y + z, ..., y + n;
dots.v, dots.v, dots.down, dots.v;
n + y, n + z, ..., n + n;
)_"матрица A" + mat(
1, 2, ..., 10;
2, 2, ..., 10;
dots.v, dots.v, dots.down, dots.v;
10, 10, ..., 10;
)_"матрица D" = B)$
Не знаю, где там был переход на личность, но, впрочем, по существу я все ещё ничего не увидел. Диаграммы воспроизводимы, типично техническая работа на тайпст может быть написана без проблем, дроби в инлайн тоже есть.
Опять же, советую хоть немного изучить вопрос, потом отписать свои мысли. Пока что вижу только обратное
PS используется где? В последний раз я его видел только в НМУ в курсах 10+ летней давности, скачивая листочки; к метапосту те же вопросы
Написать книгу по теоркату в typst? Я не вижу в этом никаких препятствий. Диаграммы тоже рисовать можно. С размерами дробей проблем не встречал. И что вместо indesign можно использовать латех -- ну, спасибо за открытие. Только вместо латеха теперь можно использовать тайпст.
Унылы только Ваши месседжи, обделенные аргументацией, и уровень компетенции к тому же понятен. Как будете регулярно читать тот же arXiv, например, серьезные технические текста и журналы (неймдропить сложными областями, типа теорката, интуиционисткой теорией типов, полиморфные лябмда-счисления и пр., я тоже могу, но вот кто из нас в них разбирается уже вопрос, конечно :) и немного будете понимать о чем тайпст, переставая его сравнивать с md, тогда и пишите то, что думаете о том и о сем. А пока что вердикт достаточно однозначен: в типовых задачах, по типу написать дипломную или статейку в arXiv, тайпст -- однозначно замена LaTeX. Последний, как я уже описал выше, может удержать позицию ввиду того, что теймплейты на тайпст не появляются достаточно быстро, что касается как архива, так и прочих ресурсов, в то время как на латехе они есть. Удачи.
Какой раз слышу о том, что в LaTeX есть что-то, что позволяет делать нечто "сложное", а вот в других системах такого не добьешься. Можете привести хотя бы пару примеров такого "сложного"? И да, typst используется: в шоукейсах в их офф. дискорд сервере можете посмотреть немало выпускных работ, написанных на typst. Подобные истории есть в ру тг чате по typst.
Также занимался переводом Logic Primer, MIT, за авторством C. Allen, M. Hand. Шаблон там используется следующий: слева -- какие-то понятия логические, а справа -- уже полные пояснения к ним с примерами (см. пик). У меня и мысли не было делать подобное в Латехе, а на составление точь-в-точь такого же шаблона на тайпст у меня заняло менее 15 минут, и получился ровно такой же темплейт с точностью до расположения элементов
Upd.: и да, учитывайте, что typst активно развивается. Ранние версии не содержали многое из того, что есть сейчас; например, до 0.10, насколько я помню, не было поддержки работы с библиографией. А сейчас она есть. Какие принципиальные ограничения Вы видите у typst? Я вот никаких; практически нет сомнений, что в ближайшем будущем typst станет куда более лучшей системой, чем LaTeX
Непонятно каким образом теорема Гёделя должна этому взгляду противоречить. Из того, что арифметика Пеано неполная, совершенно не следует того факта, что теперь в ней вообще ничем заниматься нельзя: только это не так. И работающий математик в эти "ограничения" неполноты просто не упирается. По Хинтикке так эта проблема неполноты даже в рамках логики оказывается попросту раздутой
Нет. A_(x_1) можно. Но непонятно, почему на этом вообще зацикливать внимание нужно, если речь буквально об одном дополнительном символе идёт)
Довольно просто:
Не знаю, где там был переход на личность, но, впрочем, по существу я все ещё ничего не увидел. Диаграммы воспроизводимы, типично техническая работа на тайпст может быть написана без проблем, дроби в инлайн тоже есть.
Опять же, советую хоть немного изучить вопрос, потом отписать свои мысли. Пока что вижу только обратное
PS используется где? В последний раз я его видел только в НМУ в курсах 10+ летней давности, скачивая листочки; к метапосту те же вопросы
Написать книгу по теоркату в typst? Я не вижу в этом никаких препятствий. Диаграммы тоже рисовать можно. С размерами дробей проблем не встречал. И что вместо indesign можно использовать латех -- ну, спасибо за открытие. Только вместо латеха теперь можно использовать тайпст.
Унылы только Ваши месседжи, обделенные аргументацией, и уровень компетенции к тому же понятен. Как будете регулярно читать тот же arXiv, например, серьезные технические текста и журналы (неймдропить сложными областями, типа теорката, интуиционисткой теорией типов, полиморфные лябмда-счисления и пр., я тоже могу, но вот кто из нас в них разбирается уже вопрос, конечно :) и немного будете понимать о чем тайпст, переставая его сравнивать с md, тогда и пишите то, что думаете о том и о сем. А пока что вердикт достаточно однозначен: в типовых задачах, по типу написать дипломную или статейку в arXiv, тайпст -- однозначно замена LaTeX. Последний, как я уже описал выше, может удержать позицию ввиду того, что теймплейты на тайпст не появляются достаточно быстро, что касается как архива, так и прочих ресурсов, в то время как на латехе они есть. Удачи.
Какой раз слышу о том, что в LaTeX есть что-то, что позволяет делать нечто "сложное", а вот в других системах такого не добьешься. Можете привести хотя бы пару примеров такого "сложного"? И да, typst используется: в шоукейсах в их офф. дискорд сервере можете посмотреть немало выпускных работ, написанных на typst. Подобные истории есть в ру тг чате по typst.
Также занимался переводом Logic Primer, MIT, за авторством C. Allen, M. Hand. Шаблон там используется следующий: слева -- какие-то понятия логические, а справа -- уже полные пояснения к ним с примерами (см. пик). У меня и мысли не было делать подобное в Латехе, а на составление точь-в-точь такого же шаблона на тайпст у меня заняло менее 15 минут, и получился ровно такой же темплейт с точностью до расположения элементов
Upd.: и да, учитывайте, что typst активно развивается. Ранние версии не содержали многое из того, что есть сейчас; например, до 0.10, насколько я помню, не было поддержки работы с библиографией. А сейчас она есть. Какие принципиальные ограничения Вы видите у typst? Я вот никаких; практически нет сомнений, что в ближайшем будущем typst станет куда более лучшей системой, чем LaTeX