The curious mathmo talks to David Roberts.
@christianp had a fascinating chat with David about his work on class forcing and topos theory. They discussed the continuum hypothesis, algebraic geometry, and all sorts of nontraditional mathematical universes.
We want your best #proofinatoot on mathstodon.xyz
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!