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.

?

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

2016. No. 1602.05728.

Lev Beklemishev, Shamkanov D.

We study abstract versions of G\"odel's second incompleteness theorem and formulate generalizations of L\"ob's derivability conditions that work for logics weaker than the classical one. We isolate the role of contraction rule in G\"odel's theorem and give a (toy) example of a system based on modal logic without contraction invalidating G\"odel's argument.

Research target: Philosophy, Ethics, and Religious Studies Mathematics Computer Science

Priority areas: IT and mathematics mathematics

Language: English

Text on another site

Keywords: Goedel theorem fixed points substructural logics

Space-Time Fluctuations in a Quasi-static Limit

Bernardin C., Gonçalves P., Olla S., Mathematical Physics Analysis and Geometry 2024 Vol. 27 No. 7

We consider the macroscopic limit for the space-time density fluctuations in the open symmetric simple exclusion in the quasi-static scaling limit. We prove that the distribution of these fluctuations converge to a gaussian space-time field that is delta correlated in time but with long-range correlations in space. ...

Added: October 6, 2026

Новые информационные технологии в исследовании сложных структур. Материалы шестнадцатой международной конференции 21–25 Сентября 2026 г.

Томск: Издательство Томского государственного университета, 2026.

Материалы сборника Шестнадцатой Международной конференции «Новые информационные технологии в исследовании сложных структур» (Москва, 21–25 сентября 2026 г.) ориентированы на широкий круг специалистов, работающих на стыке теории информации, системного анализа и прикладных предметных областей. В издание вошли результаты исследований, посвящённые моделированию дискретных и стохастических структур управления и связи, разработке высокопроизводительных вычислительных и телекоммуникационных систем, а также вопросам цифровой трансформации образования, архитектурно-градостроительного проектирования, экологического ...

Added: October 6, 2026

To spike or not to spike: the whims of the Wonham filter in the strong noise regime

Bernardin C., Chhaibi R., Najnudel J. et al., Probability Theory and Related Fields 2026 Vol. 195 P. 1823–1875

We study the celebrated Shiryaev-Wonham filter (Wonham, W.M., in J. Soc. Ind. Appl. Math. 347–369, 1964) in its historical setup, where the hidden Markov jump process has two states. We are interested in the weak noise regime for the observation equation. Interestingly, this becomes a strong noise regime for the filtering equations. Earlier results of ...

Added: October 5, 2026

Цепная дробь Аски–Вильсона при qN=1

Ismailov A., Spiridonov V., Успехи математических наук 2026 Т. 81 № 5 С. 183–184

Получена новая формула для цепной дроби Аски–Вильсона в форме отношения двух q-гипер-геометрических рядов. ...

Added: October 5, 2026

Оптимизация энергопотребления предприятия с использованием методов многокритериальной оптимизации

Серебренников Д. А., Belov A. V., Информационные технологии и вычислительные системы 2026 № 3 С. 157–169

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

Added: October 5, 2026

КРИТИКА ТЕОРИИ ПРЕКАРИАТА КАК "НОВОГО ОПАСНОГО КЛАССА" С ПОЗИЦИЙ ЮРИДИЧЕСКОЙ НАУКИ

Новиков Д. А., ЖУРНАЛ МИНИСТЕРСТВА НАРОДНОГО ПРОСВЕЩЕНИЯ (Словакия) 2023 № 10 С. 32–40

The article provides a critical analysis of the theory of the precariat as a "new dangerous class" from the standpoint of law science, namely the sectoral areas of labor and criminal law. The author argues that the precariat does not constitute a new socio-economic class. The author is convinced that the theory of the precariat, ...

Added: October 5, 2026

Explicit Formula for Inverse and Determinant in Geometric Algebras over Odd-dimensional Vector Spaces

Abdulkhaev K., Shirokov D., Advances in Applied Clifford Algebras 2026 Vol. 36 P. 1–21

In this paper, we present explicit formulas for the inverse and determinant in geometric (Cliﬀord) algebras over vector spaces of dimension n = 7. The derivation of these formulas is made possible by generalizing the concept of conjugation to basis conjugation operations. We further develop a general method for constructing such formulas over odd-dimensional spaces ...

Added: October 4, 2026

Вторая антикритика на «Дух капитализма» Часть II. Позитивные выводы

