The main focus is given to rigorous proofs rather than computations. Tentative topics are: Real numbers (algebraic, order and distance structures); Archimedean property; Sequences and their limits.

MARCUS DU SAUTOY:'Introducing these strange new numbers into mathematics 'required an act ... that you can track the planes in real time. In fact without them, radar would be next to useless ...