Sterling McKay

PHILOSOPHY 2303: INTRODUCTION TO LOGIC.

In his Honors Project, Joseph Sterling McKay examines the concept of verifying the validity of mathematical axioms using Logic. That is, as urged by Gottfried Leibniz, can the validity of most mathematical axioms be proven using Logic? Citing Bertrand Russell, Sterling expertly defines Number using the logical notions of Implication, Propositional Functions, Classes, and Relations and proceeds to logically verify that 1+1 is equal to 2.

–William Brown

The Foundations of Mathematics

Advertisements
This entry was posted in Visual Communication 2014. Bookmark the permalink.