Mathematical heuristics, including good use of language and symbolism, and techniques of exploration and discovery. Through intensive work on a large assortment of unusually challenging problems in number theory students practice the art of mathematical discovery--numerical exploration, formulation and critique of conjectures, and techniques of proof and generalization. This course is offered only during Summer Term.