Stav dette: Mathematical logic and computability/