Showing posts tagged logic

The Categorization of Set Theory

I just read an article called Rethinking Set Theory by Tom Leinster in the most recent issue of the American Mathematical Monthly. I found the article very interesting and appealing, so I thought I’d mention it here. Set theory is the basis of the vast majority classical mathematics. As such, most mathematicians use set theory every day in their work. Yet the majority of mathematicians don’t appeal to the formal properties of set theory–i.e. the axioms of set theory–in their work. Rather, mathematicians tend to…

Keep reading