Date of Award
Three papers were written in partial fulfillment of the requirements for the Fenwick Scholar Program 1973-1974:
An Algebraic Proof of the Completeness of Sentential Logic proves the completeness of sentential logic using concepts of Boolean structures.
Godel's Proof of the Incompleteness of Axiomatic Number Theory discusses Godel's Incompleteness Theorem as a landmark in the Foundations of Mathematics which has meaning for mathematicians, logicians, and philosophers alike.
The Independence of the Continuum Hypothesis discusses the nature of independence proofs and briefly describes the boolean valued logic used to obtain the independence results.
Miranda, Henry P. '74, "Three Papers in Mathematical Logic" (1974). Fenwick Scholar Program. 2.