The diagonal method is often used to show that Turing machines cannot solve their own halting problem. There have been several recent attempts to show that this method also exposes either ...

ABSTRACT: This paper presents a model for the structure of universal frameworks in logic, mathematics, and physics that are closed to logical conclusion by the mechanism of paradox across a dualism of ...

ABSTRACT: The paper summarizes the contributions of the three philosophies of mathematics—logicism, intuitionism-constructivism (constructivism for short) and formalism and their rectification—which ...

We discuss a construction of Bethe ansatz eigenstates for the so-called diagonal-to-diagonal transfer matrix of two-dimensional vertex models on a square lattice, recently introduced by Bariev. We ...

Abstract: In this paper, an extension of ScaScra [1] is proposed to scal-ably scramble an image in the diagonal direction for achieving distorted scanline-like effect. The non-overlapping diagonal ...

Russian scientists from Lobachevsky State University of Nizhni Novgorod have improved the method of global optimization by offering the so-called "diagonal approach." The goal of global optimization ...