Learning is the process of arriving at true answers to empirical questions. Learning problems, like formal problems, can be easy, hard, or unsolvable. Formal learning theory investigates the intrinsic difficulty of learning problems. This chapter summarizes some of the main concepts and results of formal learning theory, and relates them to traditional issues in epistemology.