Computability, Notation, and de re Knowledge of Numbers