Tomorrow I'll be talking about fusible numbers and Peano Arithmetic at the Steklov Math Institute's logic seminar, in Moscow. Via Zoom

Sign in to participate in the conversation

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!