(Definiendum Definor Definiens)
The photograph shows Tony Morse and Woody Bledsoe in 1981.
A.P. Morse (1911-1984) was a mathematician who worked both in foundations and in analysis and measure theory. His foundational work, which was somewhat stiumlated by conversations he had with Tarski, is to be found in his book A Theory of Sets. In this book are references to other Polish logicians as well including Lukasiewicz and Lesniewski. An earlier version of the set theory was the basis for the appendix of J.L. Kelley's well known General Topology. The set theory in this appendix has become known as Morse-Kelley set theory.
One of his students, Woody Bledsoe, did early work in proof-checking by checking proofs of theorems in Morse's set theory book. This work is described in Automatic Theorem Proof-Checking in Set Theory: A Preliminary Report, Sandia Laboratories report SC-RR-67-525 by himself and E.J. Gilbert issued in July of 1967. The main features of ProofCheck's proof syntax have analogs in the proofs which were the basis of this report.
Morse's syntax was studied in two Northwestern University PhD dissertations: A Translation Algorithm for Morse Systems by Bob Alps, e-mail:email@example.com, and Basic Theory of Morse Languages by Bob Neveln, home-page:cs.widener.edu/~neveln.
Morse's mathematics cannot be properly understood without reference to his work in the foundations. Lecture notes for two courses that he taught, have been edited by Bob Alps and manifest complete formality. A noteable feature of these measure and integration theory notes is the use of second order variables throughout.