Related papers: Hofstadter's problem for curious readers

In this paper we study the Cauchy problem for overdetermined systems of linear partial differential operators with constant coefficients in some spaces of $\omega$-ultradifferentiable functions in the sense of Braun, Meise and Taylor, for…

In this article, we give a particular recreational application of the sequence A000533 and A261544 in "The On-line Encyclopedia of Integer Sequences" (OEIS). The recreational application provides a direct extension to "The Repetitious…

A classical theorem of S. Bochner states that a function $f:R^n \to C$ is the Fourier transform of a finite Borel measure if and only if $f$ is positive definite. In 1938, I. Schoenberg found a beautiful complement to Bochner's theorem. We…

From 1873 to 1897, Georg Cantor worked on developing set theory, and despite a strong initial resistance, it rapidly became accepted as the foundation of mathematics. In this work, however, we'll demonstrate that Cantor's use of infinity is…

This note revisits the problem of finding necessary and sufficient conditions for a subshift to have a continuous g-function. Results obtained by Krieger (IMS Lecture Notes-Monograph Series, 48, 306--316, 2006) on finite alphabet subshifts…

A research problem for undergraduates and graduates is being posed as a cap for the prior antecedent regular discrete mathematics exercises. [Here cap is not necessarily CAP=Competitive Access Provider, though nevertheless ...] The object…

The original derivation of Power Functional Theory, Schmidt and Brader, JCP 138, 214101 (2013), is reworked in some detail with a view to clarifying and simplifying the logic and making explicit the various functional dependencies. We note…

A constructive proof of the Goedel-Rosser incompleteness theorem has been completed using the Coq proof assistant. Some theory of classical first-order logic over an arbitrary language is formalized. A development of primitive recursive…

The document tries to put focus on sequences with certain properties and periods leading to the first value smaller than the starting value in the Collatz problem. With the idea that, if all starting numbers lead ultimately to a smaller…

H. Fischbacher-Weitz and B. K\"ock computed the equivariant Euler characteristic of a $G-$sheaf on a $G$-curve $X$ over a field. Using a form of the Riemann-Roch theorem for quotient stacks proved by the second author we extend their…

According to Chaitin, G\"odel once told him "it doesn't matter which paradox you use [to prove the First Incompleteness Theorem]". In this paper I will present a few infinitary paradoxes and show how to "translate" them to some undecidable…

Schinzel's original problem was to describe when an expression f(x)-g(y), with f,g nonconstant and having complex coefficients, is reducible. We call such an (f,g) a Schinzel pair if this happens nontrivially: f(x)-g(y) is newly reducible.…

The aim of this paper is to pursue the investigation of the phase retrieval problem for the fractional Fourier transform $\ff\_\alpha$ started by the second author. We here extend a method of A.E.J.M Janssen to show that there is a…

A new viewpoint of the G\"odel's incompleteness theorem be given in this article which reveals the deep relationship between the logic and computation. Upon the results of these studies, an algorithm be given which shows how to search a…

This paper gives a counterexample to the impossibility, by G\"odel's second incompleteness theorem, of proving a formula expressing the consistency of arithmetic in a fragment of arithmetic on the assumption that the latter is consistent.…

Some differential implications of classical Marx-Strohh\"acker theorem are extended for multivalent functions. These results are also generalized for functions with fixed second coefficient by using the theory of first order differential…

In this essay we'll prove G\"odel's incompleteness theorems twice. First, we'll prove them the good old-fashioned way. Then we'll repeat the feat in the setting of computation. In the process we'll discover that G\"odel's work, rightly…

In this study, we explore the properties of certain solutions of Hofstadter's famous $V$-recurrence, defined by the nested recurrence relation $V(n)=V(n-V(n-1))+V(n-V(n-4))$. First, we discover the nature behind a finite chaotic…

We use \cite{G} to study the algebra structure of twisted cotriangular Hopf algebras ${}_J\mathcal{O}(G)_{J}$, where $J$ is a Hopf $2$-cocycle for a connected nilpotent algebraic group $G$ over $\mathbb{C}$. In particular, we show that…

Using the functor of Baumslag rationalization of groups we construct a functor on the category of all (non necessarily simply connected) spaces that extends the classical rationalization of simply connected spaces. We study this functor and…