Stav dette: Popular lectures on mathematical logic