Constructible numbers

Angus and Damon will tell us about the constructible numbers, and their connections with computability.