Definability in arithmetics and computability (Academia Bruylant, 2000)