Using WFPC2 on the Hubble Space Telescope, we have isolated a sample of 258 white dwarfs (WDs) in the Galactic globular cluster M4. Fields at three radial distances from the cluster center were observed and sizeable WD populations were found in all three. The location of these WDs in the color-magnitude diagram, their mean mass of 0.51($ pm 0.03$)M$_{odot}$, and their luminosity function confirm basic tenets of stellar evolution theory and support the results from current WD cooling theory. The WDs are used to extend the cluster main-sequence mass function upward to stars that have already completed their nuclear evolution. The WD/red dwarf binary frequency in M4 is investigated and found to be at most a few percent of all the main-sequence stars. The most ancient WDs found are about 9 Gyr old, a level which is set solely by the photometric limits of our data. Even though this is less than the age of M4, we discuss how these cooling WDs can eventually be used to check the turnoff ages of globular clusters and hence constrain the age of the Universe.