Lev Beklemishev, Daniyar Shamkanov. Some abstract versions of Gödel's second incompleteness theorem based on non-classical logics, ArXiv: 1602.05728, Feb. 2016.

Издание представляет собой сборник материалов I Международной научно-образовательной конференция «Пейсиковские чтения: проблемы современного академического востоковедения», проведённой 21 апреля 2023 года в ИСАА МГУ имени М.В. Ломоносова. В книге представлены работы сотрудников Института и приглашённых специалистов из ряда ведущих институтов России и зарубежных стран Сборник в электронном виде можно скачать по ссылке http://iranistika.iling-ran.ru/Sbornik/ ...

Добавлено: 30 июня 2026 г.

Почти пустые симплексы и полиэдры Клейна

Герман О. Н., Илларионов А. А., Известия РАН. Серия математическая 2026 Т. 90 № 3 С. 3–18

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

Добавлено: 29 июня 2026 г.

Аксиологический разрыв модерна: Иван Иллич об экономических и вернакулярных ценностях после Нового времени

Моторов Д. А., Respublica Literaria 2026 Т. 7 № 2 С. 123–134

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

Добавлено: 29 июня 2026 г.

Восстание декабристов и его этические следствия: уроки истории в русской мысли

Жукова О. А., Философский журнал (Российская Федерация) 2026 Т. 19 № 2 С. 5–22

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

Добавлено: 28 июня 2026 г.

The 12th International Conference on Information Technology and Quantitative Management (ITQM 2025)

Netherlands: ScienceDirect, 2025.

Добавлено: 28 июня 2026 г.

Object-centric process management: A research manifesto

Seidel A., Weske M., Montali M. и др., Information Systems 2026 Vol. 141 Article 102728

Добавлено: 27 июня 2026 г.

Growth in noncommutative algebras and entropy in derived categories

Пионтковский Д. И., / Series arXiv "math". 2026.

Добавлено: 23 июня 2026 г.

Multilinear nilalgebras and the Jacobian theorem

Пионтковский Д. И., / Series arXiv "math". 2025.

Добавлено: 23 июня 2026 г.

Strong Approximations for Markov Chains Weakly Converging to Diffusions

Конаков В. Д., Кучер Д. А., Mammen E., / Series arXiv "math". 2026. No. 2606.11142v1.

Добавлено: 11 июня 2026 г.

ML-based Fast Simulation of FARICH Responses

Шипилов Ф. А., Barnyakov A., Ivanov A. и др., / Series Physics "arxiv.org". 2026.

Добавлено: 19 мая 2026 г.

Bifurcations and Structural Stability of Generic PC-HC Families

Доровский А. А., / Series arXiv "math". 2026.

Добавлено: 14 мая 2026 г.

On the minimum number of maximal distance-k independent sets in trees

Талецкий Д. С., / Series arXiv "math". 2026.

Добавлено: 1 мая 2026 г.

On Arithmetic Mirror Symmetry for smooth Fano fourfolds

Овчаренко М. А., / Series arXiv "math". 2026.

Добавлено: 30 апреля 2026 г.

Natural hazard database from Internet publications: text mining with a large language model

Деркачева А. А., Сакиркина М. А., Краев Г. Н. и др., /. 2026.

Добавлено: 28 апреля 2026 г.

Algorithmic overlaps as thermodynamic variables: from local to cluster Monte Carlo dynamics in critical phenomena

Пиле Я. Э., Deng Y., Щур Л. Н., / Series arXiv "math". 2026. No. 2604.10254.

Добавлено: 20 апреля 2026 г.

On weak solutions to the 1d compressible Navier-Stokes equations: a Lipschitz continuous dependence on data in weaker norms and an error of their homogenization

Zlotnik Alexander, / Series arXiv "math". 2026. No. 2602.03481v1.

Добавлено: 18 апреля 2026 г.

On the dimension of the space of static potentials on three-manifolds

Медведев В. О., / Series arXiv "math". 2026.

We investigate the interplay between the dimension of the space of static potentials and the geometric and topological structure of the underlying static three-manifold. A partial classification of boundaryless static manifolds is obtained in terms of this dimension. We also treat the case of static manifolds with boundary. In particular, we prove that if a ...

Добавлено: 3 апреля 2026 г.

Using predefined vector systems to speed up neural network multimillion class classification

Gabdullin N., Андросов И. А., / Series Computer Science "arxiv.org". 2026.

Добавлено: 2 апреля 2026 г.

Explorations in subexponential non-associative non-commutative linear logic

Blaisdell E., Kanovich M., Stepan L. Kuznetsov и др., , in: EPTCS 381: Proceedings Modalities in substructural logics: Applications at the interfaces of logic, language and computation (AMSLO 2023), Ljubljana, Slovenia, August 7-8, 2023, Electronic Proceedings in Theoretical Computer Science.: Open Publishing Association, 2023. P. 4–19.

Добавлено: 23 ноября 2023 г.

EPTCS 381: Proceedings Modalities in substructural logics: Applications at the interfaces of logic, language and computation (AMSLO 2023), Ljubljana, Slovenia, August 7-8, 2023, Electronic Proceedings in Theoretical Computer Science

Open Publishing Association, 2023.

Добавлено: 23 ноября 2023 г.

Commutative action logic

Stepan L. Kuznetsov, Journal of Logic and Computation 2023 Vol. 33 No. 6 P. 1437–1462

Добавлено: 7 марта 2023 г.

Об эквивалентности некоторых утверждений о неподвижных точках сжатий

Семенов П. В., Функциональный анализ и его приложения 2017 Т. 51 № 4 С. 92–95

В заметке показано, что ряд недавно (2012–2016 гг.) предложенных обобщений понятия сжатия (FF-сжатия, слабые FF-сжатия и др.) на самом деле редуцируются к уже известным классам сжатий (Браудера, Бойда–Вонга, Меира–Килера и др.). ...

Добавлено: 2 октября 2018 г.