?
Non-well-founded derivations in the Gödel-Löb provability logic
Review of Symbolic Logic. 2020. Vol. 13. No. 4. P. 776–796.
Приоритетные направления:
математика
Язык:
английский
Добавлено: 11 июня 2026 г.
Куренной В. А., Логос 2026 Т. 36 № 1 С. 1–38
В статье дан краткий обзор современного применения цифровых камер и фундаментальных изменений в обществе, обусловленных их использованием. Цифровое видеонаблюдение становится неотъемлемой частью городской инфраструктуры, трансформируя представления о публичном пространстве, приватности и контроле. Рассмотрены ключевые риски, которые сегодня связываются с распространением цифрового видеонаблюдения, включая потенциальные угрозы личной свободе и возникновение «общества тотального надзора». Вместе с тем приве-дены возражения на алармистские ожидания, объяснимые игнорирова-нием действующих конституционных и правовых ...
Добавлено: 11 июня 2026 г.
Добавлено: 10 июня 2026 г.
Лаврищев Д. Е., Эпистемология и философия науки 2026 Т. 63 № 1 С. 193–212
Статья представляет собой обзор наиболее значимых опорных точек в дискуссии вокруг скептицизма в современной англоязычной аналитической эпистемологии. В тексте рассматриваются основные для этого дискурса стратегии понимания и преодоления скептицизма. В первом разделе статьи рассматривается «классическое» определение скептицизма, основанное на так называемых «радикальных скептических аргументах», к которым относятся «мозг в чане», «злокозненный демон» и т.п. Также ...
Добавлено: 8 июня 2026 г.
Канаева Н. А., Вопросы философии 2026 № 6 С. 170–178
В статье на примере анализа фрагмента первой главы из трактата индийско го философа VIII–IX вв. Джаяраши Бхатты «Таттвопаплавасимха» (санскр. «Лев, опрокидывающий препятствия [к правильному пониманию] катего рий») демонстрируется форма постановки и обсуждения проблемы универ салий в Индии в эпоху Джаяраши. Конспективный стиль первоисточника автор статьи компенсировала реконструкцией концептуального контекста полемики об универсалиях, в качестве которого ...
Добавлено: 6 июня 2026 г.
Flamarion M. V., Пелиновский Е. Н., Nonlinear Dynamics 2026 Vol. 114 Article 784
Добавлено: 5 июня 2026 г.
Добавлено: 4 июня 2026 г.
Гомеоморфизмы топологических пространств называются эквивалентными по надстройке, если надстройки над ними топологически эквивалентны. В частности, топологически сопряженные гомеоморфизмы эквивалентны по надстройке. Известно, что для гомологически неприводимых гомеоморфизмов их топологическая сопряженность является необходимым и достаточным условием их эквивалентности по надстройке. Тогда как инварианты топологической сопряженности гомологически приводимых гомеоморфизмов во многих случаях являются избыточными для эквивалентности по ...
Добавлено: 3 июня 2026 г.
Боброва А. С., Волынская К. А., Праксема. Проблемы визуальной семиотики 2026 № 2(48) С. 212–235
В настоящее время всем известна музыкальная нотация, которая утвердилась несколько столетий назад. Что касается искусства танца, с ним дела обстоят значительно хуже. Танец, помимо того что имеет динамический характер, ещё и обладает и физическим воплощением. Придумать такую нотацию, которая учитывала бы визуальный, эмоциональный и технический аспекты, соблюдая одновременно с этим нормативные каноны сценического искусства, – ...
Добавлено: 2 июня 2026 г.
Гнетов Ф. А., Конаков В. Д., Успехи математических наук 2026 Т. 81 № 3 (489) С. 161–162
Пусть M обозначает симметрическое пространство некомпактного типа ранга 1. Опираясь на фундаментальную работу [1], в [2] было показано, что плотность соответствующим образом нормированной суммы независимых Hn-значных случайных величин, определенная через сложение Мёбиуса в модели шара Пуанкаре, сходится к фундаментальному решению соответствующего уравнения теплопроводности. Пределом являлся нормальный закон на Hn, соответствующий ядру теплопроводности, определяемому оператором Лапласа–Бельтрами. ...
Добавлено: 2 июня 2026 г.
Медведев В. О., / 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 г.
Gabdullin N., Андросов И. А., / Series Computer Science "arxiv.org". 2026.
Добавлено: 2 апреля 2026 г.
Сорокин К. С., Бекетов М. Е., Онучин А. и др., / arxiv.org. Серия cs.SI "Social and Information Networks ". 2025.
Обнаружение сообществ в сложных сетях — фундаментальная проблема, открытая для новых подходов в различных научных областях. Мы представляем новый метод обнаружения сообществ, основанный на потоке Риччи на графах. Наша техника итеративно обновляет веса ребер (их метрические длины) в соответствии с их (комбинаторной) версией кривизны Риччи Фостера, вычисленной на основе эффективного расстояния сопротивления между узлами. Известно, ...
Добавлено: 15 января 2026 г.
Гаянов Н. В., Парусникова А. В., / Cornell University. Серия math "arxiv.org". 2025.
Рассматривается алгебраическое q-разностное уравнение. Предлагается достаточное условие существования формального степенно- логарифмического разложения решения такого уравнения в окрест- ности нуля. Приводится пример применения этого достаточного условия для построения формального разложения решения неко- торого q-разностного аналога пятого уравнения Пенлеве при конкретных значениях параметров уравнения; рассматриваются два различных значения числа q, приводящие к качественно разным формальным асимптотическим разложениям ...
Добавлено: 25 декабря 2025 г.
Гнетов Ф. А., Конаков В. Д., / Series arXiv "math". 2025. No. 2512.04667.
Добавлено: 5 декабря 2025 г.
Добавлено: 4 декабря 2025 г.