Application of computability theory to a problem in topology, AMS meeting, Boulder, Colorado (invited). Conference Paper uri icon