Вебер М., Социологическое обозрение 2026 Т. 25 № 3 С. 318–353

In the concluding part of the Second Anti-Critique (1910), Max Weber summarizes the substantive findings of his own contributions to the debate with the historian Felix Rachfahl. In doing so, he uses the response to his relentless critic as an opportunity to articulate once again, in an explicit manner and for both his own benefit and that of the ...

Added: October 4, 2026

Эпистемология Другого в платформенной культуре: семиотика узнавания

Aliev R. T., Якушенкова О. С., Человек 2026 Т. 37 № 5 С. 176–191

This article addresses the epistemological transformations of knowledge about the Other under platform culture. It examines the shift from the communicative experience of presence to a data regime in which otherness is constituted through predictive classification and interface routing. The platform is conceptualized as a system that presents the subject with an already-categorized Other, thereby ...

Added: October 4, 2026

On Practical Aspects of Constructing Quasi-Cyclic Subfield Subcodes of Dual Elliptic Codes and Their Application in McEliece-type Cryptosystems

Kuninets A., IEEE Transactions on Information Theory 2026 P. 1–1

In this work we study the applicability of Quasi-Cyclic Subfield Subcodes of Dual Elliptic (QC-SSDE) codes for integration into code-based cryptographic schemes. Detailed algorithms are provided for constructing parity-check matrices as well as block-circulant parity-check matrices for this family of codes, accompanied by empirical results that enable the construction of QC-SSDE codes with predetermined dimensions. ...

Added: October 3, 2026

Проклятая культура. Размышления о противоборстве жизни и духа.

Лессинг Т., Silene Noctiflora, 2026.

Теодор Лессинг (1872–1933) — один из самых пессимистичных философов первой половины XX века. Последователь Фридриха Ницше и Артура Шопенгауэра, он пророчил неизбежную гибель западной цивилизации от себя самой. В своём сочинении «Про́клятая культура», написанном на основе речи, читанной в Обществе друзей индийской мудрости в 1921 году, он с особой экспрессией изложил основные положения своего мировоззрения, ...

Added: October 3, 2026

Nomos e poikilía dell'Essere. Genesi metafisica del molteplice. Una deduzione schellinghiana

Dezi A., Sesto San Giovanni: Mimesis, 2026.

This book is a metaphysical inquiry into the nature and origin of the manifold. Taking Schelling’s Erlangen lectures of 1820–1821 as its point of departure and hermeneutic horizon, it develops an interpretation of Nomos that transcends its political, juridical, and social determinations. Nomos thereby emerges as the ontological principle of an infinite, variegated multiplicity of ...

Added: October 2, 2026

Инкрементальный метод обновления многомерного куба по неупорядоченному потоку событий журналов информационных систем

Zykov S. V., Уфимцев Г. А., Моделирование, оптимизация и информационные технологии 2026 Т. 14 № 8 С. 1–13

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

Added: October 2, 2026

Polarization of opinions in the group: a modeling algorithm considering the dynamics of social bonds

Chebotarev V., Andreyuk D., Elizarova Anastasiya et al., Procedia Computer Science 2022 Vol. 213 No. C P. 596–601

The dynamics of opinion in a group are of interest for a number of practical purposes. In particular, consensus helps and polarization of opinions hinders cohesive teamwork. Existing approaches for modeling opinion dynamics mostly do not take into account the dynamism of social relations in a group. This paper proposes an algorithm and a program ...

Added: October 2, 2026

A Three-Party W-State Quantum Secret Sharing Protocol with X-Gate Encoding and Forbidden-Outcome Detection

Teregulov T., Loubenets E. R., / Series Quantum Physics "arXiv". 2026. No. 2609.31472.

We develop a new three-party quantum secret-sharing (QSS) protocol based on a three-qubit W state. This protocol encodes the secret-sequence bits using X gates and employs randomly selected Hadamard operations and measurement bases to generate information and security-test rounds. We evaluate the efficiency of the proposed protocol and analyze its security against an internal adversary ...

Added: September 28, 2026

Pairings on the algebra of Laurent series over a ring

Levashev V., / Series arXiv "math". 2026. No. 2609.06010.

We prove that continuous A-bilinear pairings on the ring of Laurent series that are invariant under continuous automorphisms coincide, up to a constant, with the pairing given by the residue of a differential form over any commutative associative ring with identity. ...

Added: September 24, 2026

