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