Related papers: Hofstadter's problem for curious readers
Hofstadter's $G$ function is recursively defined via $G(0)=0$ and then $G(n)=n-G(G(n-1))$. Following Hofstadter, a family $(F_k)$ of similar functions is obtained by varying the number $k$ of nested recursive calls in this equation. We…
Hofstadter's G function is recursively defined via $G(0)=0$ and then $G(n)=n-G(G(n-1))$. Following Hofstadter, we vary the number $k$ of nested recursive calls in this equation and obtain a family of functions $(F\_k)$. Here we establish…
We give a combinatorial interpretation of a classical meta-Fibonacci sequence defined by G(n) = n - G(G(n-1)) with the initial condition G(1) = 1, which appears in Hofstadter's 'Godel, Escher, Bach: An Eternal Golden Braid'. The…
The Hofstadter Q-sequence, with its simple definition, has defied all attempts at analyzing its behavior. Defined by a simple nested recurrence and an initial condition, the sequence looks approximately linear, though with a lot of noise.…
Hofstadter's Q-sequence remains an enigma fifty years after its introduction. Initially, the terms of the sequence increase monotonically by 0 or 1 at a time. But, Q(12)=8 while Q(11)=6, and monotonicity fails shortly thereafter. In this…
In the paper, from the point of view of recurrent numbers of the Jacobsthal type, the Collatz problem with the general aq+-1 function of conjecture odd positive integers q from the set of natural numbers is investigated. Formulated…
I propose and investigate the use of continuous functional equations for the study of meta-Fibonacci integer sequences. This exploratory study includes three sequences with quite different behavior: Conway's famous sequence $A(n)=…
This article surveys work done in the last six years on the unification of various functional interpretations including G\"odel's dialectica interpretation, its Diller-Nahm variant, Kreisel modified realizability, Stein's family of…
In 1952, Michael posed a question about the functional continuity of commutative Frechet algebras in his memoir, known as Michael problem in the literature. We settle this in the affirmative along with its various equivalent forms, even for…
Nested recurrence relations are highly sensitive to their initial conditions. The best-known nested recurrence, the Hofstadter $Q$-recurrence, generates sequences displaying a wide variety of behaviors. Most famous among these is the…
Given a computable sequence of natural numbers, it is a natural task to find a G\"odel number of a program that generates this sequence. It is easy to see that this problem is neither continuous nor computable. In algorithmic learning…
We continue work started in [1] concerning integer sequences q(n), n in N, defined by q(n) = q(n-q(n-1)) + f(n), with q(1) = 1. Here, f(n), with f(1) = 0, is a given sequence. We define F as the set of semi-infinite sequence f such that the…
We continue the study of twisting of affine algebraic groups G (i.e., of Hopf 2-cocycles J for the function algebra O(G)), which was started in [EG1,EG2], and initiate the study of the associated one-sided twisted function algebras O(G)_J.…
The ruler function or the Gros sequence is a classical infinite integer sequence that is underlying some interesting mathematical problems. In this paper, we provide four new problems containing this type of sequence: (i) a demographic…
The Hofstadter $H$ sequence is defined by $H(1) = 1$ and $H(n) = n-H(H(H(n-1)))$ for $n > 1$. If $\alpha$ is the real root of $x^3+x=1$ we show that the numbers $\alpha H(n) \mod 1$ are not uniformly distributed on $[0,1]$, but converge to…
How to study a nice function on the real line? The physically motivated Fourier theory technique of harmonic analysis is to expand the function in the basis of exponentials and study the meaningful terms in the expansion. Now, suppose the…
This paper is motivated by a strong version of Feit's conjecture, first formulated by the authors in joint work with A. Kleshchev and P. H. Tiep in 2025, concerning the conductor $c(\chi)$ of an irreducible character $\chi$ of a finite…
Gentzen's 1936 proof of the consistency of Peano Arithmetic was a significant result in the foundations of mathematics. We provide here a modified version of the proof, based on G\"{o}del's reformulation, and including additional details…
Let A be an H-Galois extension of B. If M is a Hopf bimodule then HH.(A,M), the Hochschild homology of A with coefficients in M, is a right comodule over the coalgebra C:=H/[H,H]. Given an injective left C-comodule V, we denote the cotensor…
Let g be a semi-simple Lie algebra. In this paper we study the spaces of based quasi-maps from the projective line P^1 to the flag variety of g (it is well-known that their singularities are supposed to model the singularities of the so…