Fenwick Scholar Program
Date of Award
1974
Project Type
Thesis
Abstract
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.
Recommended Citation
Miranda, Henry P. '74, "Three Papers in Mathematical Logic" (1974). Fenwick Scholar Program. 2.
https://crossworks.holycross.edu/fenwick_scholar/2
Comments
Each paper has separate pagination.
Author currently goes by the name of Rick Miranda.