Abstract:The concept of ``countable set'' is attributed to Georg Cantor, who set the boundary between countable and uncountable sets in 1874. The concept of ``computable set'' arose in the study of computing models in the 1930s by the founders of computer science, including \Godel, Church, and Turing. However, the connection between countability and computability has not been thoroughly studied in the past eight decades. A {\em counting bijection} of a set $S$ is a bijection from the set of natural numbers to $S$. We say $S$ is {\em enumerable} if either $S$ is finite or $S$ has a computable counting bijection. We prove that $S$ is enumerable if and only if $S$ is computable. This equivalence provides insights to the study of set theory and computability theory and reveals that the concept of countability is related to space and time complexity. We show that the set of total computable functions (or deciders, algorithms) is unenumerable. We also provide a sufficient and necessary condition for a set to be enumerable and use the concept of {\em counting order} to explain why some sets are unenumerable. We show that some popular statements about countable sets, such as ``every subset of a countable set is countable'' or ``every formal language is countable,'' lack a valid proof. These unproven statements are widely taught in college courses on discrete mathematics, set theory, and computability theory.

On computability of equilibrium states

Equilibrium states beyond specification and the Bowen property

Robust non-computability of dynamical systems and computability of robust dynamical systems

Computability in Dynamical Systems

Equilibrium States for Random Lattice Models of Hyperbolic Type

Deep Equilibria: Existence and Computability

Computability in Analysis

Robustness and uniqueness of equilibrium states for certain partially hyperbolic systems

Equilibrium States for Random Non-uniformly Expanding Maps

On the Equivalence of Equilibrium and Freezing States in Dynamical Systems

Equilibrium states for geometric potentials

Geometrical constructions of equilibrium states

Computability on measurable functions

Equilibrium of Permanent Multivalued Systems

Equivalence of Countable and Computable

Computational Dynamical Systems

Existence of Equilibrium in Abstract Economies with Discontinuous Payoffs and Noncompact Choice Spaces

Gaussian concentration and uniqueness of equilibrium states in lattice systems

Equilibrium States of Intermediate Entropies

On Computability of Computable Problems