1. For my CIV core, I wrote this essay titled Russell’s Principia and Hilbert’s Program: Mathematics after Kant on, roughly, the 17th-20th century history of mathematics and the loss of the Kantian intuition. Despite having done some related reading for this paper, I still find logic (and model theory? all that completeness/symbolic logic stuff) deeply mysterious. [pdf]