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 12 days ago
Q&A for people studying math at any level and professionals in related fields
Joined 1 year ago, last seen 2 months ago
Q&A for those interested in logical reasoning
Joined 11 months ago, last seen 10 months ago