In mathematics, I am interested in several different areas. Those of note include quantum entropy, inverse problems, and the representation theory of Lie groups. I am motivated primarily by the desire for unified mathematical models of abstract formal systems that admit application to diverse areas of mathematics in addition to physics, computer science, philosophy, and beyond.
"On Deriving Uncertainty from Certainty Relations in Quantum Entropy" (in progress)
I am currently working toward a rigorous derivation of the sharp entropic uncertainty relation of Beckner from an entropic certainty relation. This project is inspired by work of physicists in weakly coupled gauge theories.
"On several inverse problems in graph wave networks" (in progress)
In this project I formulate two inverse problems in graph wave networks, a spatially discretized version of the wave equation that can be likened to a multi-degree-of-freedom spring-mass system. Given measurements of an output signal at a subset of nodes (the boundary nodes), can either of sources or speeds be recovered given knowledge of the graph geometry and the other?
I have exhibited sufficient conditions, an inversion operator, and concrete stability estimate for reconstruction of sources given speeds and graph geometry.
I have exhibited sufficient conditions and an abstract stability estimate for the recovery of speeds given sources and graph geometry. I am currently working on developing an algorithm or inversion operator.
My results extend directly to weighted graphs.
In philosophy, I think mostly in phenomenological and epistemological terms. I am deeply concerned with the problem of subjectivity and in particular of allowing an (optimistic) epistemological foundationalism for a univocal theory of mind. I have a strong interest in the history of philosophy—in particular the 19th century—with a focus on Fichte, Schelling, Hegel, and Kierkegaard. I am also interested in 20th century continental philosophy, most notably Bataille.
"On the mathematical infinite in Hegel's Science of Logic and the foundations of analysis" (in progress)
In this essay I carefully examine Bertrand Russel's claim that concepts like 'continuity' and 'the infinite' were placed on firm foundations by mathematicians in the late 19th and early 20th century and thereby disentangled from the "metaphysical nonsense" of philosophers like Hegel. I claim on the contrary that Hegel's critique of the differential calculus in the Science of Logic anticipates and preemptively responds to these developments, and that he is rather vindicated by the contributions of Cantor and Lebesgue.
Formal Systems (in progress)
I am currently in the beginning stages of a book-length project about formal systems (considered as abstract philosophical objects).
"On the Faculty of Intuition" (2020). UVM Patrick Leahy Honors College Senior Theses. 377.
In this work I present an account of the faculty of intellectual intuition as analogous to the faculties of empirical sensing (i.e. sight, touch, hearing, proprioception, &c.). I develop an abstract schema into which all of these can be understood as 'presentational' mental activity. I then offer some external criteria that help distinguish between presentational mental activity which can justify belief (like intuition or seeing) and presentational mental activity that cannot justify belief (like dreaming or hallucinating). In the second chapter, I leverage the foregoing to defend epistemological foundationalism. Finally, I leverage my account of intuition specifically to defend against philosophical skepticism.