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