Iterative construction of the R-matrices in arbitrary dimensions

Pyatov P. N., Pivovarov P. A., / Series math "arxiv.org". 2026. No. 2609.06274.

We investigate a special ansats that allows for an iterative solution of the constant Yang-Baxter equation. Testing this ansatz, we construct four sequences of the constant R-matrices. In each sequence the R-matrices act on the tensor squares of vector spaces of linearly growing dimensions. Each R-matrix also depends on a single complex parameter. By analyzing the ...

Added: September 24, 2026

On static manifolds with boundary admitting a nowhere-vanishing static potential

Medvedev V., / Series arXiv "math". 2026.

We study complete static manifolds with boundary admitting a nowhere-vanishing static potential. Our main result shows that, under a natural lower bound relating the scalar curvature and the boundary mean curvature, a simple static manifold with boundary must in fact have positive scalar curvature, negative boundary mean curvature, and be compact; we also obtain explicit ...

Added: September 19, 2026

Vague stimulating ideas, images and metaphors in scientific thinking: researchers' work with horizons of unclear knowledge

Poddiakov A., / Series Social Science Research Network "Social Science Research Network". 2026. No. 7437658.

Clarity of knowledge and reasoning is necessary in many cases. Yet vagueness in scientific thinking related to surprise, curiosity, "ability to engage with not-knowing" (de Freitas) and abductive reasoning is also a crucially important source of scientific creativity which supplements combinatorial logic when dealing with the already known. Starting from studies by C. S. Peirce ...

Added: September 15, 2026

On phase-lock area parquet in a special slow-fast limit of model of Josephson junction.

Glutsyuk A., / Series arXiv "math". 2026.

B.Josephson (Nobel Prize, 1973) predicted a tunnelling effect for a system of two superconductors separated by a narrow dielectric (such a system is called Josephson junction): existence of a supercurrent through it and equations governing it. The overdamped Josephson junction is modeled by the family of differential equations on the 2-torus, dθdτ=1ω(cosθ+B+Acosτ), which is known as ...

Added: September 8, 2026

Infinitely many graph manifolds with unique geometrical piece that admit arbitrarily many Anosov flows

Pochinka O., Shmukler V., / Series math.RT "arXiv:1808.06395 [math.RT]". 2026.

Anosov flows have a long and rich history, firstly motivated by the study of geodesic flows in negative curvature surface by Anosov and Sinai. Not every closed manifold admits an Anosov flow for well-known reasons: the fundamental group of a 3-manifold M admitting an Anosov flow must have exponential growth, and M must be universally covered by R3. Nevertheless, there ...

Added: August 31, 2026

On calibration of remote sensing retrievals of ecosystem respiration (Reco) with tower measurements over,Russian forests and wetlands

Shabanov N., Kuricheva O., Kurbatova J. et al., / Series Working Papers SSRN "Department of Economics Ca’ Foscari University of Venice". 2026.

The carbon balance of an ecosystem is the difference between Gross Primary Productivity (GPP) and Ecosystem Respiration (Reco) as expressed by Net Ecosystem Exchange (NEE). While remote sensing retrievals of GPP have reached maturity, Reco estimation remains underexplored and ultimately cast bias on NEE. Here we present an end-to-end multi-scale analysis of the mechanism of ...

Added: August 21, 2026

Three Algorithms for Merging Hierarchical Navigable Small World Graphs

Ponomarenko A., / Series Computer Science "arxiv.org". 2025.

This paper addresses the challenge of merging hierarchical navigable small world (HNSW) graphs, a critical operation for distributed systems, incremental indexing, and database compaction. We propose three algorithms for this task: Naive Graph Merge (NGM), Intra Graph Traversal Merge (IGTM), and Cross Graph Traversal Merge (CGTM). These algorithms differ in their approach to vertex selection ...

Added: July 30, 2026

New bound on S1× S2-setting Bell locality of a nonseparable Werner state

Loubenets E. R., / Series arxiv.org "quant-ph". 2026. No. 2607.18050.

In many quantum applications it is important to know whether or not a Bell nonlocal two-qudit state exhibits its nonlocality under correlation scenarios with some given numbers S1,S2≥1 of generalized quantum measurements at two sites. In the present article, we find analytically a new general locality condition sufficient for a nonseparable Werner state with a ...

Added: July 21, 2026