Stav dette: Mathematics and computability of language