claim: Volcanoes Melting West Antarctic Glaciers, Not Global Warming
evidence: In an effort to answer the first question, computability theory examines which computational problems are solvable on various theoretical models of computation.