In the classification of surfaces, K3 surfaces hold a place not dissimilar to that of elliptic curves within the classification of curves by genus. In recent years there has been a lot of activity on the problem of rational points on K3 surfaces. I will discuss the problem of finding the Picard group of a K3 surface, and how this relates to finding counterexamples to the Hasse principle on K3 surfaces.