The biographical sketch is by J. Morse.