Tau numbers, natural density, and Hardy and Wright's theorem 437.
In this short survey paper we state the Büchi conjecture and discuss its relations with the Hilbert Tenth Problem. We give some generalizations of the conjecture, and include some numerical examples.