  After a review of the early history of neutrinos and their detection, we
analyze the different types of models that extend the standard model to massive
neutrinos. We emphasize the generic nature of maximal mixing between muon and
tau neutrinos, given simple assumptions based on grand unification.
