?
Lev Beklemishev, Daniyar Shamkanov. Some abstract versions of Gödel's second incompleteness theorem based on non-classical logics, ArXiv: 1602.05728, Feb. 2016.
Lev Beklemishev, Shamkanov D.
Язык:
английский
Лаврищев Д. Е., Эпистемология и философия науки 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 г.
Seul: PMLR, 2026.
Добавлено: 4 июня 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 г.
Парамонов А. А., Вопросы философии 2025 № 7 С. 37–45
Статья посвящена 90-летнему юбилею со дня рождения Елены Аркадьевны Мамчур, одного из ведущих отечественных философов-методологов науки, чьи работы стали уже признанной классикой отечественной философии науки. Автор обращает внимание на широкий спектр исследований Е.А. Мамчур, охватывающий процессы становления и развития естественнонаучного знания от научных представлений Античности до современных теорий гравитации и квантовой механики. В центре ее ...
Добавлено: 2 июня 2026 г.
Силаков Д. В., Системный администратор 2026 № 3 С. 28–33
В статье про платформы для разработки открытого ПО в Китае мы рассказали про GitCode – молодой проект, позиционируемый как площадка для разработчиков со всего мира. Сейчас на GitCode размещаются проекты, созданные в КНР, но некоторые из них уже известны и на международной арене. Помочь открытым проектам в становлении, развитии и расширению аудитории призван фонд OpenAtom ...
Добавлено: 2 июня 2026 г.
Золотухин В. В., Ишрак: ежегодник исламской философии 2026 Т. 4 № 1 С. 36–47
Статья, выдержанная в стиле case study, посвящена обзору апологетических аргументов греко-католического писателя из Алеппо, деятеля литературного Арабского Возрождения Франсӣса Фатх̣аллы ал-Марра̄ша (1836–1874) в его посмертно изданной работе Шаха̄дат ат̣-т̣абӣʻa фӣ вуджӯд Алла̄х ва-ш-шарӣʻа («Свидетельство природы о существовании Бога и Закона»). Аргументы, подбираемые Марра̄шем, демонстрируют методологическую калейдоскопичность, — стремление сопрягать традиционно-богословские ходы не только с рациональной ...
Добавлено: 2 июня 2026 г.
Добавлено: 19 мая 2026 г.
Добавлено: 28 апреля 2026 г.
Добавлено: 20 апреля 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 г.