I am a math instructor at the University of Colorado at Boulder. My interests have evolved from proof theory and philosophical concerns about knowledge to the upper reaches of set theory and the large cardinal hierarchy. I also occasionally dabble in combinatorics of the finite sort.
Q&A for professional mathematicians
Joined 4 years ago, last seen today
Q&A for people studying math at any level and professionals in related fields
Joined 10 months ago, last seen yesterday
Q&A for those interested in logical reasoning
Joined 3 months ago, last seen 3 months ago