Talk:Counting problem (computability theory)